Algebra.Monad.Writer

The Writer monad

class MonadWriter w m

mute

intercept

intercept'

eavesdrop

The Writer transformer

data WriterT w m a

type Writer w a

writerT

writer

pureWriter

Keeping track of where we are

class MonadCounter w acc m

Implementation

data CounterT w acc m a

type Counter w acc a

i'counterT

i'counter