def declared

bendvy-ecs-core@0.1.0.4 · restore_graph_validation.bend:51

import Base
import bendvy-ecs-core@0.1.0.4/restore_graph_data.bend as R
import bendvy-ecs-core@0.1.0.4/snapshot_data.bend as Basic
import bendvy-ecs-core@0.1.0.4/relation_types.bend as G

51def declared(~S:Data,name:String,values:List<&2,R.Group>,entities:List<&2,Basic.Entity>,graph:G.Graph<S>,next:G.Graph<S> -> R.GraphResult<S>,found:Maybe<&2,G.Descriptor<S>>) -> R.GraphResult<S>:
52  match found:
53    case None{}:R.Rejected{R.UnknownRelation{name}}
54    case Some{descriptor}:groups(~S,values,descriptor,entities,graph,graph => acyclic(~S,graph,next))