def shutdown

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

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

109def shutdown(~S:Data,~P:Type,~key:String,family:Family<S,P,key>) -> Family<S,P,key> & List<Log.Row<P>>:
110  match family:
111    case Family{identity,_,log,previous,current,nextReader,_,dropped}:shutdown_returned(~S,~P,~key,identity,nextReader,highest(List.append(&2,Nat,previous,current),dropped),Log.drain(~P,log))