comonads-fd-1.5.0: Comonad transformers using functional dependencies

Portabilitynon-portable (fundeps, MPTCs)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Comonad.Env.Strict

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 whereSource

Methods

ask :: w a -> eSource

Instances

ComonadEnv e w => ComonadEnv e (IdentityT w) 
ComonadEnv e ((,) e) 
(ComonadEnv e w, Functor f) => ComonadEnv e (StreamT f w) 
(ComonadEnv e w, Monoid m) => ComonadEnv e (TracedT m w) 
(ComonadEnv e w, Semigroup m, Monoid m) => ComonadEnv e (TracedT m w) 
ComonadEnv e w => ComonadEnv e (DiscontT t w) 
ComonadEnv e w => ComonadEnv e (StoreT t w) 
ComonadEnv e w => ComonadEnv e (DiscontT t w) 
ComonadEnv e w => ComonadEnv e (StoreT t w) 
ComonadEnv e w => ComonadEnv e (DiscontT t w) 
ComonadEnv e w => ComonadEnv e (StoreT t w) 
Comonad w => ComonadEnv e (EnvT e w) 
Comonad w => ComonadEnv e (EnvT e w) 

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

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) 
(Typeable s, Typeable1 w) => Typeable1 (EnvT s w) 
Foldable w => Foldable (EnvT e w) 
Traversable w => Traversable (EnvT e w) 
Comonad w => Comonad (EnvT e w) 
Extend w => Extend (EnvT e w) 
(Semigroup e, Apply w) => Apply (EnvT e w) 
(Data e, Typeable1 w, Data (w a), Data a) => Data (EnvT e w a) 
(Typeable s, Typeable1 w, Typeable a) => Typeable (EnvT s w a) 

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

Re-exported modules