Idris2Doc : Language.JSON

Language.JSON

The JSON language, as described at https://json.org/

Reexports

import public Language.JSON.Data
import public Text.Bounded

Definitions

parse : String -> Maybe JSON
  Parse a JSON string.

Totality: total
Visibility: export