def Builder

bendvy-ecs-core@0.1.0.4 · ordinary_owned_event_declaration.bend:5

import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/owned_event_journal.bend as Frame

5# Canonical event declarations compose heterogeneous payload grants with one
6# ordered journal. Builder remains erased until the full recovery tree is known.
7# Raw constructors/builders are trusted engine administration, not gameplay.
8# Advanced erased builder for an owned-event publication grant family.
9# Specializes the journal recovery path only after the complete heterogeneous
10# recovery product is known. Gameplay receives abstract emission grants rather
11# than constructing runtime journal paths or retaining raw payload aliases.
12def Builder(~State:Type,~Recovery:Type,~Ops:Type -> Type) -> Type:
13  @-All:Type -> @-Rest:Type -> @-path:Product.Lens<All,Recovery,Rest> -> Unit -> Ops(Frame.Stage<State,All>)