Enum ProtocolIr 

pub enum ProtocolIr {
    Call,
    Http,
    Cron,
    Queue {
        name: String,
    },
    WebSocket {
        in_ty: TyId,
        out_ty: TyId,
    },
    Events {
        event: TyId,
        pattern: Option<EventPatternIr>,
        schema_dispatch: Option<i64>,
    },
}

P6.11’s real ProtocolIr ([DECISION A], #1171) — one variant per bynk_syntax::ast::ServiceProtocol variant, bynk_lower::lower_protocol_ir’s own return value. The reference’s own sketch specifies only two of the six: Events { event, pattern, schema_dispatch } (bynk-greenfield-compiler.md:1881) and WebSocket { in_ty, out_ty } (:1959) — field names taken verbatim from those two rows. Call/ Http/Cron carry no payload, not because one was dropped: the actual per-trigger binding (a route, a schedule) lives on each handler (HandlerKind::Http { method, path }/Cron { expr }), already reachable through IrHandler::kind — ServiceProtocol’s own doc comment says this in as many words (“the endpoint lives on each handler”), which is why the reference never spells these three out either. E2 (:1737) constrains the set, not the shape: “a closed nominal set … grows one variant per real trigger” — the AST’s own closed ServiceProtocol already satisfies that exactly, so this type is total over what a certified program’s own service can declare, the same claim StoreKindIr’s own doc makes about Queue being gated pre-certify.

Variants

Call

Http

Cron

Queue

from queue("name").

Fields

name: String

WebSocket

from websocket(in: …, out: …) — the two frame types, resolved. As of P6.13 (#1179), bynk_lower::lower_service_handler_ir lowers an on open/on message/on close handler’s own body for a service carrying this protocol too — see ConnectionBinder’s own doc comment for how the synthetic connection binding reaches that body’s scope.

Fields

in_ty: TyId

out_ty: TyId

Events

from Events(E) — the subscribed event type, resolved, plus the two independent, optional filters a subscription may carry.

Fields

event: TyId

pattern: Option<EventPatternIr>

schema_dispatch: Option<i64>

P6.40 (design/tracks/the-ir.md §6a): flattened to Option<i64> — SchemaVersionPattern has exactly one variant (Literal(i64)), so once a real consumer needed to match on it (emitter/emit.rs’s via schema(N) guard prologue), mirroring the single-payload i64 directly was simpler than introducing a one-variant IR-native enum purely to re-wrap it. A future range pattern (via schema(2..)) widens this field’s own shape when it lands, not before. The SchemaDispatch wrapper itself stays dropped — it carried only this pattern plus a parse-only span.

Trait Implementations

impl Clone for ProtocolIr

fn clone(&self) -> ProtocolIr

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ProtocolIr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.