/Prelude-v23.1.0/JSON

Exported files:

• Format
• Format.dhall
• Nesting
• Nesting.dhall:

  Type
  

• Tagged
• Tagged.dhall:

  Type → Type
  

• Type
• Type.dhall:

  Type
  

• array
• array.dhall:

  List JSON → JSON
  

• bool
• bool.dhall:

  Bool → JSON
  

• core.dhall
• double
• double.dhall:

  Double → JSON
  

• integer
• integer.dhall:

  Integer → JSON
  

• keyText
• keyText.dhall
• keyValue
• keyValue.dhall
• natural
• natural.dhall:

  Natural → JSON
  

• null
• null.dhall:

  JSON
  

• number
• number.dhall:

  Double → JSON
  

• object
• object.dhall:

  List { mapKey : Text, mapValue : JSON } → JSON
  

• omitNullFields
• omitNullFields.dhall:

  JSON.Type → JSON.Type
  

• package.dhall
• render
• render.dhall:

  JSON.Type → Text
  

• renderAs
• renderAs.dhall:

  Format → JSON.Type → Text
  

• renderCompact.dhall:

  JSON.Type → Text
  

• renderInteger.dhall:

  Integer → Text
  

• renderYAML
• renderYAML.dhall:

  JSON.Type → Text
  

• string
• string.dhall:

  Text → JSON
  

• tagInline
• tagInline.dhall:

  Text → ∀(a : Type) → a → Tagged a
  

• tagNested
• tagNested.dhall:

  Text → Text → ∀(a : Type) → a → Tagged a