Module

SSRS.Coalgebra

Package
purescript-ssrs
Repository
PureFunctor/purescript-ssrs

#Coalgebra Source

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

#CoalgebraM Source

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

#GCoalgebra Source

type GCoalgebra :: (Type -> Type) -> (Type -> Type) -> Type -> Typetype GCoalgebra n f a = a -> f (n a)

#GCoalgebraM Source

type GCoalgebraM :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Type -> Typetype GCoalgebraM n m f a = a -> m (f (n a))
Modules
SSRS
SSRS.Algebra
SSRS.Coalgebra
SSRS.Fold
SSRS.Refold
SSRS.Transform
SSRS.Unfold