Packages

p

qq

droste

package droste

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. droste
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Algebra[F[_], A] = GAlgebra[A, F, A]
  2. type AlgebraM[M[_], F[_], A] = (F[A]) ⇒ M[A]
  3. sealed trait Basis[F[_], R] extends Embed[F, R] with Project[F, R]
  4. type CVAlgebra[F[_], A] = GAlgebra[Cofree[F, A], F, A]
  5. type CVCoalgebra[F[_], A] = GCoalgebra[Free[F, A], F, A]
  6. type Coalgebra[F[_], A] = GCoalgebra[A, F, A]
  7. type CoalgebraM[M[_], F[_], A] = (A) ⇒ M[F[A]]
  8. trait Embed[F[_], R] extends AnyRef
  9. final class GAlgebra[S, F[_], A] extends AnyVal
  10. final class GCoalgebra[S, F[_], A] extends AnyVal
  11. type Gather[S, F[_], A] = (A, F[S]) ⇒ S
  12. trait Project[F[_], R] extends AnyRef
  13. type RAlgebra[R, F[_], A] = GAlgebra[(R, A), F, A]
  14. type RCoalgebra[R, F[_], A] = GCoalgebra[Either[R, A], F, A]
  15. type Scatter[S, F[_], A] = (S) ⇒ Either[A, F[S]]

Value Members

  1. object Algebra
  2. object Basis extends FloatingBasisInstances[Basis]
  3. object CVAlgebra
  4. object CVCoalgebra
  5. object Coalgebra
  6. object Embed extends FloatingBasisInstances[Embed]
  7. object GAlgebra extends GAlgebraInstances
  8. object GCoalgebra extends GCoalgebraInstances
  9. object Gather
  10. object Project extends FloatingBasisInstances[Project]
  11. object RAlgebra
  12. object RCoalgebra
  13. object Scatter
  14. object dist
  15. object scheme

Inherited from AnyRef

Inherited from Any

Ungrouped