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