package
droste
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
-
-
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
Basis extends FloatingBasisInstances[Basis]
-
-
-
-
-
object
Embed extends FloatingBasisInstances[Embed]
-
object
GAlgebra extends GAlgebraInstances
-
-
object
GCoalgebra extends GCoalgebraInstances
-
-
-
-
-
object
Project extends FloatingBasisInstances[Project]
-
-
-
-
-
-
-
-
-
-
-
-
object
scheme extends SchemeHyloPorcelain with SchemeConvenientPorcelain with SchemeGeneralizedPorcelain
-
-
-