Idris2Doc : Derive.Prelude

Derive.Prelude

(source)
Reexports
import public Derive.Abs
import public Derive.Eq
import public Derive.Fractional
import public Derive.FromChar
import public Derive.FromDouble
import public Derive.FromString
import public Derive.Integral
import public Derive.Monoid
import public Derive.Neg
import public Derive.Num
import public Derive.Ord
import public Derive.Semigroup
import public Derive.Show
import public Language.Reflection.Util