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 121–128

JSONTreeAuditResult

Full file
121family JSONTreeAuditResult : Type 0
122constructor JSONTreeAuditSucceeded
123field unrestricted jsonTreeAuditKind : (family JSONTreeKind)
124field unrestricted jsonTreeAuditCounts : (family JSONCounts)
125field unrestricted jsonTreeAuditMaximumDepth : Nat
126field unrestricted jsonTreeAuditSequenceCount : Nat
127constructor JSONTreeAuditFailed
128field unrestricted jsonTreeAuditError : (family JSONErrorCode)

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.