Safe Haskell | None |
---|---|

Language | Haskell2010 |

- data WriterT s m a
- runWriterT :: Monoid s => WriterT s m a -> m (a, s)
- pattern WriterT :: forall m s a. (Functor m, Monoid s) => m (a, s) -> WriterT s m a
- type Weighted s = WriterT s Identity
- runWeighted :: Monoid s => Weighted s a -> (a, s)
- pattern Weighted :: forall s a. Monoid s => (a, s) -> Weighted s a
- execWriterT :: (Monad m, Monoid s) => WriterT s m a -> m s
- evalWriterT :: (Monad m, Monoid s) => WriterT s m a -> m a
- execWeighted :: Monoid s => Weighted s a -> s
- evalWeighted :: Monoid s => Weighted s a -> a

# Documentation

A monad transformer similar to `WriterT`

, except
that it does not leak space.

runWriterT :: Monoid s => WriterT s m a -> m (a, s) Source #

runWeighted :: Monoid s => Weighted s a -> (a, s) Source #

execWeighted :: Monoid s => Weighted s a -> s Source #

evalWeighted :: Monoid s => Weighted s a -> a Source #