a list's elements, each by `decode` (the decoder with one less fuel)
325def aosDecodeItems =
326 (lambda unrestricted decode : (pi unrestricted value : (family JSON) . (family AosDecoded)) .
327 (lambda unrestricted array : (family JSON) .
328 (eliminate JSON (lambda unrestricted current : (family JSON) . (family AosDecoded)) array
329 (branch JSONObject members membersInduction . aosRejected)
330 (branch JSONObjectEnd . aosRejected)
331 (branch JSONObjectMember key member tail memberInduction tailInduction . aosRejected)
332 (branch JSONArray values valuesInduction .
333 (aosBind valuesInduction (lambda unrestricted items : (family AosValue) . (aosDecodedAs (constructor AosValue AosList items)))))
334 (branch JSONArrayEnd . (aosDecodedAs (constructor AosValue AosItemsEnd)))
335 (branch JSONArrayNext head tail headInduction tailInduction .
336 (aosBind (decode head) (lambda unrestricted first : (family AosValue) .
337 (aosBind tailInduction (lambda unrestricted rest : (family AosValue) .
338 (aosDecodedAs (constructor AosValue AosItemsNext first rest)))))))
339 (branch JSONString text . aosRejected)
340 (branch JSONNumber digits . aosRejected)
341 (branch JSONBoolean flag . aosRejected)
342 (branch JSONNull . aosRejected))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.