Module
Matryoshka.Class.Corecursive
- Package
- purescript-matryoshka
- Repository
- slamdata/purescript-matryoshka
#Corecursive Source
class (Functor f) <= Corecursive t f | t -> f whereMembers
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)