def row
bendvy-ecs-core@0.1.0.4 · ordinary_owned_event_family_query.bend:15
import bendvy-ecs-core@0.1.0.4/ordinary_owned_event_family_query.bend as OrdinaryOwnedEventFamilyQuery
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/transaction.bend as T
import bendvy-ecs-core@0.1.0.4/owned_event_journal.bend as Journal
import bendvy-ecs-core@0.1.0.4/ordinary_owned_event_declaration.bend as Events
15def row(~S:Data,~C:Type,~R:Type,~E:Data,~Recovery:Type,~EventOps:Type -> Type,~builder:Events.Builder(~W.World<S,C,R,E>,~Recovery,~EventOps),~Ops:Type -> Type,~A:Data,~U:Data,~Out:Data,~body:@-H:Type -> @-caps:Ops(H) -> @-J:Type -> @-emit:EventOps(J) -> A -> H -> J -> H & (J & (T.Outcome<U> & Out)),~H:Type,~caps:Ops(H),stage:Journal.Stage<W.World<S,C,R,E>,Recovery>,args:A,owner:H) -> H & (Journal.Stage<W.World<S,C,R,E>,Recovery> & (T.Outcome<U> & Out)):
16 body(H,caps,Journal.Stage<W.World<S,C,R,E>,Recovery>,Events.root_grant(~S,~W.World<S,C,R,E>,~Recovery,~EventOps,~builder),args,owner,stage)