def published

bendvy-ecs-core@0.1.0.3 · execution_event_family.bend:54

import Base
import bendvy-ecs-core@0.1.0.3/owned_event_log.bend as Log

54def published(~S:Data,~P:Type,~key:String,identity:U32,previous:List<&2,Nat>,current:List<&2,Nat>,nextReader:U32,active:List<&2,U32>,dropped:Nat,result:Log.Log<P> & Nat) -> Family<S,P,key> & Publication<P>:
55  match result:
56    case (log,+id):(Family{identity,True{},log,previous,List.append(&2,Nat,current,[id]),nextReader,active,dropped},Published{id})