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 { ... /* 2 definitions in type refinement */ }
- type Kind2[F[_, _]] = AnyRef { type toKind5[I, E, O, SI, SO] = F[E,O] }
- trait PolyFunction[F[_], G[_]] extends AnyRef
- trait PolyFunction2[F[_, _], G[_, _]] extends AnyRef
- trait PolyFunction5[F[_, _, _, _, _], G[_, _, _, _, _]] extends AnyRef