type Step

bend-schema-lib@0.4.1.0 · core.bend:127

import Base

127# A step of a path. Positions count what was passed on the way, so that
128# following a path never compares two names: AtIndex{i} is element i of a
129# list, AtField{skip, name} the field `skip` places after this one in the
130# schema, BoundAt{i, key} the bound of element i of a bounded list. The names
131# are for the host to print.
132type Step is Data:
133  AtIndex{i: Nat}
134  AtField{skip: Nat, name: String}
135  BoundAt{i: Nat, key: String}
136  AtKey{key: String}