Module

Matryoshka.Algebra

Package: purescript-matryoshka
Repository: slamdata/purescript-matryoshka

#GAlgebra Source

type GAlgebra w f a = f (w a) -> a

#GAlgebraM Source

type GAlgebraM w m f a = f (w a) -> m a

#Algebra Source

type Algebra f a = f a -> a

#AlgebraM Source

type AlgebraM m f a = f a -> m a

#ElgotAlgebra Source

type 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