Idris2Doc : JSON.Derive

JSON.Derive

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