~/jendhub

def event_body

bendvy-ecs-core@0.1.0.4 · provider.bend:115

import bendvy-ecs-core@0.1.0.4/provider.bend as Provider
import Base
import world.bend as W
import component.bend as Cmp
import transaction.bend as T

115# Main RW + aux Read + event Write + current-entity Despawn only.
116def event_body(~S: Data,~C: Type,~V: Data,~AuxV: Data,~RV: Data,~R: Type,~E: Data,~Payload: Type,~A: Data,~U: Data,~body: @-H: Type -> @-get: (H -> H & Cmp.Access<V>) -> @-set: (H -> C -> H) -> @-aux: (H -> H & Cmp.Access<AuxV>) -> @-emit: (H -> E -> H) -> @-despawn: (H -> H) -> A -> W.Handle<S> -> H -> H & T.Outcome<U>,~H: Type,~get: H -> H & Cmp.Access<V>,~set: H -> C -> H,~aux: H -> H & Cmp.Access<AuxV>,~resource_get: H -> H & RV,~resource_set: H -> R -> H,~emit: H -> E -> H,~despawn: H -> H,~spawn: H -> Payload -> H & W.Reservation<S>,args: A,handle: W.Handle<S>,ctx: H) -> H & T.Outcome<U>:
117  body(H,get,set,aux,emit,despawn,args,handle,ctx)

Uses (5)

Used by (1)