def drive

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

import Base
import world.bend as W

54def drive(~S: Data,~C: Type,~R: Type,~E: Data,~H: Type,~Out: Type,~is_event: E -> Bool,~body: Events<S,E> -> H -> W.World<S,C,R,E> -> Out,events: Events<S,E>,owners: H,world: W.World<S,C,R,E>) -> Out:
55  driven(~S,~C,~R,~E,~H,~Out,~body,owners,collect(~S,~C,~R,~E,~is_event,events,world))