Module
Matryoshka.Class.Corecursive
- Package
- purescript-matryoshka
- Repository
- purescript-contrib/purescript-matryoshka
#Corecursive Source
class Corecursive :: Type -> (Type -> Type) -> Constraintclass (Functor f) <= Corecursive t f | t -> f where
Members
embed :: f t -> t
Instances
(Functor f) => Corecursive (Mu f) f(Functor f) => Corecursive (Nu f) f(Functor f) => Corecursive (Free f a) (CoEnvT a f)(Functor f) => Corecursive (Cofree f a) (EnvT a f)