Types.Data.Num.Ops
data ds :. d
type family Neg x
type family IsPositive x
type family IsZero x
type family IsNegative x
type family Succ x
type family Pred x
type family IsEven x
type family IsOdd x
type family x :+: y
type family x :-: y
type family x :*: y
type family Mul2 x
type family Pow2 x
type family DivMod x y
type family Div x y
type family Mod x y
type family Div2 x
type family Fac x
class IntegerR r
class IntegerT x
class NaturalT x
class PositiveT x
class NegativeT x