:: Monoid_a _ => _ a -package:cabal-install-solver -package:fused-effects

exitFailure :: MonadIO m => m a
relude Relude.Lifted.Exit
Lifted version of exitFailure. 
>>> exitFailure
*** Exception: ExitFailure 1
exitSuccess :: MonadIO m => m a
relude Relude.Lifted.Exit
Lifted version of exitSuccess. 
>>> exitSuccess
*** Exception: ExitSuccess
exitFailure :: MonadIO m => m a
rio RIO, stack Stack.Prelude
Lifted version of "System.Exit.exitFailure". @since 0.1.9.0.
exitSuccess :: MonadIO m => m a
rio RIO, stack Stack.Prelude
Lifted version of "System.Exit.exitSuccess". @since 0.1.9.0.
exitFailure :: MonadIO m => m a
universum Universum.Lifted.Env
Lifted version of exitFailure.
exitSuccess :: MonadIO m => m a
universum Universum.Lifted.Env
Lifted version of exitSuccess.
exitCleanly :: MonadIO m => m a
hdaemonize System.Posix.Daemonize
Use this function when the daemon should terminate normally. It logs a message, and exits with status 0.
empty :: C set => set a
board-games Game.Mastermind.CodeSet
unit :: C set => set a
board-games Game.Mastermind.CodeSet
empty :: Vector v a => v a
vector Data.Vector.Generic
O(1) The empty vector.
empty :: Vector v a => v a
rio RIO.Vector
O(1) Empty vector
mk0 :: (Vector v a, Dim v ~ 0) => v a
fixed-vector Data.Vector.Fixed
pending :: (HasCallStack, MonadThrow m) => m a
sandwich Test.Sandwich.Expectations
Throws a Pending exception, which will cause the test to be marked as pending.
mzero :: MonadPlus m => m a
base Control.Monad GHC.Base, pipes Pipes, base-compat Control.Monad.Compat Control.Monad.Compat, protolude Protolude.Monad, relude Relude.Monad.Reexport, rio RIO.Prelude, base-prelude BasePrelude, turtle Turtle, classy-prelude ClassyPrelude, universum Universum.Monad.Reexport, base-compat-batteries Control.Monad.Compat, Cabal-syntax Distribution.Compat.Prelude, Agda Agda.Utils.Monad, rebase Rebase.Prelude, hledger Hledger.Cli.Script, stack Stack.Prelude, massiv-test Test.Massiv.Utils, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude, can-i-haz Control.Monad.Except.CoHas Control.Monad.Reader.Has, yesod-paginator Yesod.Paginator.Prelude, control-monad-free Control.Monad.Free, distribution-opensuse OpenSuse.Prelude, faktory Faktory.Prelude, hledger-web Hledger.Web.Import, termonad Termonad.Prelude, zio ZIO.Trans
The identity of mplus. It should also satisfy the equations 
mzero >>= f  =  mzero
v >> mzero   =  mzero
The default definition is 
mzero = empty
empty :: Alternative f => f a
base Control.Applicative GHC.Base, protolude Protolude, relude Relude.Applicative, parser-combinators Control.Applicative.Combinators Control.Monad.Combinators, base-prelude BasePrelude, turtle Turtle, classy-prelude ClassyPrelude, universum Universum.Applicative, algebraic-graphs Algebra.Graph.HigherKinded.Class, Cabal-syntax Distribution.Compat.Prelude, effectful-core Effectful.NonDet, rebase Rebase.Prelude, configuration-tools Configuration.Utils.CommandLine, flatparse FlatParse.Basic FlatParse.Stateful, hledger Hledger.Cli.Script, fmlist Data.FMList, incipit-base Incipit.Base, list-transformer List.Transformer, loc Data.Loc.Internal.Prelude, frisby Text.Parsers.Frisby, termonad Termonad.Prelude
The identity of <|>
empty :: Alternative f => forall a . () => f a
optional-args Data.Optional
The identity of <|>
look :: MonadAccum w m => m w
mtl Control.Monad.Accum
Retrieve the accumulated result so far.
ask :: MonadReader r m => m r
mtl Control.Monad.Reader Control.Monad.Reader.Class, protolude Protolude, relude Relude.Monad.Reexport, rio RIO.Prelude, adjunctions Control.Monad.Representable.Reader, classy-prelude ClassyPrelude, streamly Streamly.Data.Stream.MkType Streamly.Internal.Data.Stream.MkType, universum Universum.Monad.Reexport, xmonad XMonad, rebase Rebase.Prelude, xmonad-contrib XMonad.Config.Prime, apecs Apecs, mtl-prelude MTLPrelude, stack Stack.Prelude, nvim-hs Neovim Neovim.Context, pandoc-plot Text.Pandoc.Filter.Plot.Internal, termonad Termonad.Prelude
Retrieves the monad environment.