Module

Matryoshka.Transform

#Transform 

type Transform t f g = f t -> g t

#TransformM 

type TransformM m t f g = f t -> m (g t)

#AlgebraicGTransform 

type AlgebraicGTransform w t f g = f (w t) -> g t

#CoalgebraicGTransform 

type CoalgebraicGTransform n t f g = f t -> g (n t)

Modules