Idris2Doc : JSON

JSON

(source)
Reexports
import public JSON.FromJSON
import public JSON.Option
import public JSON.Parser
import public JSON.ToJSON
import public JSON.Value