Module
Control.Comonad.Env.Trans
- Package
- transformers
- Repository
- purescript/purescript-transformers
This module defines the environment comonad transformer, EnvT
.
#EnvT Source
newtype EnvT :: forall k. Type -> (k -> Type) -> k -> Type
newtype EnvT e w a
The environment comonad transformer.
This comonad transformer extends the context of a value in the base comonad with a global environment of
type e
.
The ComonadEnv
type class describes the operations supported by this comonad.
Constructors
Instances
- Modules
- Control.
Comonad. Env - Control.
Comonad. Env. Class - Control.
Comonad. Env. Trans - Control.
Comonad. Store - Control.
Comonad. Store. Class - Control.
Comonad. Store. Trans - Control.
Comonad. Traced - Control.
Comonad. Traced. Class - Control.
Comonad. Traced. Trans - Control.
Comonad. Trans. Class - Control.
Monad. Cont - Control.
Monad. Cont. Class - Control.
Monad. Cont. Trans - Control.
Monad. Error. Class - Control.
Monad. Except - Control.
Monad. Except. Trans - Control.
Monad. Identity. Trans - Control.
Monad. List. Trans - Control.
Monad. Maybe. Trans - Control.
Monad. RWS - Control.
Monad. RWS. Trans - Control.
Monad. Reader - Control.
Monad. Reader. Class - Control.
Monad. Reader. Trans - Control.
Monad. State - Control.
Monad. State. Class - Control.
Monad. State. Trans - Control.
Monad. Trans. Class - Control.
Monad. Writer - Control.
Monad. Writer. Class - Control.
Monad. Writer. Trans