Module
Matryoshka.Unfold
- Package
- purescript-matryoshka
- Repository
- slamdata/purescript-matryoshka
#ana Source
ana :: forall a f t. Corecursive t f => Coalgebra f a -> a -> t
#anaM Source
anaM :: forall a m f t. Corecursive t f => Monad m => Traversable f => CoalgebraM m f a -> a -> m t
#gana Source
gana :: forall a n f t. Corecursive t f => Monad n => DistributiveLaw n f -> GCoalgebra n f a -> a -> t
#ganaM Source
ganaM :: forall a n m f t. Corecursive t f => Monad m => Monad n => Traversable f => Traversable n => DistributiveLaw n f -> GCoalgebraM n m f a -> a -> m t
#elgotAna Source
elgotAna :: forall a n f t. Corecursive t f => Monad n => DistributiveLaw n f -> ElgotCoalgebra n f a -> a -> t
#transAna Source
transAna :: forall g u f t. Recursive t f => Corecursive u g => Transform t f g -> t -> u
#transAnaT Source
transAnaT :: forall f t. Recursive t f => Corecursive t f => (t -> t) -> t -> t
#transAnaM Source
transAnaM :: forall m g u f t. Recursive t f => Corecursive u g => Monad m => Traversable g => TransformM m t f g -> t -> m u
#transAnaTM Source
transAnaTM :: forall m f t. Recursive t f => Corecursive t f => Monad m => Traversable f => Coalgebra m t -> t -> m t
#postpro Source
postpro :: forall a f t. Recursive t f => Corecursive t f => (f ~> f) -> Coalgebra f a -> a -> t
#gpostpro Source
gpostpro :: forall a n f t. Recursive t f => Corecursive t f => Monad n => DistributiveLaw n f -> (f ~> f) -> GCoalgebra n f a -> a -> t
#transPostpro Source
transPostpro :: forall g u f t. Recursive t f => Recursive u g => Corecursive u g => (g ~> g) -> Transform t f g -> t -> u
#apo Source
apo :: forall a f t. Corecursive t f => GCoalgebra (Either t) f a -> a -> t
#gapo Source
gapo :: forall b a f t. Corecursive t f => Coalgebra f b -> GCoalgebra (Either b) f a -> a -> t
#apoM Source
apoM :: forall a m f t. Corecursive t f => Monad m => Traversable f => GCoalgebraM (Either t) m f a -> a -> m t
#elgotApo Source
elgotApo :: forall a f t. Corecursive t f => ElgotCoalgebra (Either t) f a -> a -> t
#transApo Source
transApo :: forall g u f t. Recursive t f => Corecursive u g => CoalgebraicGTransform (Either u) t f g -> t -> u
#transApoT Source
transApoT :: forall f t. Recursive t f => Corecursive t f => (t -> Either t t) -> t -> t
#futu Source
futu :: forall a f t. Corecursive t f => GCoalgebra (Free f) f a -> a -> t
#elgotFutu Source
elgotFutu :: forall a f t. Corecursive t f => ElgotCoalgebra (Free f) f a -> a -> t
#futuM Source
futuM :: forall a m f t. Corecursive t f => Monad m => Traversable f => GCoalgebraM (Free f) m f a -> a -> m t
#colambek Source
colambek :: forall f t. Recursive t f => Corecursive t f => f t -> t