Module

Matryoshka.Pattern.CoEnvT

Package: purescript-matryoshka
Repository: slamdata/purescript-matryoshka

The pattern functor for Free. This is not Reader, it's the dual of EnvT in the sense that it uses a coproduct (Either) rather than a product (Tuple).

#CoEnvT Source

newtype CoEnvT e m a

Constructors

CoEnvT (Either e (m a))

Instances

Newtype (CoEnvT e m a) _
(Functor m) => Functor (CoEnvT e m)

#runEnvT Source

runEnvT :: forall a m e. CoEnvT e m a -> Either e (m a)

#withEnvT Source

withEnvT :: forall a m e2 e1. (e1 -> e2) -> CoEnvT e1 m a -> CoEnvT e2 m a

#mapEnvT Source

mapEnvT :: forall b a m2 m1 e. (m1 a -> m2 b) -> CoEnvT e m1 a -> CoEnvT e m2 b

Modules: Matryoshka; Matryoshka.Algebra; Matryoshka.Class.Corecursive; Matryoshka.Class.Recursive; Matryoshka.Coalgebra; Matryoshka.DistributiveLaw; Matryoshka.Fold; Matryoshka.Pattern.CoEnvT; Matryoshka.Refold; Matryoshka.Transform; Matryoshka.Unfold; Matryoshka.Util