Module
Control.Comonad.Traced.Trans
- Package
- transformers
- Repository
- purescript/purescript-transformers
This module defines the cowriter comonad transformer, TracedT.
#TracedT Source
newtype TracedT :: Type -> (Type -> Type) -> Type -> Typenewtype TracedT t w a
The cowriter comonad transformer.
This comonad transformer extends the context of a value in the base comonad so that the value
depends on a monoidal position of type t.
The ComonadTraced type class describes the operations supported by this comonad.
Constructors
TracedT (w (t -> a))
Instances
#runTracedT Source
runTracedT :: forall w a t. TracedT t w a -> w (t -> a)Unwrap a value in the TracedT comonad.
- 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