package kinds
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- kinds
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- 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]]
- trait FunctorK[Alg[_[_]]] extends AnyRef
- trait FunctorK2[Alg[_[_, _]]] extends AnyRef
- trait FunctorK5[Alg[_[_, _, _, _, _]]] extends AnyRef
- type Kind1[F[_]] = AnyRef { ... /* 3 definitions in type refinement */ }
- type Kind2[F[_, _]] = AnyRef { ... /* 2 definitions in type refinement */ }
- type Kind5[F[_, _, _, _, _]] = AnyRef { type handler[I, E, O, SI, SO] = I => F[I,E,O,SI,SO] }
- type OptionK[F[_], A] = Option[F[A]]
- trait PolyFunction[F[_], G[_]] extends AnyRef
- trait PolyFunction2[F[_, _], G[_, _]] extends AnyRef
- trait PolyFunction5[F[_, _, _, _, _], G[_, _, _, _, _]] extends AnyRef
Value Members
- object FunctorK
- object FunctorK2
- object FunctorK5
- object Kind1
- object Kind2
- object Kind5
- object PolyFunction
- object PolyFunction2
- object PolyFunction5
- object PolyFunctions
- object stubs
- object toPolyFunction5