Idris2Doc : JSON.Simple.Derive

JSON.Simple.Derive

(source)
Reexports
import public Derive.FromJSON.Simple
import public Derive.Prelude
import public Derive.ToJSON.Simple
import public JSON.Simple