ask
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,
nvim-hs Neovim Neovim.Context Retrieves the monad environment.
Fetch the value of the environment.
Fetch the value of the environment.
Fetch the value of the environment.
Retrieves the environment.
Retrieves the monad environment.
Fetch the value of the environment.
Fetch the value of the environment.
Retrieve the environment value.
runReader a (ask >>= k) = runReader a (k a)
Get the current value from a Reader. The signature is inferred (when
using NoMonomorphismRestriction).
Request a value of the environment.
Run-time: Retrieve a configuration value of the requested type.
Get the
Di inside
m, unmodified.
Idempotence law:
ask >> ask == ask
Fetch the value of the environment.
Fetch the value of the environment.
Retrieves the
part of the monad environment.
This is
Control.Monad.Reader's
ask with the type
adjusted for better compatibility with
Has.
ask @tag retrieves the environment of the reader capability
tag.
Get the
Di inside
m, unmodified.
Idempotence law:
ask >> ask == ask