Module

Matryoshka.Pattern.CoEnvT

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 

newtype CoEnvT e m a

Constructors

Instances

#runEnvT 

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

#withEnvT 

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

#mapEnvT 

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

Modules