Supplemented

Documentation

data Supplemented m a

Instances

MonadTrans Supplemented

Methods

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

Monad m => Monad (Supplemented m)

Methods

(>>=) :: Supplemented m a -> (a -> Supplemented m b) -> Supplemented m b

(>>) :: Supplemented m a -> Supplemented m b -> Supplemented m b

return :: a -> Supplemented m a

fail :: String -> Supplemented m a

Functor m => Functor (Supplemented m)

Methods

fmap :: (a -> b) -> Supplemented m a -> Supplemented m b

(<$) :: a -> Supplemented m b -> Supplemented m a

Monad m => Applicative (Supplemented m)

Methods

pure :: a -> Supplemented m a

(<*>) :: Supplemented m (a -> b) -> Supplemented m a -> Supplemented m b

(*>) :: Supplemented m a -> Supplemented m b -> Supplemented m b

(<*) :: Supplemented m a -> Supplemented m b -> Supplemented m a

MonadPlus m => Alternative (Supplemented m)

Methods

empty :: Supplemented m a

(<|>) :: Supplemented m a -> Supplemented m a -> Supplemented m a

some :: Supplemented m a -> Supplemented m [a]

many :: Supplemented m a -> Supplemented m [a]

MonadPlus m => MonadPlus (Supplemented m)

Methods

mzero :: Supplemented m a

mplus :: Supplemented m a -> Supplemented m a -> Supplemented m a

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

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

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