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.Staticdata StaticRep (Input i)Input i
Moduleeffectful-core-2.7.1.2GHC2021
Effectful.Input.Static
Support for access to a value of a particular type.
Contents
- Packageeffectful-core-2.7.1.2
- Exports4
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceStatic.hs
Effect
Handlers
Run the Input effect with the given value.
Operations
Fetch the value.
value
inputs :: (HasCallStack, Input i :> es)=> (i -> a)The function to apply to the value.
-> Eff es a