def checked

bendvy-ecs-core@0.1.0.4 · restore_graph_machine.bend:45

import bendvy-ecs-core@0.1.0.4/restore_graph_machine.bend as RestoreGraphMachine

import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D

45def checked(~V:Data,~decode:D.Raw -> Maybe<&2,V>,~same:V -> V -> Bool,values:Maybe<&2,List<&2,V>>,result:D.Checked) -> Dispatch:
46  match result:
47    case D.Rejected{_}:Invalid{}
48    case D.Accepted{raw}:decoded(~V,~same,values,decode(raw))

Uses (7)

Used by (1)

bendvy-ecs-core@0.1.0.4/restore_graph_machine:named