Module

Matryoshka.Pattern.CoEnvT

Package
purescript-matryoshka
Repository
purescript-contrib/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 :: Type -> (Type -> Type) -> Type -> Typenewtype CoEnvT e m a

Constructors

Instances

#runEnvT Source

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

#withEnvT Source

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

#mapEnvT Source

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