:: Monoid_a _ => _ a package:rio

empty :: Vector v a => v a
rio RIO.Vector
O(1) Empty vector
exitFailure :: MonadIO m => m a
rio RIO
Lifted version of "System.Exit.exitFailure". @since 0.1.9.0.
exitSuccess :: MonadIO m => m a
rio RIO
Lifted version of "System.Exit.exitSuccess". @since 0.1.9.0.
mzero :: MonadPlus m => m a
rio RIO.Prelude
The identity of mplus. It should also satisfy the equations 
mzero >>= f  =  mzero
v >> mzero   =  mzero
The default definition is 
mzero = empty
ask :: MonadReader r m => m r
rio RIO.Prelude
Retrieves the monad environment.
get :: MonadState s m => m s
rio RIO.State
Return the state from the internals of the monad.