Data.JSONAccess

398def jsonString =
399  (lambda unrestricted value : (family JSON) .
400    (eliminate
401      JSON
402      (lambda unrestricted current : (family JSON) . (family JSONBytesAccessResult))
403      value
404      (branch
405        JSONObject
406        members
407        membersInduction
408        .
409        (constructor
410          JSONBytesAccessResult
411          JSONBytesAccessFailed
412          (constructor JSONErrorCode JSONExpectedString)))
413      (branch
414        JSONObjectEnd
415        .
416        (constructor
417          JSONBytesAccessResult
418          JSONBytesAccessFailed
419          (constructor JSONErrorCode JSONExpectedString)))
420      (branch
421        JSONObjectMember
422        key
423        member
424        tail
425        memberInduction
426        tailInduction
427        .
428        (constructor
429          JSONBytesAccessResult
430          JSONBytesAccessFailed
431          (constructor JSONErrorCode JSONExpectedString)))
432      (branch
433        JSONArray
434        values
435        valuesInduction
436        .
437        (constructor
438          JSONBytesAccessResult
439          JSONBytesAccessFailed
440          (constructor JSONErrorCode JSONExpectedString)))
441      (branch
442        JSONArrayEnd
443        .
444        (constructor
445          JSONBytesAccessResult
446          JSONBytesAccessFailed
447          (constructor JSONErrorCode JSONExpectedString)))
448      (branch
449        JSONArrayNext
450        head
451        tail
452        headInduction
453        tailInduction
454        .
455        (constructor
456          JSONBytesAccessResult
457          JSONBytesAccessFailed
458          (constructor JSONErrorCode JSONExpectedString)))
459      (branch
460        JSONString
461        text
462        .
463        (eliminate
464          UTF8DecodeResult
465          (lambda unrestricted current : (family UTF8DecodeResult) . (family JSONBytesAccessResult))
466          (decodeUTF8 text)
467          (branch
468            UTF8DecodeSucceeded
469            codepoints
470            .
471            (constructor JSONBytesAccessResult JSONBytesAccessSucceeded text))
472          (branch
473            UTF8DecodeFailed
474            code
475            offset
476            .
477            (constructor
478              JSONBytesAccessResult
479              JSONBytesAccessFailed
480              (constructor JSONErrorCode JSONInvalidUTF8)))))
481      (branch
482        JSONNumber
483        number
484        .
485        (constructor
486          JSONBytesAccessResult
487          JSONBytesAccessFailed
488          (constructor JSONErrorCode JSONExpectedString)))
489      (branch
490        JSONBoolean
491        boolean
492        .
493        (constructor
494          JSONBytesAccessResult
495          JSONBytesAccessFailed
496          (constructor JSONErrorCode JSONExpectedString)))
497      (branch
498        JSONNull
499        .
500        (constructor
501          JSONBytesAccessResult
502          JSONBytesAccessFailed
503          (constructor JSONErrorCode JSONExpectedString)))))