package morphling
Type Members
- type HAlgebra[F[_[_], _], G[_]] = FunctionK[[β$0$]F[G, β$0$], G]
- type HCoAlgebra[F[_[_], _], G[_]] = FunctionK[G, [β$1$]F[G, β$1$]]
- type HCofree[F[_[_], _], A[_], I] = HFix[[γ$2$[_$1], δ$3$]HEnvT[A, F, γ$2$, δ$3$], I]
Inherited from AnyRef
Inherited from Any