def groups_head

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

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

41def groups_head(next:Unit -> Basic.Decoded<List<&2,Graph.Group>>,result:Basic.Decoded<Graph.Group>) -> Basic.Decoded<List<&2,Graph.Group>>:
42  match result:
43    case Basic.Value{head}:groups_tail(head,next(Unit{}))
44    case Basic.Failed{error}:Basic.Failed{error}