Module

Matryoshka.Coalgebra

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

#GCoalgebra Source

type GCoalgebra n f a = a -> f (n a)

#GCoalgebraM Source

type GCoalgebraM n m f a = a -> m (f (n a))

#Coalgebra Source

type Coalgebra f a = a -> f a

#CoalgebraM Source

type CoalgebraM m f a = a -> m (f a)

#ElgotCoalgebra Source

type ElgotCoalgebra e f a = a -> e (f 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