Data.JSONAccess

166def objectLookup =
167  (lambda unrestricted wanted : Bytes .
168    (lambda unrestricted value : (family JSON) .
169      (eliminate
170        JSON
171        (lambda unrestricted current : (family JSON) . (family JSONValueAccessResult))
172        value
173        (branch
174          JSONObject
175          members
176          membersInduction
177          .
178          (eliminate
179            JSONMemberLookupResult
180            (lambda unrestricted current : (family JSONMemberLookupResult) .
181              (family JSONValueAccessResult))
182            (jsonLookupMembers wanted members)
183            (branch
184              JSONMemberMissing
185              .
186              (constructor
187                JSONValueAccessResult
188                JSONValueAccessFailed
189                (constructor JSONErrorCode JSONMissingMember)))
190            (branch
191              JSONMemberFound
192              member
193              .
194              (constructor JSONValueAccessResult JSONValueAccessSucceeded member))
195            (branch
196              JSONMemberDuplicated
197              .
198              (constructor
199                JSONValueAccessResult
200                JSONValueAccessFailed
201                (constructor JSONErrorCode JSONDuplicateMember)))
202            (branch
203              JSONMemberTreeMalformed
204              .
205              (constructor
206                JSONValueAccessResult
207                JSONValueAccessFailed
208                (constructor JSONErrorCode JSONMalformedTree)))))
209        (branch
210          JSONObjectEnd
211          .
212          (constructor
213            JSONValueAccessResult
214            JSONValueAccessFailed
215            (constructor JSONErrorCode JSONExpectedObject)))
216        (branch
217          JSONObjectMember
218          key
219          member
220          tail
221          memberInduction
222          tailInduction
223          .
224          (constructor
225            JSONValueAccessResult
226            JSONValueAccessFailed
227            (constructor JSONErrorCode JSONExpectedObject)))
228        (branch
229          JSONArray
230          values
231          valuesInduction
232          .
233          (constructor
234            JSONValueAccessResult
235            JSONValueAccessFailed
236            (constructor JSONErrorCode JSONExpectedObject)))
237        (branch
238          JSONArrayEnd
239          .
240          (constructor
241            JSONValueAccessResult
242            JSONValueAccessFailed
243            (constructor JSONErrorCode JSONExpectedObject)))
244        (branch
245          JSONArrayNext
246          head
247          tail
248          headInduction
249          tailInduction
250          .
251          (constructor
252            JSONValueAccessResult
253            JSONValueAccessFailed
254            (constructor JSONErrorCode JSONExpectedObject)))
255        (branch
256          JSONString
257          text
258          .
259          (constructor
260            JSONValueAccessResult
261            JSONValueAccessFailed
262            (constructor JSONErrorCode JSONExpectedObject)))
263        (branch
264          JSONNumber
265          number
266          .
267          (constructor
268            JSONValueAccessResult
269            JSONValueAccessFailed
270            (constructor JSONErrorCode JSONExpectedObject)))
271        (branch
272          JSONBoolean
273          boolean
274          .
275          (constructor
276            JSONValueAccessResult
277            JSONValueAccessFailed
278            (constructor JSONErrorCode JSONExpectedObject)))
279        (branch
280          JSONNull
281          .
282          (constructor
283            JSONValueAccessResult
284            JSONValueAccessFailed
285            (constructor JSONErrorCode JSONExpectedObject))))))