IdrisDoc: Language.JSON.Data

Language.JSON.Data

data JSON : Type
JNull : JSON
JBoolean : Bool -> JSON
JNumber : Double -> JSON
JString : String -> JSON
JArray : List JSON -> JSON
JObject : List (String, JSON) -> JSON
format : {default (|fromInteger 0 , 0 , 0 , 0 , 0 , 0 , 0 , |) curr : Nat} -> (n : 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.