Idris2Doc : Language.JSON.Data

Language.JSON.Data

JSON : Type
Totality: total
Constructors:
JNull : JSON
JBoolean : Bool -> JSON
JNumber : Double -> JSON
JString : String -> JSON
JArray : ListJSON -> JSON
JObject : List (String, JSON) -> JSON
format : {defaultZ _ : Nat} -> Nat -> JSON -> String
Format a JSON value, indenting by `n` spaces per nesting level.

@curr The current indentation amount, measured in spaces.
@n The amount of spaces to indent per nesting level.
Totality: total