Effects

Accumulator effect: emit/emitAll/collect for incremental list building. collect Read the current accumulated...

Non-deterministic choice effect: choose/fail/guard with list handler. choose Non-deterministic choice from a list of...

CL-style condition system: signal/warn with restart-based recovery. collectConditions Collecting handler: accumulates...

Error effect with contextual messages and multiple handler strategies. collecting Collecting error handler:...

Check if a handler with given name exists in current scope. hasHandler : String -> Computation Bool

Graded linear resource tracking: acquire/consume/release with usage enforcement. Each resource gets a capability token...

Read-only environment effect: ask/asks/local with standard handler. ask Read the current environment. ask :...

Computation-scoped handlers via effect rotation. handlersFromAttrs Helper to transform an attrset into named...

Mutable state effect: get/put/modify with standard handler. get Read the current state. Returns a Computation that,...

Reusable typeCheck handlers: strict (throw), collecting (accumulate), logging (record all). collecting Collecting...

Append-only output effect: tell/tellAll with list-collecting handler. handler Standard writer handler. Collects tell...