Moduleeffectful-core-2.7.1.2GHC2021

Effectful.Input.Static.Action

Support for access to values supplied by a monadic action.

Contents

Synopsis

Effect

datadata Input i (a :: Type -> Type) b

Provide access to values of type i supplied by a monadic action.

Instances2DispatchOf, StaticRep

type DispatchOf (Input i) = 'Static 'NoSideEffectsDefined in effectful-core-2.7.1.2 · Effectful.Input.Static.Action
data StaticRep (Input i)
- Input :: !Env inputEs -> !InputImpl i inputEs -> R:StaticRepInput i
Defined in effectful-core-2.7.1.2 · Effectful.Input.Static.Action

valuerunInput

Run the Input effect with the given action that supplies values.

valueinput :: (HasCallStack, Input i :> es) => Eff es i

Fetch the value.

valueinputs

Fetch the result of applying a function to the value.

inputs f ≡ f <$> input