core
API
Generated with
core/smithy4s/smithy4s.kinds

smithy4s.kinds

package smithy4s.kinds

Members list

Type members

Classlikes

trait FunctorK[Alg[_[_]]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object FunctorK

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
FunctorK.type
trait FunctorK2[Alg[_[_, _]]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object FunctorK2

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
FunctorK2.type
trait FunctorK5[Alg[_[_, _, _, _, _]]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Service[Alg]
trait Mixin[Alg, Op]
trait Reflective[Op]
trait ServiceProduct[Prod]
object FunctorK5

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
FunctorK5.type
object Kind1

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Kind1.type
object Kind2

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Kind2.type
object Kind5

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Kind5.type
trait PolyFunction[F[_], G[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait SchemaVisitor[F]
object SchemaDescription.type
class Cached[F]
trait Default[F]
trait Optional[F]
Show all
Self type
PolyFunction[F, G]
object PolyFunction

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait PolyFunction2[F[_, _], G[_, _]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Self type
object PolyFunction2

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait PolyFunction5[F[_, _, _, _, _], G[_, _, _, _, _]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Self type
object PolyFunction5

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
object PolyFunctions

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object stubs

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
stubs.type
object toPolyFunction5

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Types

type BiFunctorAlgebra[Alg[_[_, _, _, _, _]], F[_, _]] = Alg[[I, E, O, SI, SO] =>> F[E, O]]
type BiFunctorInterpreter[Op[_, _, _, _, _], F[_, _]] = PolyFunction5[Op, [I, E, O, SI, SO] =>> F[E, O]]
type FunctorAlgebra[Alg[_[_, _, _, _, _]], F[_]] = Alg[[I, E, O, SI, SO] =>> F[O]]
type FunctorInterpreter[Op[_, _, _, _, _], F[_]] = PolyFunction5[Op, [I, E, O, SI, SO] =>> F[O]]
type Kind1[F[_]] = { type toKind2 = [E, O] =>> F[O]; type toKind5 = [I, E, O, SI, SO] =>> F[O]; type handler = [I, E, O, SI, SO] =>> I => F[O]; }
type Kind2[F[_, _]] = { type toKind5 = [I, E, O, SI, SO] =>> F[E, O]; type handler = [I, E, O, SI, SO] =>> I => F[E, O]; }
type Kind5[F[_, _, _, _, _]] = { type handler = [I, E, O, SI, SO] =>> I => F[I, E, O, SI, SO]; }
type OptionK[F[_], A] = Option[F[A]]
Generated with