Data.Profunctor.Writer.Class

Documentation

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

Minimal complete definition

listen, pass

Methods

tell :: p (a, w) a

listen :: p a (a, w)

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

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

Minimal complete definition

listen', pass'

Methods

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

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

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

Instances

(Profunctor p, Monoid w) => ProfunctorWriter' w (WriterT w p)

Defined in Data.Profunctor.Writer

Methods

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

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

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