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.Labeled.ReturnWith
Convenience functions for the Labeled ReturnWith effect.
Contents
Synopsis
- data ReturnWith
- value runReturnWith
- value returnWith
- newtype Labeled
- Packageeffectful-core-2.7.1.2
- Exports4
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceReturnWith.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.
Re-exports
Assign a label to an effect.
Note: labeled effects are best used together with the effectful-plugin package, as it significantly improves their usability.
The constructor is for sending labeled operations of a dynamically dispatched effect to the handler:
import Effectful.Dispatch.Dynamic:{ data X :: Effect where X :: X m Int type instance DispatchOf X = Dynamic:}
:{ runPureEff . runLabeled @"x" (interpret_ $ \X -> pure 333) $ do send $ Labeled @"x" X:}333
Instances2DispatchOf, StaticRep
type DispatchOf (Labeled label e) = DispatchOf eDefined in effectful-core-2.7.1.2 · Effectful.Labeleddata StaticRep (Labeled label e)Defined in effectful-core-2.7.1.2 · Effectful.Labeled