Module

SSRS.Algebra

Package
purescript-ssrs
Repository
PureFunctor/purescript-ssrs

#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

#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