~/jendhub

def row

bendvy-ecs-core@0.1.0.4 · owned_event_family_reader_query.bend:36

import bendvy-ecs-core@0.1.0.4/owned_event_family_reader_query.bend as OwnedEventFamilyReaderQuery
import Base
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

36# Projection runs with only the scoped payload request. Its owner is restored
37# before query grants execute; all event/row writes share one transaction.
38def row(~S:Data,~C:Type,~R:Type,~E:Data,~Args:Type,~Observation:Type,~U:Data,~Out:Data,~Ops:Type -> Type,~body:@-H:Type -> @-caps:Ops(H) -> Observation -> Args -> H -> H & (Observation & (Args & (T.Outcome<U> & Out))),~H:Type,~caps:Ops(H),capture:Observation & Args,ignored:Unit,owner:H) -> H & ((Observation & Args) & (T.Outcome<U> & Out)):
39  match capture:
40    case (observation,args):row_returned(~H,~Args,~Observation,~U,~Out,body(H,caps,observation,args,owner))

Uses (5)

Used by (1)