:: Monoid_a _ => _ a package:rio

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.
empty :: Vector v a => v a
rio RIO.Vector
O(1) Empty vector
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.