def groups_tail

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

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

37def groups_tail(head:Graph.Group,result:Basic.Decoded<List<&2,Graph.Group>>) -> Basic.Decoded<List<&2,Graph.Group>>:
38  match result:
39    case Basic.Value{tail}:Basic.Value{head <> tail}
40    case Basic.Failed{error}:Basic.Failed{error}