AlphaGitHub
Source/Packages

Data.JSON

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

2,617 lines251 declarations113.9 KiBSHA-256 bd63da5ed186
Download exact fileView at revision426597bda5753d86c4

def · lines 1845–1854

jsonDefaultLimits

Full file
the same six limits as before -- 16 MiB of input and output, depth 256, 1 MiB per string, 1024 bytes per number, 65536 entries per container -- with the two megabyte-scale ones as two-power bounds, so no limit is a large Nat
1845def jsonDefaultLimits =
1846  (constructor
1847    JSONLimits
1848    JSONLimitsValue
1849    (constructor JSONBound JSONBoundBelowTwoPower jsonNaturalTwentyFour)
1850    (constructor JSONBound JSONBoundAtMost byteNaturalTwoHundredFiftySix)
1851    (constructor JSONBound JSONBoundBelowTwoPower jsonNaturalTwenty)
1852    (constructor JSONBound JSONBoundAtMost jsonNaturalOneThousandTwentyFour)
1853    (constructor JSONBound JSONBoundAtMost jsonNaturalSixtyFiveThousandFiveHundredThirtySix)
1854    (constructor JSONBound JSONBoundBelowTwoPower jsonNaturalTwentyFour))

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.