Module effect 

The effect contract: capability-gated requests resolved by an implementation.

The kernel defines the Effect record, its replay-key identity, and the control effect protocol. Libraries mint behavior-specific effect kinds.

Structs

Effect

A capability-gated request resolved by an effect handler.

EffectRecord

Ledger record tracking one effect’s request, resolution, and outcome.

Constants

EFFECT_REPLAY_VERSION

Version tag mixed into every effect replay-key preimage.

Functions

effect_abort_op_key

Operation key effects use to abort a handler.

effect_control_abort_kind

Well-known kind symbol for control-abort effects.

effect_control_capture_kind

Well-known kind symbol for control-capture effects.

effect_control_prompt_kind

Well-known kind symbol for control-prompt effects.

effect_control_resume_kind

Well-known kind symbol for control-resume effects.

effect_replay_key

Content-id of the effect’s replay-key preimage for implementation.

effect_replay_preimage

Build the canonical datum hashed into an effect’s replay key.

effect_resume_op_key

Operation key effects use to resume a handler.

resolve_effect

Resolve an effect end to end: record the request, enforce capabilities, reuse any cassette result, otherwise run perform, then record the outcome.