Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A Writer monad that supports local writing, reverse reader I guess?
Documentation
data LocalWriter o m a where Source #
Ltell :: o -> LocalWriter o m () | |
Llisten :: m a -> LocalWriter o m (o, a) |
runLocalWriter :: Monoid o => Sem (LocalWriter o ': r) a -> Sem r (o, a) Source #