def annotate_newest
import bendvy-ecs-core@0.1.0.3/trace_facts.bend as TraceFactsimport Base
71def annotate_newest(state:State,before:Value,after:Value) -> State:
72 match state:
73 case Off{}:Off{}
74 case On{[]}:On{[]}
75 case On{Fact{category,key,operation,subject,_,_,result} <> rest}:On{Fact{category,key,operation,subject,before,after,result} <> rest}
76 case On{RelationFact{identity,operation,source,action,result} <> rest}:On{RelationFact{identity,operation,source,action,result} <> rest}
77 case On{HandlerFact{namespace,id,name,ordinal,phase,_,_,result} <> rest}:On{HandlerFact{namespace,id,name,ordinal,phase,before,after,result} <> rest}
78 case On{TransitionFact{key,_,_,result} <> rest}:On{TransitionFact{key,before,after,result} <> rest}
79 case On{ReaderFact{namespace,id,name,readerId,domain,lagged} <> rest}:On{ReaderFact{namespace,id,name,readerId,domain,lagged} <> rest}
80 case On{BoundaryFact{boundary} <> rest}:On{BoundaryFact{boundary} <> rest}
Uses (4)
Used by (0)
No other definition uses this definition.