package droste
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- droste
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- type Algebra[F[_], A] = GAlgebra[A, F, A]
- type AlgebraM[M[_], F[_], A] = (F[A]) ⇒ M[A]
- sealed trait Basis[F[_], R] extends Embed[F, R] with Project[F, R]
- type CVAlgebra[F[_], A] = GAlgebra[Cofree[F, A], F, A]
- type CVCoalgebra[F[_], A] = GCoalgebra[Free[F, A], F, A]
- type Coalgebra[F[_], A] = GCoalgebra[A, F, A]
- type CoalgebraM[M[_], F[_], A] = (A) ⇒ M[F[A]]
- trait Embed[F[_], R] extends AnyRef
- final class GAlgebra[S, F[_], A] extends AnyVal
- final class GCoalgebra[S, F[_], A] extends AnyVal
- type Gather[S, F[_], A] = (A, F[S]) ⇒ S
- trait Project[F[_], R] extends AnyRef
- type RAlgebra[R, F[_], A] = GAlgebra[(R, A), F, A]
- type RCoalgebra[R, F[_], A] = GCoalgebra[Either[R, A], F, A]
- type Scatter[S, F[_], A] = (S) ⇒ Either[A, F[S]]
Value Members
- object Algebra
- object Basis extends FloatingBasisInstances[Basis]
- object CVAlgebra
- object CVCoalgebra
- object Coalgebra
- object Embed extends FloatingBasisInstances[Embed]
- object GAlgebra extends GAlgebraInstances
- object GCoalgebra extends GCoalgebraInstances
- object Gather
- object Project extends FloatingBasisInstances[Project]
- object RAlgebra
- object RCoalgebra
- object Scatter
- object dist
- object scheme