~/jendhub

def driven

bendvy-ecs-core@0.1.0.4 · reader_domains.bend:49

import bendvy-ecs-core@0.1.0.4/reader_domains.bend as ReaderDomains
import Base
import world.bend as W

49# Reusable pre-dispatch seam. The setup callback receives the actual separated
50# event metadata and complete World owners; no affine owner is copied.
51def driven(~S: Data,~C: Type,~R: Type,~E: Data,~H: Type,~Out: Type,~body: Events<S,E> -> H -> W.World<S,C,R,E> -> Out,owners: H,result: Detached<S,C,R,E>) -> Out:
52  match result:
53    case Detached{world,events}: body(events,owners,world)

Uses (3)

Used by (1)