Idris2Doc : JSON.Simple.Derive

JSON.Simple.Derive

(source)

Reexports

importpublic Derive.FromJSON.Simple
importpublic Derive.Prelude
importpublic Derive.ToJSON.Simple
importpublic JSON.Simple