Idris2Doc : Prelude.Num

Prelude.Num

(*) : Numty => ty -> ty -> ty
Totality: total
Fixity Declaration: infixl operator, level 9
(+) : Numty => ty -> ty -> ty
Totality: total
Fixity Declaration: infixl operator, level 8
negate : Negty => ty -> ty
The underlying of unary minus. `-5` desugars to `negate (fromInteger 5)`.
Totality: total
Fixity Declaration: prefix operator, level 10
(-) : Negty => ty -> ty -> ty
Totality: total
Fixity Declarations:
infixl operator, level 8
prefix operator, level 10
(/) : Fractionalty => ty -> ty -> ty
Totality: total
Fixity Declaration: infixl operator, level 9
Abs : Type -> Type
Numbers for which the absolute value is defined should implement `Abs`.
Parameters: ty
Constraints: Num ty
Methods:
abs : ty -> ty
Absolute value.

Implementations:
Abs Integer
Abs Int
Abs Double
Fractional : Type -> Type
Parameters: ty
Constraints: Num ty
Methods:
(/) : ty -> ty -> ty
partial
recip : ty -> ty
partial

Implementation: 
Fractional Double
Integral : Type -> Type
Parameters: ty
Constraints: Num ty
Methods:
div : ty -> ty -> ty
partial
mod : ty -> ty -> ty
partial

Implementations:
Integral Integer
Integral Int
Neg : Type -> Type
The `Neg` interface defines operations on numbers which can be negative.
Parameters: ty
Constraints: Num ty
Methods:
negate : ty -> ty
The underlying of unary minus. `-5` desugars to `negate (fromInteger 5)`.
(-) : ty -> ty -> ty

Implementations:
Neg Integer
Neg Int
Neg Double
Num : Type -> Type
The Num interface defines basic numerical arithmetic.
Parameters: ty
Methods:
(+) : ty -> ty -> ty
(*) : ty -> ty -> ty
fromInteger : Integer -> ty
Conversion from Integer.

Implementations:
Num Integer
Num Int
Num Bits8
Num Bits16
Num Bits32
Num Bits64
Num Double
NumNat
abs : Absty => ty -> ty
Absolute value.
Totality: total
defaultInteger : Num Integer
Totality: total
div : Integralty => ty -> ty -> ty
Totality: total
Fixity Declaration: infixl operator, level 9
fromInteger : Numty => Integer -> ty
Conversion from Integer.
Totality: total
mod : Integralty => ty -> ty -> ty
Totality: total
Fixity Declaration: infixl operator, level 9
negate : Negty => ty -> ty
The underlying of unary minus. `-5` desugars to `negate (fromInteger 5)`.
Totality: total
Fixity Declaration: prefix operator, level 10
recip : Fractionalty => ty -> ty
Totality: total