package droste

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

Package Members

  1. package data
  2. package implicits
  3. package syntax
  4. package util

Type Members

  1. type Algebra[F[_], A] = GAlgebra[F, A, A]
  2. type AlgebraM[M[_], F[_], A] = GAlgebraM[M, F, A, A]
  3. sealed trait Basis[F[_], R] extends Embed[F, R] with Project[F, R]
  4. type CVAlgebra[F[_], A] = GAlgebra[F, Attr[F, A], A]
  5. type CVCoalgebra[F[_], A] = GCoalgebra[F, A, Coattr[F, A]]
  6. type Coalgebra[F[_], A] = GCoalgebra[F, A, A]
  7. type CoalgebraM[M[_], F[_], A] = GCoalgebraM[M, F, A, A]
  8. type Delay[F[_], G[_]] = FunctionK[F, [α]F[G[α]]]
  9. trait Embed[F[_], R] extends AnyRef
  10. final class GAlgebra[F[_], S, A] extends AnyVal
  11. final class GAlgebraM[M[_], F[_], S, A] extends AnyVal
  12. final class GCoalgebra[F[_], A, S] extends AnyVal
  13. final class GCoalgebraM[M[_], F[_], A, S] extends AnyVal
  14. final class GTrans[F[_], G[_], A, B] extends AnyVal
  15. final class GTransM[M[_], F[_], G[_], A, B] extends AnyVal
  16. type Gather[F[_], S, A] = (A, F[S]) => S
  17. trait Project[F[_], R] extends AnyRef
  18. type RAlgebra[R, F[_], A] = GAlgebra[F, (R, A), A]
  19. type RAlgebraM[R, M[_], F[_], A] = GAlgebraM[M, F, (R, A), A]
  20. type RCoalgebra[R, F[_], A] = GCoalgebra[F, A, Either[R, A]]
  21. type RCoalgebraM[R, M[_], F[_], A] = GCoalgebraM[M, F, A, Either[R, A]]
  22. type Scatter[F[_], A, S] = (S) => Either[A, F[S]]
  23. type Trans[F[_], G[_], A] = GTrans[F, G, A, A]
  24. type TransM[M[_], F[_], G[_], A] = GTransM[M, F, G, A, A]

Value Members

  1. object Algebra
  2. object AlgebraM
  3. object Basis extends FloatingBasisInstances[Basis]
  4. object CVAlgebra
  5. object CVCoalgebra
  6. object Coalgebra
  7. object CoalgebraM
  8. object Embed extends FloatingBasisInstances[Embed]
  9. object GAlgebra extends GAlgebraInstances
  10. object GAlgebraM
  11. object GCoalgebra extends GCoalgebraInstances
  12. object GCoalgebraM
  13. object GTrans
  14. object GTransM
  15. object Gather
  16. object Project extends FloatingBasisInstances[Project]
  17. object RAlgebra
  18. object RAlgebraM
  19. object RCoalgebra
  20. object RCoalgebraM
  21. object Scatter
  22. object Trans
  23. object TransM
  24. object kernel

    Fundamental recursion schemes implemented in terms of functions and nothing else.

  25. object prelude
  26. object scheme extends SchemeHyloPorcelain with SchemeConvenientPorcelain with SchemeGeneralizedPorcelain

Inherited from AnyRef

Inherited from Any

Ungrouped