Source/Packages

Data.JSON

packages/foundation/standard/src/Data/JSON.alpha

2,617 lines251 declarations113.9 KiBSHA-256 bd63da5ed186

def · lines 2594–2614

parseJSONWithLimits

Full file
2594def parseJSONWithLimits =
2595  (lambda unrestricted limits : (family JSONLimits) .
2596    (lambda unrestricted input : Bytes .
2597      (eliminate
2598        JSONObservedDocumentResult
2599        (lambda unrestricted current : (family JSONObservedDocumentResult) .
2600          (family JSONDocumentResult))
2601        (parseJSONObservedWithLimits limits input)
2602        (branch
2603          JSONObservedDocumentParsed
2604          value
2605          telemetry
2606          .
2607          (constructor JSONDocumentResult JSONDocumentParsed value))
2608        (branch
2609          JSONObservedDocumentFailed
2610          code
2611          offset
2612          telemetry
2613          .
2614          (constructor JSONDocumentResult JSONDocumentFailed code offset)))))

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.