package droste
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- droste
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- type Algebra[F[_], A] = GAlgebra[F, A, A]
- type AlgebraM[M[_], F[_], A] = GAlgebraM[M, F, A, A]
- sealed trait Basis[F[_], R] extends Embed[F, R] with Project[F, R]
- type CVAlgebra[F[_], A] = GAlgebra[F, Attr[F, A], A]
- type CVCoalgebra[F[_], A] = GCoalgebra[F, A, Coattr[F, A]]
- type Coalgebra[F[_], A] = GCoalgebra[F, A, A]
- type CoalgebraM[M[_], F[_], A] = GCoalgebraM[M, F, A, A]
- type Delay[F[_], G[_]] = FunctionK[F, [α]F[G[α]]]
- trait Embed[F[_], R] extends AnyRef
- final class GAlgebra[F[_], S, A] extends AnyVal
- final class GAlgebraM[M[_], F[_], S, A] extends AnyVal
- final class GCoalgebra[F[_], A, S] extends AnyVal
- final class GCoalgebraM[M[_], F[_], A, S] extends AnyVal
- final class GTrans[F[_], G[_], A, B] extends AnyVal
- final class GTransM[M[_], F[_], G[_], A, B] extends AnyVal
- type Gather[F[_], S, A] = (A, F[S]) => S
- trait Project[F[_], R] extends AnyRef
- type RAlgebra[R, F[_], A] = GAlgebra[F, (R, A), A]
- type RAlgebraM[R, M[_], F[_], A] = GAlgebraM[M, F, (R, A), A]
- type RCoalgebra[R, F[_], A] = GCoalgebra[F, A, Either[R, A]]
- type RCoalgebraM[R, M[_], F[_], A] = GCoalgebraM[M, F, A, Either[R, A]]
- type Scatter[F[_], A, S] = (S) => Either[A, F[S]]
- type Trans[F[_], G[_], A] = GTrans[F, G, A, A]
- type TransM[M[_], F[_], G[_], A] = GTransM[M, F, G, A, A]
Value Members
- object Algebra
- object AlgebraM
- object Basis extends FloatingBasisInstances[Basis]
- object CVAlgebra
- object CVCoalgebra
- object Coalgebra
- object CoalgebraM
- object Embed extends FloatingBasisInstances[Embed]
- object GAlgebra extends GAlgebraInstances
- object GAlgebraM
- object GCoalgebra extends GCoalgebraInstances
- object GCoalgebraM
- object GTrans
- object GTransM
- object Gather
- object Project extends FloatingBasisInstances[Project]
- object RAlgebra
- object RAlgebraM
- object RCoalgebra
- object RCoalgebraM
- object Scatter
- object Trans
- object TransM
- object kernel
Fundamental recursion schemes implemented in terms of functions and nothing else.
- object prelude
- object scheme extends SchemeHyloPorcelain with SchemeConvenientPorcelain with SchemeGeneralizedPorcelain