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:...

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 :...

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...