Module

Matryoshka.Algebra

Package: purescript-matryoshka
Repository: purescript-contrib/purescript-matryoshka

#GAlgebra Source

type GAlgebra :: (Type -> Type) -> (Type -> Type) -> Type -> Typetype GAlgebra w f a = f (w a) -> a

#GAlgebraM Source

type GAlgebraM :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Type -> Typetype GAlgebraM w m f a = f (w a) -> m a

#Algebra Source

type Algebra :: (Type -> Type) -> Type -> Typetype Algebra f a = f a -> a

#AlgebraM Source

type AlgebraM :: (Type -> Type) -> (Type -> Type) -> Type -> Typetype AlgebraM m f a = f a -> m a

#ElgotAlgebra Source

type ElgotAlgebra :: (Type -> Type) -> (Type -> Type) -> Type -> Typetype ElgotAlgebra w f a = w (f a) -> a

Modules: Matryoshka; Matryoshka.Algebra; Matryoshka.Class.Corecursive; Matryoshka.Class.Recursive; Matryoshka.Coalgebra; Matryoshka.DistributiveLaw; Matryoshka.Fold; Matryoshka.Pattern.CoEnvT; Matryoshka.Refold; Matryoshka.Transform; Matryoshka.Unfold; Matryoshka.Util