package
droste
Type Members
-
type
Algebra[F[_], A] = GAlgebra[F, A, A]
-
type
AlgebraM[M[_], F[_], A] = GAlgebraM[M, F, A, A]
-
type
CVAlgebra[F[_], A] = GAlgebra[F, Cofree[F, A], A]
-
type
CVCoalgebra[F[_], A] = GCoalgebra[F, A, Free[F, A]]
-
type
Coalgebra[F[_], A] = GCoalgebra[F, A, A]
-
type
CoalgebraM[M[_], F[_], A] = GCoalgebraM[M, F, A, A]
-
type
Gather[F[_], S, A] = (A, F[S]) ⇒ S
-
type
RAlgebra[R, F[_], A] = GAlgebra[F, (R, A), A]
-
type
RCoalgebra[R, F[_], A] = GCoalgebra[F, A, Either[R, A]]
-
type
Scatter[F[_], A, S] = (S) ⇒ Either[A, F[S]]
Value Members
-