proton-0.0.4
Safe HaskellNone
LanguageHaskell2010

Data.Profunctor.Writer.Class

Documentation

class (Monoid w, Category p, Profunctor p) => ProfunctorWriter w p | p -> w where Source #

Minimal complete definition

listen, pass

Methods

tell :: p (a, w) a Source #

listen :: p a (a, w) Source #

pass :: p (a, w -> w) a Source #

class (Monoid w, Profunctor p) => ProfunctorWriter' w p | p -> w where Source #

Minimal complete definition

listen', pass'

Methods

tell' :: p a (b, w) -> p a b Source #

listen' :: p a b -> p a (b, w) Source #

pass' :: p a (b, w -> w) -> p a b Source #

Instances

Instances details
(Profunctor p, Monoid w) => ProfunctorWriter' w (WriterT w p) Source # 
Instance details

Defined in Data.Profunctor.Writer

Methods

tell' :: WriterT w p a (b, w) -> WriterT w p a b Source #

listen' :: WriterT w p a b -> WriterT w p a (b, w) Source #

pass' :: WriterT w p a (b, w -> w) -> WriterT w p a b Source #