Type Members

1.  type BiFunctorAlgebra[Alg[_[_, _, _, _, _]], F[_, _]] = Alg[[I, E, O, SI, SO]F[E, O]]
2.  type BiFunctorInterpreter[Op[_, _, _, _, _], F[_, _]] = PolyFunction5[Op, [I, E, O, SI, SO]F[E, O]]
3.  type FunctorAlgebra[Alg[_[_, _, _, _, _]], F[_]] = Alg[[I, E, O, SI, SO]F[O]]
4.  type FunctorInterpreter[Op[_, _, _, _, _], F[_]] = PolyFunction5[Op, [I, E, O, SI, SO]F[O]]
5.  trait FunctorK[Alg[_[_]]] extends AnyRef
6.  trait FunctorK2[Alg[_[_, _]]] extends AnyRef
7.  trait FunctorK5[Alg[_[_, _, _, _, _]]] extends AnyRef
8.  type Kind1[F[_]] = AnyRef { ... /* 3 definitions in type refinement */ }
9.  type Kind2[F[_, _]] = AnyRef { ... /* 2 definitions in type refinement */ }
10.  type Kind5[F[_, _, _, _, _]] = AnyRef { type handler[I, E, O, SI, SO] = I => F[I,E,O,SI,SO] }
11.  type OptionK[F[_], A] = Option[F[A]]
12.  trait PolyFunction[F[_], G[_]] extends AnyRef
13.  trait PolyFunction2[F[_, _], G[_, _]] extends AnyRef
14.  trait PolyFunction5[F[_, _, _, _, _], G[_, _, _, _, _]] extends AnyRef