:: Monoid_a _ => _ a -package:classy-prelude

look :: forall w (sig :: (Type -> Type) -> Type -> Type) m . Has (Accum w) sig m => m w
fused-effects Control.Effect.Accum
Look up the previous accumulation 
runAccum w look = return (w, w)
runAccum w (look >>= continuation) = runAccum w (continuation w)
cutfail :: forall (sig :: (Type -> Type) -> Type -> Type) m a . Has Cut sig m => m a
fused-effects Control.Effect.Cut
Fail the current branch, and prevent backtracking within the nearest enclosing call (if any). Contrast with empty, which fails the current branch but allows backtracking. 
cutfail >>= k = cutfail

cutfail <|> m = cutfail
empty :: forall (sig :: (Type -> Type) -> Type -> Type) m a . Has Empty sig m => m a
fused-effects Control.Effect.Empty
Abort the computation. empty annihilates >>=: 
empty >>= k = empty
ask :: forall r (sig :: (Type -> Type) -> Type -> Type) m . Has (Reader r) sig m => m r
fused-effects Control.Effect.Reader
Retrieve the environment value. 
runReader a (ask >>= k) = runReader a (k a)
get :: forall s (sig :: (Type -> Type) -> Type -> Type) m . Has (State s) sig m => m s
fused-effects Control.Effect.State
Get the current state value. 
runState a (get >>= k) = runState a (k a)
autoTC :: forall t a . Auto (TyPred t) a => t a
decidable Data.Type.Predicate.Auto
A version of auto that "just works" with type inference, if the predicate is a type constructor.
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
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.
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.
pending :: (HasCallStack, MonadIO m) => m a
sandwich Test.Sandwich.Expectations
Throws a Pending exception, which will cause the test to be marked as pending.
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
rio RIO.Vector
O(1) Empty vector
mk0 :: (Vector v a, Dim v ~ 0) => v a
fixed-vector Data.Vector.Fixed
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, Cabal-syntax Distribution.Compat.Prelude, fused-effects Control.Effect.NonDet, universum Universum.Monad.Reexport, ihaskell IHaskellPrelude, base-compat-batteries Control.Monad.Compat, Agda Agda.Utils.Monad, ghc-internal GHC.Internal.Base GHC.Internal.Control.Monad, rebase Rebase.Prelude, massiv-test Test.Massiv.Utils, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, faktory Faktory.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
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, relude Relude.Applicative, fused-effects Control.Effect.NonDet, ghc-internal GHC.Internal.Base, verset Verset
The identity of <|> 
empty <|> a     == a
a     <|> empty == a
empty :: Alternative f => f a
protolude Protolude, parser-combinators Control.Applicative.Combinators Control.Monad.Combinators, base-prelude BasePrelude, turtle Turtle, Cabal-syntax Distribution.Compat.Prelude, effectful-core Effectful.NonDet, universum Universum.Applicative, algebraic-graphs Algebra.Graph.HigherKinded.Class, ihaskell IHaskellPrelude, rebase Rebase.Prelude, flatparse FlatParse.Basic FlatParse.Stateful, threepenny-gui Graphics.UI.Threepenny.Core, configuration-tools Configuration.Utils.CommandLine, list-transformer List.Transformer, fmlist Data.FMList, incipit-base Incipit.Base, opt-env-conf OptEnvConf.Parser, cabal-install-solver Distribution.Solver.Compat.Prelude, frisby Text.Parsers.Frisby
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, 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, nvim-hs Neovim Neovim.Context, pandoc-plot Text.Pandoc.Filter.Plot.Internal
Retrieves the monad environment.
get :: MonadState s m => m s
mtl Control.Monad.State.Class
Return the state from the internals of the monad.