Interfaceseedcordv0.14.0

Gate

A precondition attached to a handler. It refuses by throwing a NoticeNotice (a reply) or a SilenceSilence (a quiet drop), and passes by returning. CtxCtx is the context it requires, so a gate that reads ctx.interactionctx.interaction is rejected on an event handler at compile time. NameName is captured as a literal so a mismatch error can name the gate. Build one with defineGatedefineGate or defineEffectGatedefineEffectGate.

The bound is GateContextBaseGateContextBase, not the GateContextGateContext union, because the base has no kindkind and so is not a union member. Binding to the union would collapse an identity gate's requirement to nevernever.

Methods

check()

Ctx

The context the gate requires, so reading a field absent on a handler's context is a compile error.

Ctx extends GateContextBase = GateContext

Ctx extends GateContextBase = GateContext

Name

The gate's name captured as a literal, so a mismatch error can name the gate.

Name extends string = string

Name extends string = string

[GateBrand]

Phantom brand that marks a real gate, you never set or read it.

readonly [GateBrand]: true

readonly [GateBrand]: true

name

The gate's name, surfaced in a mismatch error and joined by the combinators.

readonly name: Name

readonly name: Name

check()

Reads the context and refuses by throwing a Notice or a Silence, or passes by resolving.

async check(ctx: Ctx): Promise<void>

async check(ctx: Ctx): Promise<void>