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.