category-0.2.4.1: Categorical types and classes

Safe HaskellNone
LanguageHaskell2010

Data.Functor.Trans.Writer

Documentation

newtype WriterT p w f a Source #

Constructors

WriterT 

Fields

Instances
(Functor ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) f, Functor s ((->) :: Type -> Type -> Type) (p w)) => Functor (s :: k2 -> k2 -> Type) ((->) :: Type -> Type -> Type) (WriterT p w f :: k2 -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Writer

Methods

map :: s a b -> WriterT p w f a -> WriterT p w f b Source #

(Comonad ((->) :: Type -> Type -> Type) (p w), Comonad ((->) :: Type -> Type -> Type) f) => Comonad ((->) :: Type -> Type -> Type) (WriterT p w f :: Type -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Writer

Methods

counit :: WriterT p w f a -> a Source #

cut :: WriterT p w f a -> WriterT p w f (WriterT p w f a) Source #

cobind :: (WriterT p w f a -> b) -> WriterT p w f a -> WriterT p w f b Source #

Monad ((->) :: Type -> Type -> Type) f => Monad ((->) :: Type -> Type -> Type) (WriterT Either w f :: Type -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Writer

Methods

unit :: a -> WriterT Either w f a Source #

join :: WriterT Either w f (WriterT Either w f a) -> WriterT Either w f a Source #

bind :: (a -> WriterT Either w f b) -> WriterT Either w f a -> WriterT Either w f b Source #

(Monoid w, Monad ((->) :: Type -> Type -> Type) f) => Monad ((->) :: Type -> Type -> Type) (WriterT (,) w f :: Type -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Writer

Methods

unit :: a -> WriterT (,) w f a Source #

join :: WriterT (,) w f (WriterT (,) w f a) -> WriterT (,) w f a Source #

bind :: (a -> WriterT (,) w f b) -> WriterT (,) w f a -> WriterT (,) w f b Source #

Functor (NT ((->) :: Type -> Type -> Type) :: (k3 -> Type) -> (k3 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k2 -> Type) -> (k2 -> Type) -> Type) (WriterT p w :: (k3 -> Type) -> k2 -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Writer

Methods

map :: NT (->) a b -> NT (->) (WriterT p w a) (WriterT p w b) Source #