Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
UVMHS.Core.Classes.Arithmetic
Documentation
Instances
Instances
Plus ℕ Source # | |
Plus ℕ16 Source # | |
Plus ℕ32 Source # | |
Plus ℕ64 Source # | |
Plus ℕ8 Source # | |
Plus ℚ Source # | |
Plus ℚᴾ Source # | |
Plus ℝ Source # | |
Plus ℝᴾ Source # | |
Plus ℤ Source # | |
Plus ℤ16 Source # | |
Plus ℤ32 Source # | |
Plus ℤ64 Source # | |
Plus ℤ8 Source # | |
Plus 𝔹 Source # | |
Plus 𝔻 Source # | |
Plus 𝔻ᴾ Source # | |
Plus TimeD Source # | |
Plus MMSP Source # | |
Plus () Source # | |
Defined in UVMHS.Core.Data.Unit | |
Ord a => Plus (𝑃 a) Source # | |
Plus a => Plus (AddTop a) Source # | |
(Storable a, Plus a) => Plus (𝕌 a) Source # | |
Plus a => Plus (𝑉 a) Source # | |
Plus a => Plus (AddInf a) Source # | |
Plus a => Plus (AddZer a) Source # | |
(Ord k, Plus a) => Plus (k ⇰ a) Source # | |
(AllC 𝒩 ns, Plus a) => Plus (𝕄S ns a) Source # | |
(𝒩 n, Plus a) => Plus (𝕍S n a) Source # | |
Instances
Minus ℕ Source # | |
Minus ℕ16 Source # | |
Minus ℕ32 Source # | |
Minus ℕ64 Source # | |
Minus ℕ8 Source # | |
Minus ℚ Source # | |
Minus ℚᴾ Source # | |
Minus ℝ Source # | |
Minus ℝᴾ Source # | |
Minus ℤ Source # | |
Minus ℤ16 Source # | |
Minus ℤ32 Source # | |
Minus ℤ64 Source # | |
Minus ℤ8 Source # | |
Minus 𝔻 Source # | |
Minus 𝔻ᴾ Source # | |
(Storable a, Minus a) => Minus (𝕌 a) Source # | |
Instances
Instances
Times ℕ Source # | |
Times ℕ16 Source # | |
Times ℕ32 Source # | |
Times ℕ64 Source # | |
Times ℕ8 Source # | |
Times ℚ Source # | |
Times ℚᴾ Source # | |
Times ℝ Source # | |
Times ℝᴾ Source # | |
Times ℤ Source # | |
Times ℤ16 Source # | |
Times ℤ32 Source # | |
Times ℤ64 Source # | |
Times ℤ8 Source # | |
Times 𝔹 Source # | |
Times 𝔻 Source # | |
Times 𝔻ᴾ Source # | |
Times TimeD Source # | |
Times MMSP Source # | |
(Ord a, Plus a) => Times (𝑃 a) Source # | |
Times a => Times (AddTop a) Source # | |
(Storable a, Times a) => Times (𝕌 a) Source # | |
(Plus a, Times a) => Times (𝑉 a) Source # | |
Times a => Times (AddInf a) Source # | |
Times a => Times (AddZer a) Source # | |
(Ord k, Plus k, Plus a, Times a) => Times (k ⇰ a) Source # | |
(AllC 𝒩 ns, Times a) => Times (𝕄S ns a) Source # | |
(𝒩 n, Times a) => Times (𝕍S n a) Source # | |
Instances
DivMod ℕ Source # | |
DivMod ℕ16 Source # | |
DivMod ℕ32 Source # | |
DivMod ℕ64 Source # | |
DivMod ℕ8 Source # | |
DivMod ℤ Source # | |
DivMod ℤ16 Source # | |
DivMod ℤ32 Source # | |
DivMod ℤ64 Source # | |
DivMod ℤ8 Source # | |
(Storable a, DivMod a) => DivMod (𝕌 a) Source # | |
(DivMod a, Zero a) => DivMod (AddInf a) Source # | |
(DivMod a, Top a) => DivMod (AddZer a) Source # | |
Instances
Pon ℕ Source # | |
Pon ℕ16 Source # | |
Pon ℕ32 Source # | |
Pon ℕ64 Source # | |
Pon ℕ8 Source # | |
Pon ℚ Source # | |
Pon ℚᴾ Source # | |
Pon ℝ Source # | |
Pon ℝᴾ Source # | |
Pon ℤ Source # | |
Pon ℤ16 Source # | |
Pon ℤ32 Source # | |
Pon ℤ64 Source # | |
Pon ℤ8 Source # | |
Pon 𝔻 Source # | |
Pon 𝔻ᴾ Source # | |
Pon MMSP Source # | |
(Storable a, Pon a) => Pon (𝕌 a) Source # | |
(Pon a, One a) => Pon (AddInf a) Source # | |
Pon a => Pon (AddZer a) Source # | |
class (Zero a, Plus a) => Additive a Source #
Instances
class (Additive a, One a, Times a) => Multiplicative a Source #
Instances
(⨵) :: (Functor f, Multiplicative a) => a -> f a -> f a infixl 6 Source #
(⨴) :: (Functor f, Multiplicative a) => f a -> a -> f a Source #
class ToNatO16 a where Source #
Instances
class ToNatO8 a where Source #
Instances
class ToIntO8 a where Source #
Instances
class ToRational a where Source #
Instances
class ToRationalᴾ a where Source #
Instances
class ToRationalᴾO a where Source #
class ToDouble a where Source #
Instances
class ToDoubleᴾO a where Source #
Instances
class ToNumber a where Source #
Instances
class ToNumberᴾO a where Source #