Matryoshka.Class.Recursive

class Recursive :: Type -> (Type -> Type) -> Constraintclass (Functor f) <= Recursive t f | t -> f where

Members

• project :: t -> f t

Instances

• (Functor f) => Recursive (Mu f) f
• (Functor f) => Recursive (Nu f) f
• (Functor f) => Recursive (Free f a) (CoEnvT a f)
• (Functor f) => Recursive (Cofree f a) (EnvT a f)