def relations_head

bendvy-ecs-core@0.1.0.4 · restore_graph_raw.bend:61

import bendvy-ecs-core@0.1.0.4/restore_graph_raw.bend as RestoreGraphRaw
import Base
import bendvy-ecs-core@0.1.0.4/restore_raw.bend as Basic
import bendvy-ecs-core@0.1.0.4/restore_graph_data.bend as Graph

61def relations_head(next:Unit -> Basic.Decoded<List<&2,Graph.Relation>>,result:Basic.Decoded<Graph.Relation>) -> Basic.Decoded<List<&2,Graph.Relation>>:
62  match result:
63    case Basic.Value{head}:relations_tail(head,next(Unit{}))
64    case Basic.Failed{error}:Basic.Failed{error}

Uses (5)

Used by (1)