Supplemented

Documentation

data Supplemented m a

Instances

MonadTrans Supplemented

Monad m => Monad (Supplemented m)

Functor m => Functor (Supplemented m)

Monad m => Applicative (Supplemented m)

MonadPlus m => Alternative (Supplemented m)

MonadPlus m => MonadPlus (Supplemented m)

runSupplemented :: Monad m => Supplemented m a -> m (a, m ())

essence :: Monad m => m a -> Supplemented m a

supplement :: Monad m => m () -> Supplemented m ()