def tag_defect
bend-schema-lib@0.4.1.0 · core.bend:1164
import bend-schema-lib@0.4.1.0/core.bend as Core
import Base
1164def tag_defect(+k: String, r: Raw, p: List<&2, Step>) -> Maybe<&2, Why>:
1165 match r p:
1166 case REnd{} AtKey{j} <> Nil{}:
1167 guard(String.eq(j, k), Some{Missing{}})
1168 case RKey{+j, +v, +o} AtKey{i} <> Nil{}:
1169 guard(String.eq(i, k), Some{missing_or(lookup(k, RKey{j, v, o}), NotOneOf{})})
1170 case REnd{} q:
1171 None{}
1172 case RKey{j, v, o} q:
1173 None{}
1174 case x Nil{}:
1175 Some{missing_or(x, NotObject{})}
1176 case x q:
1177 None{}