def annotate_newest

bendvy-ecs-core@0.1.0.3 · trace_facts.bend:71

import bendvy-ecs-core@0.1.0.3/trace_facts.bend as TraceFacts
import 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.