Control.Monad.Trans.Indexed.Writer

The writer indexed monad transformer.

Documentation

newtype WriterIx w i j m x

Constructors

WriterIx

Fields

• runWriterIx :: m (x, w i j)

Instances

Category w => IxMonadTrans (WriterIx w :: k -> k -> (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Trans.Indexed.Writer

Methods

apIx :: forall (m :: Type -> Type) (i :: k0) (j :: k0) x y (k1 :: k0). Monad m => WriterIx w i j m (x -> y) -> WriterIx w j k1 m x -> WriterIx w i k1 m y

joinIx :: forall (m :: Type -> Type) (i :: k0) (j :: k0) (k1 :: k0) y. Monad m => WriterIx w i j m (WriterIx w j k1 m y) -> WriterIx w i k1 m y

bindIx :: forall (m :: Type -> Type) x (j :: k0) (k1 :: k0) y (i :: k0). Monad m => (x -> WriterIx w j k1 m y) -> WriterIx w i j m x -> WriterIx w i k1 m y

thenIx :: forall (m :: Type -> Type) (j :: k0) (k1 :: k0) y (i :: k0) x. Monad m => WriterIx w j k1 m y -> WriterIx w i j m x -> WriterIx w i k1 m y

andThenIx :: forall (m :: Type -> Type) y (j :: k0) (k1 :: k0) z x (i :: k0). Monad m => (y -> WriterIx w j k1 m z) -> (x -> WriterIx w i j m y) -> x -> WriterIx w i k1 m z

(i ~ j, Category w) => MonadTrans (WriterIx w i j)

Defined in Control.Monad.Trans.Indexed.Writer

Methods

lift :: Monad m => m a -> WriterIx w i j m a

(i ~ j, Applicative m, Category w) => Applicative (WriterIx w i j m)

Defined in Control.Monad.Trans.Indexed.Writer

Methods

pure :: a -> WriterIx w i j m a

(<*>) :: WriterIx w i j m (a -> b) -> WriterIx w i j m a -> WriterIx w i j m b

liftA2 :: (a -> b -> c) -> WriterIx w i j m a -> WriterIx w i j m b -> WriterIx w i j m c

(*>) :: WriterIx w i j m a -> WriterIx w i j m b -> WriterIx w i j m b

(<*) :: WriterIx w i j m a -> WriterIx w i j m b -> WriterIx w i j m a

Functor m => Functor (WriterIx w i j m)

Defined in Control.Monad.Trans.Indexed.Writer

Methods

fmap :: (a -> b) -> WriterIx w i j m a -> WriterIx w i j m b

(<$) :: a -> WriterIx w i j m b -> WriterIx w i j m a

(i ~ j, Monad m, Category w) => Monad (WriterIx w i j m)

Defined in Control.Monad.Trans.Indexed.Writer

Methods

(>>=) :: WriterIx w i j m a -> (a -> WriterIx w i j m b) -> WriterIx w i j m b

(>>) :: WriterIx w i j m a -> WriterIx w i j m b -> WriterIx w i j m b

return :: a -> WriterIx w i j m a

evalWriterIx :: Monad m => WriterIx w i j m x -> m x

execWriterIx :: Monad m => WriterIx w i j m x -> m (w i j)

mapWriterIx :: (m (x, w i j) -> n (y, q i j)) -> WriterIx w i j m x -> WriterIx q i j n y

tellIx :: Monad m => w i j -> WriterIx w i j m ()

listenIx :: Monad m => WriterIx w i j m x -> WriterIx w i j m (x, w i j)

listensIx :: Monad m => (w i j -> y) -> WriterIx w i j m x -> WriterIx w i j m (x, y)

passIx :: Monad m => WriterIx w i j m (x, w i j -> q i j) -> WriterIx q i j m x

censorIx :: Monad m => (w i j -> w i j) -> WriterIx w i j m x -> WriterIx w i j m x