def remove_admitted
bendvy-ecs-core@0.1.0.3 · execution_event_family.bend:85
import bendvy-ecs-core@0.1.0.3/execution_event_family.bend as ExecutionEventFamily
import Base
85def remove_admitted(~S:Data,~P:Type,~key:String,refusal:Maybe<&2,Refusal>,family:Family<S,P,key>,reader:Reader<S,P,key>) -> Family<S,P,key> & Removal<S,P,key>:
86 match refusal family reader:
87 case Some{reason} family reader:(family,RemovalRefused{reader,reason})
88 case None{} Family{identity,open,log,previous,current,nextReader,active,dropped} Reader{actual,+id,cursor}:(Family{identity,open,log,previous,current,nextReader,without(active,id),dropped},Removed{Reader{actual,id,cursor}})