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

family · lines 98–110

JSONCounts

Full file
98family JSONCounts : Type 0
99constructor JSONCountsValue
100field unrestricted jsonCountValues : Nat
101field unrestricted jsonCountObjects : Nat
102field unrestricted jsonCountObjectMembers : Nat
103field unrestricted jsonCountArrays : Nat
104field unrestricted jsonCountArrayElements : Nat
105field unrestricted jsonCountStrings : Nat
106field unrestricted jsonCountNumbers : Nat
107field unrestricted jsonCountBooleans : Nat
108field unrestricted jsonCountNulls : Nat
109field unrestricted jsonCountStringBytes : Nat
110field unrestricted jsonCountNumberBytes : Nat

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.