def each_pos

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

import Base

1388def each_pos(~rule: Nat -> Raw -> Maybe<&2, Err>, ss: List<&2, Schema>, +r: Raw, +i: Nat) -> Bool:
1389  match ss:
1390    case Nil{}:
1391      True{}
1392    case h <> t:
1393      Bool.and(conforms(~rule, h, at_raw(r, i), None{}), each_pos(~rule, t, r, 1n+i))