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
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
package data
package implicits
object kernel

Fundamental recursion schemes implemented in terms of functions and nothing else.
object prelude
object scheme extends SchemeHyloPorcelain with SchemeConvenientPorcelain with SchemeGeneralizedPorcelain
package syntax
package util

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

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

package data

package implicits

object kernel

object prelude

object scheme extends SchemeHyloPorcelain with SchemeConvenientPorcelain with SchemeGeneralizedPorcelain

package syntax

package util

Inherited from AnyRef

Inherited from Any

Ungrouped