Control.Comonad.Env.Lazy

The Env comonad (aka the Coreader, Environment, or Product comonad)

A co-Kleisli arrow in the Env comonad is isomorphic to a Kleisli arrow in the reader monad.

(a -> e -> m) ~ (a, e) -> m ~ Env e a -> m

ComonadEnv class

class Comonad w => ComonadEnv e w | w -> e where

Methods

ask :: w a -> e

Instances

ComonadEnv e w => ComonadEnv e (IdentityT w)

ComonadEnv e ((,) e)

ComonadEnv e w => ComonadEnv e (DiscontT t w)

ComonadEnv e w => ComonadEnv e (StoreT t w)

Comonad w => ComonadEnv e (EnvT e w)

asks :: ComonadEnv e w => (e -> e') -> w a -> e'

local :: (e -> e) -> EnvT e w a -> EnvT e w a

The Env comonad

type Env e = EnvT e Identity

env :: e -> a -> Env e a

runEnv :: Env e a -> (e, a)

The EnvT comonad transformer

data EnvT e w a

Constructors

EnvT e (w a)

Instances

ComonadTraced m w => ComonadTraced m (EnvT e w)

ComonadStore s w => ComonadStore s (EnvT e w)

Comonad w => ComonadEnv e (EnvT e w)

ComonadHoist (EnvT e)

ComonadTrans (EnvT e)

Functor w => Functor (EnvT e w)

Comonad w => Comonad (EnvT e w)

(Monoid e, FunctorApply w) => FunctorApply (EnvT e w)

(Monoid e, ComonadApply w) => ComonadApply (EnvT e w)

runEnvT :: EnvT e w a -> (e, w a)

Re-exported modules

module Control.Comonad

module Control.Comonad.Trans.Class