Safe Haskell	Safe
Language	Haskell2010

Data.Functor.Trans.Writer

Documentation

newtype WriterT p w f a Source #

Constructors

WriterT
Fields runWriterT :: f (p w a)

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 #