UVMHS.Core.Data.Arithmetic
Contents
zabs :: ℤ -> ℕ Source #
qabs :: ℚ -> ℚᴾ Source #
numer :: ℚ -> ℤ Source #
denom :: ℚ -> ℕ Source #
numerᴾ :: ℚᴾ -> ℕ Source #
denomᴾ :: ℚᴾ -> ℕ Source #
truncate :: 𝔻 -> ℤ Source #
ceiling :: 𝔻 -> ℤ Source #
floor :: 𝔻 -> ℤ Source #
truncateᴾ :: 𝔻ᴾ -> ℕ Source #
ceilingᴾ :: 𝔻ᴾ -> ℕ Source #
floorᴾ :: 𝔻ᴾ -> ℕ Source #
minus𝔻ᴾ :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
numberBOp :: (ℤ -> ℤ -> ℝ) -> (ℚ -> ℚ -> ℝ) -> (𝔻 -> 𝔻 -> ℝ) -> ℝ -> ℝ -> ℝ Source #
numberBOpᴾ :: (ℕ -> ℕ -> ℝᴾ) -> (ℚᴾ -> ℚᴾ -> ℝᴾ) -> (𝔻ᴾ -> 𝔻ᴾ -> ℝᴾ) -> ℝᴾ -> ℝᴾ -> ℝᴾ Source #
Methods
cos :: ℝ -> ℝ Source #
cos :: 𝔻 -> 𝔻 Source #
cos :: 𝔻ᴾ -> 𝔻ᴾ Source #
(⌿) :: ℕ -> ℕ -> ℕ Source #
(÷) :: ℕ -> ℕ -> ℕ Source #
(⌿) :: ℕ16 -> ℕ16 -> ℕ16 Source #
(÷) :: ℕ16 -> ℕ16 -> ℕ16 Source #
(⌿) :: ℕ32 -> ℕ32 -> ℕ32 Source #
(÷) :: ℕ32 -> ℕ32 -> ℕ32 Source #
(⌿) :: ℕ64 -> ℕ64 -> ℕ64 Source #
(÷) :: ℕ64 -> ℕ64 -> ℕ64 Source #
(⌿) :: ℕ8 -> ℕ8 -> ℕ8 Source #
(÷) :: ℕ8 -> ℕ8 -> ℕ8 Source #
(⌿) :: ℤ -> ℤ -> ℤ Source #
(÷) :: ℤ -> ℤ -> ℤ Source #
(⌿) :: ℤ16 -> ℤ16 -> ℤ16 Source #
(÷) :: ℤ16 -> ℤ16 -> ℤ16 Source #
(⌿) :: ℤ32 -> ℤ32 -> ℤ32 Source #
(÷) :: ℤ32 -> ℤ32 -> ℤ32 Source #
(⌿) :: ℤ64 -> ℤ64 -> ℤ64 Source #
(÷) :: ℤ64 -> ℤ64 -> ℤ64 Source #
(⌿) :: ℤ8 -> ℤ8 -> ℤ8 Source #
(÷) :: ℤ8 -> ℤ8 -> ℤ8 Source #
(/) :: ℚ -> ℚ -> ℚ Source #
(/) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
(/) :: ℝ -> ℝ -> ℝ Source #
(/) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
(/) :: 𝔻 -> 𝔻 -> 𝔻 Source #
(/) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
efn :: ℝ -> ℝ Source #
efn :: 𝔻 -> 𝔻 Source #
efn :: 𝔻ᴾ -> 𝔻ᴾ Source #
log :: ℝ -> ℝ Source #
log :: ℝᴾ -> ℝᴾ Source #
log :: 𝔻 -> 𝔻 Source #
log :: 𝔻ᴾ -> 𝔻ᴾ Source #
(-) :: ℕ -> ℕ -> ℕ Source #
(-) :: ℕ16 -> ℕ16 -> ℕ16 Source #
(-) :: ℕ32 -> ℕ32 -> ℕ32 Source #
(-) :: ℕ64 -> ℕ64 -> ℕ64 Source #
(-) :: ℕ8 -> ℕ8 -> ℕ8 Source #
(-) :: ℚ -> ℚ -> ℚ Source #
(-) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
(-) :: ℝ -> ℝ -> ℝ Source #
(-) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
(-) :: ℤ -> ℤ -> ℤ Source #
(-) :: ℤ16 -> ℤ16 -> ℤ16 Source #
(-) :: ℤ32 -> ℤ32 -> ℤ32 Source #
(-) :: ℤ64 -> ℤ64 -> ℤ64 Source #
(-) :: ℤ8 -> ℤ8 -> ℤ8 Source #
(-) :: 𝔻 -> 𝔻 -> 𝔻 Source #
(-) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
one :: ℕ Source #
one :: ℕ16 Source #
one :: ℕ32 Source #
one :: ℕ64 Source #
one :: ℕ8 Source #
one :: ℚ Source #
one :: ℚᴾ Source #
one :: ℝ Source #
one :: ℝᴾ Source #
one :: ℤ Source #
one :: ℤ16 Source #
one :: ℤ32 Source #
one :: ℤ64 Source #
one :: ℤ8 Source #
one :: 𝔻 Source #
one :: 𝔻ᴾ Source #
(+) :: ℕ -> ℕ -> ℕ Source #
(+) :: ℕ16 -> ℕ16 -> ℕ16 Source #
(+) :: ℕ32 -> ℕ32 -> ℕ32 Source #
(+) :: ℕ64 -> ℕ64 -> ℕ64 Source #
(+) :: ℕ8 -> ℕ8 -> ℕ8 Source #
(+) :: ℚ -> ℚ -> ℚ Source #
(+) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
(+) :: ℝ -> ℝ -> ℝ Source #
(+) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
(+) :: ℤ -> ℤ -> ℤ Source #
(+) :: ℤ16 -> ℤ16 -> ℤ16 Source #
(+) :: ℤ32 -> ℤ32 -> ℤ32 Source #
(+) :: ℤ64 -> ℤ64 -> ℤ64 Source #
(+) :: ℤ8 -> ℤ8 -> ℤ8 Source #
(+) :: 𝔻 -> 𝔻 -> 𝔻 Source #
(+) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
(^^) :: ℕ -> ℕ -> ℕ Source #
(^^) :: ℕ16 -> ℕ -> ℕ16 Source #
(^^) :: ℕ32 -> ℕ -> ℕ32 Source #
(^^) :: ℕ64 -> ℕ -> ℕ64 Source #
(^^) :: ℕ8 -> ℕ -> ℕ8 Source #
(^^) :: ℚ -> ℕ -> ℚ Source #
(^^) :: ℚᴾ -> ℕ -> ℚᴾ Source #
(^^) :: ℝ -> ℕ -> ℝ Source #
(^^) :: ℝᴾ -> ℕ -> ℝᴾ Source #
(^^) :: ℤ -> ℕ -> ℤ Source #
(^^) :: ℤ16 -> ℕ -> ℤ16 Source #
(^^) :: ℤ32 -> ℕ -> ℤ32 Source #
(^^) :: ℤ64 -> ℕ -> ℤ64 Source #
(^^) :: ℤ8 -> ℕ -> ℤ8 Source #
(^^) :: 𝔻 -> ℕ -> 𝔻 Source #
(^^) :: 𝔻ᴾ -> ℕ -> 𝔻ᴾ Source #
(^) :: ℕ -> ℕ -> ℕ Source #
(^) :: ℕ16 -> ℕ16 -> ℕ16 Source #
(^) :: ℕ32 -> ℕ32 -> ℕ32 Source #
(^) :: ℕ64 -> ℕ64 -> ℕ64 Source #
(^) :: ℕ8 -> ℕ8 -> ℕ8 Source #
(^) :: ℝ -> ℝ -> ℝ Source #
(^) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
(^) :: 𝔻 -> 𝔻 -> 𝔻 Source #
(^) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
root :: ℝ -> ℝ Source #
root :: ℝᴾ -> ℝᴾ Source #
root :: 𝔻 -> 𝔻 Source #
root :: 𝔻ᴾ -> 𝔻ᴾ Source #
sin :: ℝ -> ℝ Source #
sin :: 𝔻 -> 𝔻 Source #
sin :: 𝔻ᴾ -> 𝔻ᴾ Source #
(×) :: ℕ -> ℕ -> ℕ Source #
(×) :: ℕ16 -> ℕ16 -> ℕ16 Source #
(×) :: ℕ32 -> ℕ32 -> ℕ32 Source #
(×) :: ℕ64 -> ℕ64 -> ℕ64 Source #
(×) :: ℕ8 -> ℕ8 -> ℕ8 Source #
(×) :: ℚ -> ℚ -> ℚ Source #
(×) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
(×) :: ℝ -> ℝ -> ℝ Source #
(×) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
(×) :: ℤ -> ℤ -> ℤ Source #
(×) :: ℤ16 -> ℤ16 -> ℤ16 Source #
(×) :: ℤ32 -> ℤ32 -> ℤ32 Source #
(×) :: ℤ64 -> ℤ64 -> ℤ64 Source #
(×) :: ℤ8 -> ℤ8 -> ℤ8 Source #
(×) :: 𝔻 -> 𝔻 -> 𝔻 Source #
(×) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
dbl :: ℕ -> 𝔻 Source #
dbl :: ℕ16 -> 𝔻 Source #
dbl :: ℕ32 -> 𝔻 Source #
dbl :: ℕ64 -> 𝔻 Source #
dbl :: ℕ8 -> 𝔻 Source #
dbl :: ℚ -> 𝔻 Source #
dbl :: ℚᴾ -> 𝔻 Source #
dbl :: ℝ -> 𝔻 Source #
dbl :: ℝᴾ -> 𝔻 Source #
dbl :: ℤ -> 𝔻 Source #
dbl :: ℤ16 -> 𝔻 Source #
dbl :: ℤ32 -> 𝔻 Source #
dbl :: ℤ64 -> 𝔻 Source #
dbl :: ℤ8 -> 𝔻 Source #
dbl :: 𝔻 -> 𝔻 Source #
dbl :: 𝔻ᴾ -> 𝔻 Source #
dblᴾ :: ℕ -> 𝔻ᴾ Source #
dblᴾ :: ℕ16 -> 𝔻ᴾ Source #
dblᴾ :: ℕ32 -> 𝔻ᴾ Source #
dblᴾ :: ℕ64 -> 𝔻ᴾ Source #
dblᴾ :: ℕ8 -> 𝔻ᴾ Source #
dblᴾ :: ℚᴾ -> 𝔻ᴾ Source #
dblᴾ :: ℝᴾ -> 𝔻ᴾ Source #
dblᴾ :: 𝔻ᴾ -> 𝔻ᴾ Source #
dblᴾO :: ℚ -> 𝑂 𝔻ᴾ Source #
dblᴾO :: ℝ -> 𝑂 𝔻ᴾ Source #
dblᴾO :: ℤ -> 𝑂 𝔻ᴾ Source #
dblᴾO :: ℤ16 -> 𝑂 𝔻ᴾ Source #
dblᴾO :: ℤ32 -> 𝑂 𝔻ᴾ Source #
dblᴾO :: ℤ64 -> 𝑂 𝔻ᴾ Source #
dblᴾO :: ℤ8 -> 𝑂 𝔻ᴾ Source #
dblᴾO :: 𝔻 -> 𝑂 𝔻ᴾ Source #
int :: ℕ -> ℤ Source #
int :: ℕ16 -> ℤ Source #
int :: ℕ32 -> ℤ Source #
int :: ℕ64 -> ℤ Source #
int :: ℕ8 -> ℤ Source #
int :: ℤ -> ℤ Source #
int :: ℤ16 -> ℤ Source #
int :: ℤ32 -> ℤ Source #
int :: ℤ64 -> ℤ Source #
int :: ℤ8 -> ℤ Source #
int16 :: ℕ8 -> ℤ16 Source #
int16 :: ℤ16 -> ℤ16 Source #
int16 :: ℤ8 -> ℤ16 Source #
int32 :: ℕ16 -> ℤ32 Source #
int32 :: ℕ8 -> ℤ32 Source #
int32 :: ℤ16 -> ℤ32 Source #
int32 :: ℤ32 -> ℤ32 Source #
int32 :: ℤ8 -> ℤ32 Source #
int64 :: ℕ16 -> ℤ64 Source #
int64 :: ℕ32 -> ℤ64 Source #
int64 :: ℕ8 -> ℤ64 Source #
int64 :: ℤ16 -> ℤ64 Source #
int64 :: ℤ32 -> ℤ64 Source #
int64 :: ℤ64 -> ℤ64 Source #
int64 :: ℤ8 -> ℤ64 Source #
int8 :: ℤ8 -> ℤ8 Source #
intO :: ℚ -> 𝑂 ℤ Source #
intO :: ℚᴾ -> 𝑂 ℤ Source #
intO :: ℝ -> 𝑂 ℤ Source #
intO :: ℝᴾ -> 𝑂 ℤ Source #
intO :: 𝔻 -> 𝑂 ℤ Source #
intO :: 𝔻ᴾ -> 𝑂 ℤ Source #
intO16 :: ℕ -> 𝑂 ℤ16 Source #
intO16 :: ℕ16 -> 𝑂 ℤ16 Source #
intO16 :: ℕ32 -> 𝑂 ℤ16 Source #
intO16 :: ℕ64 -> 𝑂 ℤ16 Source #
intO16 :: ℚ -> 𝑂 ℤ16 Source #
intO16 :: ℚᴾ -> 𝑂 ℤ16 Source #
intO16 :: ℝ -> 𝑂 ℤ16 Source #
intO16 :: ℝᴾ -> 𝑂 ℤ16 Source #
intO16 :: ℤ -> 𝑂 ℤ16 Source #
intO16 :: ℤ32 -> 𝑂 ℤ16 Source #
intO16 :: ℤ64 -> 𝑂 ℤ16 Source #
intO16 :: 𝔻 -> 𝑂 ℤ16 Source #
intO16 :: 𝔻ᴾ -> 𝑂 ℤ16 Source #
intO32 :: ℕ -> 𝑂 ℤ32 Source #
intO32 :: ℕ32 -> 𝑂 ℤ32 Source #
intO32 :: ℕ64 -> 𝑂 ℤ32 Source #
intO32 :: ℚ -> 𝑂 ℤ32 Source #
intO32 :: ℚᴾ -> 𝑂 ℤ32 Source #
intO32 :: ℝ -> 𝑂 ℤ32 Source #
intO32 :: ℝᴾ -> 𝑂 ℤ32 Source #
intO32 :: ℤ -> 𝑂 ℤ32 Source #
intO32 :: ℤ64 -> 𝑂 ℤ32 Source #
intO32 :: 𝔻 -> 𝑂 ℤ32 Source #
intO32 :: 𝔻ᴾ -> 𝑂 ℤ32 Source #
intO64 :: ℕ -> 𝑂 ℤ64 Source #
intO64 :: ℕ64 -> 𝑂 ℤ64 Source #
intO64 :: ℚ -> 𝑂 ℤ64 Source #
intO64 :: ℚᴾ -> 𝑂 ℤ64 Source #
intO64 :: ℝ -> 𝑂 ℤ64 Source #
intO64 :: ℝᴾ -> 𝑂 ℤ64 Source #
intO64 :: ℤ -> 𝑂 ℤ64 Source #
intO64 :: 𝔻 -> 𝑂 ℤ64 Source #
intO64 :: 𝔻ᴾ -> 𝑂 ℤ64 Source #
intO8 :: ℕ -> 𝑂 ℤ8 Source #
intO8 :: ℕ16 -> 𝑂 ℤ8 Source #
intO8 :: ℕ32 -> 𝑂 ℤ8 Source #
intO8 :: ℕ64 -> 𝑂 ℤ8 Source #
intO8 :: ℕ8 -> 𝑂 ℤ8 Source #
intO8 :: ℚ -> 𝑂 ℤ8 Source #
intO8 :: ℚᴾ -> 𝑂 ℤ8 Source #
intO8 :: ℝ -> 𝑂 ℤ8 Source #
intO8 :: ℝᴾ -> 𝑂 ℤ8 Source #
intO8 :: ℤ -> 𝑂 ℤ8 Source #
intO8 :: ℤ16 -> 𝑂 ℤ8 Source #
intO8 :: ℤ32 -> 𝑂 ℤ8 Source #
intO8 :: ℤ64 -> 𝑂 ℤ8 Source #
intO8 :: 𝔻 -> 𝑂 ℤ8 Source #
intO8 :: 𝔻ᴾ -> 𝑂 ℤ8 Source #
nat :: ℕ -> ℕ Source #
nat :: ℕ16 -> ℕ Source #
nat :: ℕ32 -> ℕ Source #
nat :: ℕ64 -> ℕ Source #
nat :: ℕ8 -> ℕ Source #
nat16 :: ℕ16 -> ℕ16 Source #
nat16 :: ℕ8 -> ℕ16 Source #
nat32 :: ℕ16 -> ℕ32 Source #
nat32 :: ℕ32 -> ℕ32 Source #
nat32 :: ℕ8 -> ℕ32 Source #
nat64 :: ℕ16 -> ℕ64 Source #
nat64 :: ℕ32 -> ℕ64 Source #
nat64 :: ℕ64 -> ℕ64 Source #
nat64 :: ℕ8 -> ℕ64 Source #
nat8 :: ℕ8 -> ℕ8 Source #
natO :: ℚ -> 𝑂 ℕ Source #
natO :: ℚᴾ -> 𝑂 ℕ Source #
natO :: ℝ -> 𝑂 ℕ Source #
natO :: ℝᴾ -> 𝑂 ℕ Source #
natO :: ℤ -> 𝑂 ℕ Source #
natO :: ℤ16 -> 𝑂 ℕ Source #
natO :: ℤ32 -> 𝑂 ℕ Source #
natO :: ℤ64 -> 𝑂 ℕ Source #
natO :: ℤ8 -> 𝑂 ℕ Source #
natO :: 𝔻 -> 𝑂 ℕ Source #
natO :: 𝔻ᴾ -> 𝑂 ℕ Source #
natO16 :: ℕ -> 𝑂 ℕ16 Source #
natO16 :: ℕ32 -> 𝑂 ℕ16 Source #
natO16 :: ℕ64 -> 𝑂 ℕ16 Source #
natO16 :: ℚ -> 𝑂 ℕ16 Source #
natO16 :: ℚᴾ -> 𝑂 ℕ16 Source #
natO16 :: ℝ -> 𝑂 ℕ16 Source #
natO16 :: ℝᴾ -> 𝑂 ℕ16 Source #
natO16 :: ℤ -> 𝑂 ℕ16 Source #
natO16 :: ℤ16 -> 𝑂 ℕ16 Source #
natO16 :: ℤ32 -> 𝑂 ℕ16 Source #
natO16 :: ℤ64 -> 𝑂 ℕ16 Source #
natO16 :: ℤ8 -> 𝑂 ℕ16 Source #
natO16 :: 𝔻 -> 𝑂 ℕ16 Source #
natO16 :: 𝔻ᴾ -> 𝑂 ℕ16 Source #
natO32 :: ℕ -> 𝑂 ℕ32 Source #
natO32 :: ℕ64 -> 𝑂 ℕ32 Source #
natO32 :: ℚ -> 𝑂 ℕ32 Source #
natO32 :: ℚᴾ -> 𝑂 ℕ32 Source #
natO32 :: ℝ -> 𝑂 ℕ32 Source #
natO32 :: ℝᴾ -> 𝑂 ℕ32 Source #
natO32 :: ℤ -> 𝑂 ℕ32 Source #
natO32 :: ℤ16 -> 𝑂 ℕ32 Source #
natO32 :: ℤ32 -> 𝑂 ℕ32 Source #
natO32 :: ℤ64 -> 𝑂 ℕ32 Source #
natO32 :: ℤ8 -> 𝑂 ℕ32 Source #
natO32 :: 𝔻 -> 𝑂 ℕ32 Source #
natO32 :: 𝔻ᴾ -> 𝑂 ℕ32 Source #
natO64 :: ℕ -> 𝑂 ℕ64 Source #
natO64 :: ℚ -> 𝑂 ℕ64 Source #
natO64 :: ℚᴾ -> 𝑂 ℕ64 Source #
natO64 :: ℝ -> 𝑂 ℕ64 Source #
natO64 :: ℝᴾ -> 𝑂 ℕ64 Source #
natO64 :: ℤ -> 𝑂 ℕ64 Source #
natO64 :: ℤ16 -> 𝑂 ℕ64 Source #
natO64 :: ℤ32 -> 𝑂 ℕ64 Source #
natO64 :: ℤ64 -> 𝑂 ℕ64 Source #
natO64 :: ℤ8 -> 𝑂 ℕ64 Source #
natO64 :: 𝔻 -> 𝑂 ℕ64 Source #
natO64 :: 𝔻ᴾ -> 𝑂 ℕ64 Source #
natO8 :: ℕ -> 𝑂 ℕ8 Source #
natO8 :: ℕ16 -> 𝑂 ℕ8 Source #
natO8 :: ℕ32 -> 𝑂 ℕ8 Source #
natO8 :: ℕ64 -> 𝑂 ℕ8 Source #
natO8 :: ℚ -> 𝑂 ℕ8 Source #
natO8 :: ℚᴾ -> 𝑂 ℕ8 Source #
natO8 :: ℝ -> 𝑂 ℕ8 Source #
natO8 :: ℝᴾ -> 𝑂 ℕ8 Source #
natO8 :: ℤ -> 𝑂 ℕ8 Source #
natO8 :: ℤ16 -> 𝑂 ℕ8 Source #
natO8 :: ℤ32 -> 𝑂 ℕ8 Source #
natO8 :: ℤ64 -> 𝑂 ℕ8 Source #
natO8 :: ℤ8 -> 𝑂 ℕ8 Source #
natO8 :: 𝔻 -> 𝑂 ℕ8 Source #
natO8 :: 𝔻ᴾ -> 𝑂 ℕ8 Source #
num :: ℕ -> ℝ Source #
num :: ℕ16 -> ℝ Source #
num :: ℕ32 -> ℝ Source #
num :: ℕ64 -> ℝ Source #
num :: ℕ8 -> ℝ Source #
num :: ℚ -> ℝ Source #
num :: ℚᴾ -> ℝ Source #
num :: ℤ -> ℝ Source #
num :: ℤ16 -> ℝ Source #
num :: ℤ32 -> ℝ Source #
num :: ℤ64 -> ℝ Source #
num :: ℤ8 -> ℝ Source #
num :: 𝔻 -> ℝ Source #
num :: 𝔻ᴾ -> ℝ Source #
numᴾ :: ℕ -> ℝᴾ Source #
numᴾ :: ℕ16 -> ℝᴾ Source #
numᴾ :: ℕ32 -> ℝᴾ Source #
numᴾ :: ℕ64 -> ℝᴾ Source #
numᴾ :: ℕ8 -> ℝᴾ Source #
numᴾ :: ℚᴾ -> ℝᴾ Source #
numᴾ :: 𝔻ᴾ -> ℝᴾ Source #
numᴾO :: ℚ -> 𝑂 ℝᴾ Source #
numᴾO :: ℤ -> 𝑂 ℝᴾ Source #
numᴾO :: ℤ16 -> 𝑂 ℝᴾ Source #
numᴾO :: ℤ32 -> 𝑂 ℝᴾ Source #
numᴾO :: ℤ64 -> 𝑂 ℝᴾ Source #
numᴾO :: ℤ8 -> 𝑂 ℝᴾ Source #
numᴾO :: 𝔻 -> 𝑂 ℝᴾ Source #
rat :: ℕ -> ℚ Source #
rat :: ℕ16 -> ℚ Source #
rat :: ℕ32 -> ℚ Source #
rat :: ℕ64 -> ℚ Source #
rat :: ℕ8 -> ℚ Source #
rat :: ℚ -> ℚ Source #
rat :: ℚᴾ -> ℚ Source #
rat :: ℝ -> ℚ Source #
rat :: ℝᴾ -> ℚ Source #
rat :: ℤ -> ℚ Source #
rat :: ℤ16 -> ℚ Source #
rat :: ℤ32 -> ℚ Source #
rat :: ℤ64 -> ℚ Source #
rat :: ℤ8 -> ℚ Source #
rat :: 𝔻 -> ℚ Source #
rat :: 𝔻ᴾ -> ℚ Source #
ratᴾ :: ℕ -> ℚᴾ Source #
ratᴾ :: ℕ16 -> ℚᴾ Source #
ratᴾ :: ℕ32 -> ℚᴾ Source #
ratᴾ :: ℕ64 -> ℚᴾ Source #
ratᴾ :: ℕ8 -> ℚᴾ Source #
ratᴾ :: ℚᴾ -> ℚᴾ Source #
ratᴾO :: ℚ -> 𝑂 ℚᴾ Source #
ratᴾO :: ℝ -> 𝑂 ℚᴾ Source #
ratᴾO :: ℝᴾ -> 𝑂 ℚᴾ Source #
ratᴾO :: ℤ -> 𝑂 ℚᴾ Source #
ratᴾO :: ℤ16 -> 𝑂 ℚᴾ Source #
ratᴾO :: ℤ32 -> 𝑂 ℚᴾ Source #
ratᴾO :: ℤ64 -> 𝑂 ℚᴾ Source #
ratᴾO :: ℤ8 -> 𝑂 ℚᴾ Source #
ratᴾO :: 𝔻 -> 𝑂 ℚᴾ Source #
ratᴾO :: 𝔻ᴾ -> 𝑂 ℚᴾ Source #
zero :: ℕ Source #
zero :: ℕ16 Source #
zero :: ℕ32 Source #
zero :: ℕ64 Source #
zero :: ℕ8 Source #
zero :: ℚ Source #
zero :: ℚᴾ Source #
zero :: ℝ Source #
zero :: ℝᴾ Source #
zero :: ℤ Source #
zero :: ℤ16 Source #
zero :: ℤ32 Source #
zero :: ℤ64 Source #
zero :: ℤ8 Source #
zero :: 𝔻 Source #
zero :: 𝔻ᴾ Source #
bot :: ℕ Source #
bot :: ℕ16 Source #
bot :: ℕ32 Source #
bot :: ℕ64 Source #
bot :: ℕ8 Source #
bot :: ℚ Source #
bot :: ℚᴾ Source #
bot :: ℝ Source #
bot :: ℝᴾ Source #
bot :: ℤ16 Source #
bot :: ℤ32 Source #
bot :: ℤ64 Source #
bot :: ℤ8 Source #
bot :: 𝔻 Source #
bot :: 𝔻ᴾ Source #
(⊔) :: ℕ -> ℕ -> ℕ Source #
(⊔) :: ℕ16 -> ℕ16 -> ℕ16 Source #
(⊔) :: ℕ32 -> ℕ32 -> ℕ32 Source #
(⊔) :: ℕ64 -> ℕ64 -> ℕ64 Source #
(⊔) :: ℕ8 -> ℕ8 -> ℕ8 Source #
(⊔) :: ℚ -> ℚ -> ℚ Source #
(⊔) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
(⊔) :: ℝ -> ℝ -> ℝ Source #
(⊔) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
(⊔) :: ℤ -> ℤ -> ℤ Source #
(⊔) :: ℤ16 -> ℤ16 -> ℤ16 Source #
(⊔) :: ℤ32 -> ℤ32 -> ℤ32 Source #
(⊔) :: ℤ64 -> ℤ64 -> ℤ64 Source #
(⊔) :: ℤ8 -> ℤ8 -> ℤ8 Source #
(⊔) :: 𝔻 -> 𝔻 -> 𝔻 Source #
(⊔) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
(⊓) :: ℕ -> ℕ -> ℕ Source #
(⊓) :: ℕ16 -> ℕ16 -> ℕ16 Source #
(⊓) :: ℕ32 -> ℕ32 -> ℕ32 Source #
(⊓) :: ℕ64 -> ℕ64 -> ℕ64 Source #
(⊓) :: ℕ8 -> ℕ8 -> ℕ8 Source #
(⊓) :: ℚ -> ℚ -> ℚ Source #
(⊓) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
(⊓) :: ℝ -> ℝ -> ℝ Source #
(⊓) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
(⊓) :: ℤ -> ℤ -> ℤ Source #
(⊓) :: ℤ16 -> ℤ16 -> ℤ16 Source #
(⊓) :: ℤ32 -> ℤ32 -> ℤ32 Source #
(⊓) :: ℤ64 -> ℤ64 -> ℤ64 Source #
(⊓) :: ℤ8 -> ℤ8 -> ℤ8 Source #
(⊓) :: 𝔻 -> 𝔻 -> 𝔻 Source #
(⊓) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
top :: ℕ16 Source #
top :: ℕ32 Source #
top :: ℕ64 Source #
top :: ℕ8 Source #
top :: ℤ16 Source #
top :: ℤ32 Source #
top :: ℤ64 Source #
top :: ℤ8 Source #
top :: 𝔻 Source #
top :: 𝔻ᴾ Source #
(⧺) :: ℕ -> ℕ -> ℕ Source #
(⧺) :: ℕ16 -> ℕ16 -> ℕ16 Source #
(⧺) :: ℕ32 -> ℕ32 -> ℕ32 Source #
(⧺) :: ℕ64 -> ℕ64 -> ℕ64 Source #
(⧺) :: ℕ8 -> ℕ8 -> ℕ8 Source #
(⧺) :: ℚ -> ℚ -> ℚ Source #
(⧺) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
(⧺) :: ℝ -> ℝ -> ℝ Source #
(⧺) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
(⧺) :: ℤ -> ℤ -> ℤ Source #
(⧺) :: ℤ16 -> ℤ16 -> ℤ16 Source #
(⧺) :: ℤ32 -> ℤ32 -> ℤ32 Source #
(⧺) :: ℤ64 -> ℤ64 -> ℤ64 Source #
(⧺) :: ℤ8 -> ℤ8 -> ℤ8 Source #
(⧺) :: 𝔻 -> 𝔻 -> 𝔻 Source #
(⧺) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
null :: ℕ Source #
null :: ℕ16 Source #
null :: ℕ32 Source #
null :: ℕ64 Source #
null :: ℕ8 Source #
null :: ℚ Source #
null :: ℚᴾ Source #
null :: ℝ Source #
null :: ℝᴾ Source #
null :: ℤ Source #
null :: ℤ16 Source #
null :: ℤ32 Source #
null :: ℤ64 Source #
null :: ℤ8 Source #
null :: 𝔻 Source #
null :: 𝔻ᴾ Source #