Provide the ability to return early with a value of type r.
Constructors
ReturnWith :: r -> ReturnWith r a b
Instances1DispatchOf
type DispatchOf (ReturnWith r) = 'DynamicDefined in effectful-core-2.7.1.2 · Effectful.ReturnWith.Dynamic
Moduleeffectful-core-2.7.1.2GHC2021
Effectful.ReturnWith.Dynamic
The dynamically dispatched variant of the ReturnWith effect.
Note: unless you plan to change interpretations at runtime, it's recommended to use the statically dispatched variant, i.e. Effectful.ReturnWith.Static.
All caveats described in Effectful.ReturnWith.Static (in particular the interaction with threads) apply.
Contents
Synopsis
- data ReturnWith
- value runReturnWith
- value returnWith
- Packageeffectful-core-2.7.1.2
- Exports3
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceDynamic.hs
Effect
Handlers
Run a computation that can return early with a value of type r (via
Effectful.ReturnWith.Static).
Operations
Return early with the given value.