Copyright	(C) 2008-2014 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable (fundeps, MPTCs)
Safe Haskell	Safe
Language	Haskell2010

Control.Comonad.Env

Contents

Description

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

Synopsis

ComonadEnv class

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

Methods

ask :: w a -> e Source

Instances

ComonadEnv e w => ComonadEnv e (IdentityT w) Source
ComonadEnv e (Arg e) Source
ComonadEnv e ((,) e) Source
(ComonadEnv e w, Monoid m) => ComonadEnv e (TracedT m w) Source
ComonadEnv e w => ComonadEnv e (StoreT t w) Source
Comonad w => ComonadEnv e (EnvT e w) Source

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

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

Modifies the environment using the specified function.

The Env comonad

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

Create an Env using an environment and a value

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

data EnvT e w a Source

Constructors

EnvT e (w a)

Instances

Comonad w => ComonadEnv e (EnvT e w) Source
ComonadStore s w => ComonadStore s (EnvT e w) Source
ComonadTraced m w => ComonadTraced m (EnvT e w) Source
ComonadTrans (EnvT e) Source
ComonadHoist (EnvT e) Source
Functor w => Functor (EnvT e w) Source
Foldable w => Foldable (EnvT e w) Source
Traversable w => Traversable (EnvT e w) Source
(Semigroup e, ComonadApply w) => ComonadApply (EnvT e w) Source
Comonad w => Comonad (EnvT e w) Source
(Data e, Typeable (* -> *) w, Data (w a), Data a) => Data (EnvT e w a) Source

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