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.

1 type
2 values

Packageeffectful-core-2.7.1.2
Exports3
LanguageGHC2021
LicenceBSD-3-Clause
SourceDynamic.hs

Effect

1 declaration

datadata ReturnWith r (a :: Type -> Type) b where

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

Handlers

valuerunReturnWith :: HasCallStack => Eff (ReturnWith r ': es) r -> Eff es r

Run a computation that can return early with a value of type r (via Effectful.ReturnWith.Static).

Operations

valuereturnWith

:: (HasCallStack, ReturnWith r :> es)
=> r
The value.
-> Eff es a

Return early with the given value.