generated.kinds.kinds.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of smithy4s-core_sjs1_3 Show documentation

core

There is a newer version: 0.19.0-41-91762fb

/*
 *  Copyright 2021-2024 Disney Streaming
 *
 *  Licensed under the Tomorrow Open Source Technology License, Version 1.0 (the "License");
 *  you may not use this file except in compliance with the License.
 *  You may obtain a copy of the License at
 *
 *     https://disneystreaming.github.io/TOST-1.0.txt
 *
 *  Unless required by applicable law or agreed to in writing, software
 *  distributed under the License is distributed on an "AS IS" BASIS,
 *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 *  See the License for the specific language governing permissions and
 *  limitations under the License.
 */

/////// THIS FILE WAS GENERATED AT BUILD TIME, AND CHECKED-IN FOR DISCOVERABILITY ///////

package smithy4s
package kinds

object Kind1 {
  type Existential[+F[_]] <: (Any { type T })
  inline def existential[F[_], A0](fa: F[A0]): Existential[F] = fa.asInstanceOf[Existential[F]]
}

object Kind2 {
  type Existential[+F[_, _]] <: (Any { type T })
  inline def existential[F[_, _], A0, A1](fa: F[A0, A1]): Existential[F] = fa.asInstanceOf[Existential[F]]
}

object Kind5 {
  type Existential[+F[_, _, _, _, _]] <: (Any { type T })
  inline def existential[F[_, _, _, _, _], A0, A1, A2, A3, A4](fa: F[A0, A1, A2, A3, A4]): Existential[F] = fa.asInstanceOf[Existential[F]]
}