Moduleeffectful-core-2.7.1.2GHC2021

Effectful.Input.Static

Support for access to a value of a particular type.

Effect

1 declaration

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

Provide access to a value of type i.

Instances2DispatchOf, StaticRep

type DispatchOf (Input i) = 'Static 'NoSideEffectsDefined in effectful-core-2.7.1.2 · Effectful.Input.Static
data StaticRep (Input i)
- Input i
Defined in effectful-core-2.7.1.2 · Effectful.Input.Static

valuerunInput

Run the Input effect with the given value.

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