core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/smithy4s.kinds

smithy4s.kinds

package smithy4s.kinds

Members list

Concise view

Type members

Classlikes

trait FunctorK[Alg[_[_]]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object FunctorK

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait FunctorK2[Alg[_[_, _]]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object FunctorK2

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait FunctorK5[Alg[_[_, _, _, _, _]]]

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Kind1

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait SchemaVisitor[F]
object SchemaDescription.type
class Cached[F]
trait Default[F]
Self type
object PolyFunction

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object stubs

Attributes

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

Attributes

Graph
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 Kind2[F[_, _]] = { type toKind5 = [I, E, O, SI, SO] =>> F[E, O]; }
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL