TraceFacts.settle_facts: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/trace_facts.bend as TraceFacts
Lines 86-94 of bendvy-ecs-core@0.1.0.3/trace_facts.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&start_line=86&end_line=94

import Base

def settle_facts(facts:List<&2,Fact>,+committed:Bool) -> List<&2,Fact>:
  match facts:
    case []:[]
    case ReaderFact{namespace,id,name,readerId,domain,lagged} <> rest:ReaderFact{namespace,id,name,readerId,domain,lagged} <> settle_facts(rest,committed)
    case BoundaryFact{boundary} <> rest:BoundaryFact{boundary} <> settle_facts(rest,committed)
    case Fact{category,key,operation,subject,before,after,result} <> rest:Fact{category,key,operation,subject,before,after,settled_result(result,committed)} <> settle_facts(rest,committed)
    case RelationFact{identity,operation,source,action,result} <> rest:RelationFact{identity,operation,source,action,settled_result(result,committed)} <> settle_facts(rest,committed)
    case HandlerFact{namespace,id,name,ordinal,phase,from,to,result} <> rest:HandlerFact{namespace,id,name,ordinal,phase,from,to,settled_result(result,committed)} <> settle_facts(rest,committed)
    case TransitionFact{key,from,to,result} <> rest:TransitionFact{key,from,to,settled_result(result,committed)} <> settle_facts(rest,committed)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=Fact
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=settled_result