Instances1DispatchOf
type DispatchOf (Input i) = 'DynamicDefined in effectful-core-2.7.1.2 · Effectful.Input.Dynamic
Moduleeffectful-core-2.7.1.2GHC2021
Effectful.Input.Dynamic
The dynamically dispatched variant of the Input effect.
Note: unless you plan to change interpretations at runtime, it's recommended to use one of the statically dispatched variants, i.e. Effectful.Input.Static or Effectful.Input.Static.Action.
Contents
Synopsis
- data Input
- value runInput
- value runInputAction
- value input
- value inputs
- Packageeffectful-core-2.7.1.2
- Exports5
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceDynamic.hs
Effect
Handlers
Run the Input effect with the given value.
value
runInputAction :: HasCallStack=> (HasCallStack => Eff es i)The action for input generation.
-> Eff (Input i ': es) a-> Eff es a
Run the Input effect with the given action that supplies values.
Operations
Fetch the value.
value
inputs :: (HasCallStack, Input i :> es)=> (i -> a)The function to apply to the value.
-> Eff es a