Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- tell_tell :: forall m w. MonadWriter w m => w -> w -> Equation (m ())
- tell_mempty :: forall m w. MonadWriter w m => Equation (m ())
- listen_return :: forall m a w. MonadWriter w m => a -> Equation (m (a, w))
- listen_bind :: forall m a b w. MonadWriter w m => m a -> (a -> m b) -> Equation (m (b, w))
- listen_tell :: forall m w. MonadWriter w m => w -> Equation (m w)
- listen_listen :: forall m a w. MonadWriter w m => m a -> Equation (m ((a, w), w))
- listen_pass :: forall m a w. MonadWriter w m => m (a, w -> w) -> Equation (m (a, w))
- pass_tell :: forall m w. MonadWriter w m => w -> (w -> w) -> Equation (m ())
- writer' :: forall m a w. MonadWriter w m => Writer w a -> m a
Documentation
tell_tell :: forall m w. MonadWriter w m => w -> w -> Equation (m ()) Source #
tell_mempty :: forall m w. MonadWriter w m => Equation (m ()) Source #
listen_return :: forall m a w. MonadWriter w m => a -> Equation (m (a, w)) Source #
listen_bind :: forall m a b w. MonadWriter w m => m a -> (a -> m b) -> Equation (m (b, w)) Source #
listen_tell :: forall m w. MonadWriter w m => w -> Equation (m w) Source #
listen_listen :: forall m a w. MonadWriter w m => m a -> Equation (m ((a, w), w)) Source #
listen_pass :: forall m a w. MonadWriter w m => m (a, w -> w) -> Equation (m (a, w)) Source #
pass_tell :: forall m w. MonadWriter w m => w -> (w -> w) -> Equation (m ()) Source #