Safe Haskell	None
Language	Haskell2010

UVMHS.Core.Classes.Arithmetic

Documentation

class Zero a where Source #

Methods

zero :: a Source #

Instances

Instances details

Zero ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℕ Source #
Zero ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℕ16 Source #
Zero ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℕ32 Source #
Zero ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℕ64 Source #
Zero ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℕ8 Source #
Zero ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℚ Source #
Zero ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℚᴾ Source #
Zero ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℝ Source #
Zero ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℝᴾ Source #
Zero ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℤ Source #
Zero ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℤ16 Source #
Zero ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℤ32 Source #
Zero ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℤ64 Source #
Zero ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: ℤ8 Source #
Zero 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool Methods zero :: 𝔹 Source #
Zero 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: 𝔻 Source #
Zero 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods zero :: 𝔻ᴾ Source #
Zero TimeD Source #
Instance details Defined in UVMHS.Core.Time Methods zero :: TimeD Source #
Zero MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP Methods zero :: MMSP Source #
Zero () Source #
Instance details Defined in UVMHS.Core.Data.Unit Methods zero :: () Source #
Zero (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods zero :: 𝑃 a Source #
Zero a => Zero (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods zero :: AddTop a Source #
Zero (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse Methods zero :: 𝑉 a Source #
Zero a => Zero (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods zero :: AddInf a Source #
Zero (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods zero :: AddZer a Source #
Zero (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods zero :: k ⇰ a Source #
(HasSpine ns, AllC 𝒩 ns, Zero a) => Zero (𝕄S ns a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods zero :: 𝕄S ns a Source #
(𝒩 n, Zero a) => Zero (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods zero :: 𝕍S n a Source #

class Plus a where Source #

Methods

(+) :: a -> a -> a infixl 5 Source #

Instances

Instances details

Plus ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℕ -> ℕ -> ℕ Source #
Plus ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℕ16 -> ℕ16 -> ℕ16 Source #
Plus ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℕ32 -> ℕ32 -> ℕ32 Source #
Plus ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℕ64 -> ℕ64 -> ℕ64 Source #
Plus ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℕ8 -> ℕ8 -> ℕ8 Source #
Plus ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℚ -> ℚ -> ℚ Source #
Plus ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
Plus ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℝ -> ℝ -> ℝ Source #
Plus ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
Plus ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℤ -> ℤ -> ℤ Source #
Plus ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℤ16 -> ℤ16 -> ℤ16 Source #
Plus ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℤ32 -> ℤ32 -> ℤ32 Source #
Plus ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℤ64 -> ℤ64 -> ℤ64 Source #
Plus ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: ℤ8 -> ℤ8 -> ℤ8 Source #
Plus 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool Methods (+) :: 𝔹 -> 𝔹 -> 𝔹 Source #
Plus 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: 𝔻 -> 𝔻 -> 𝔻 Source #
Plus 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (+) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
Plus TimeD Source #
Instance details Defined in UVMHS.Core.Time Methods (+) :: TimeD -> TimeD -> TimeD Source #
Plus MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP Methods (+) :: MMSP -> MMSP -> MMSP Source #
Plus () Source #
Instance details Defined in UVMHS.Core.Data.Unit Methods (+) :: () -> () -> () Source #
Ord a => Plus (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods (+) :: 𝑃 a -> 𝑃 a -> 𝑃 a Source #
Plus a => Plus (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (+) :: AddTop a -> AddTop a -> AddTop a Source #
(Storable a, Plus a) => Plus (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (+) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
Plus a => Plus (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse Methods (+) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #
Plus a => Plus (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (+) :: AddInf a -> AddInf a -> AddInf a Source #
Plus a => Plus (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (+) :: AddZer a -> AddZer a -> AddZer a Source #
(Ord k, Plus a) => Plus (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods (+) :: (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source #
(AllC 𝒩 ns, Plus a) => Plus (𝕄S ns a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (+) :: 𝕄S ns a -> 𝕄S ns a -> 𝕄S ns a Source #
(𝒩 n, Plus a) => Plus (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (+) :: 𝕍S n a -> 𝕍S n a -> 𝕍S n a Source #

class Minus a where Source #

Methods

(-) :: a -> a -> a infixl 5 Source #

Instances

Instances details

Minus ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℕ -> ℕ -> ℕ Source #
Minus ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℕ16 -> ℕ16 -> ℕ16 Source #
Minus ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℕ32 -> ℕ32 -> ℕ32 Source #
Minus ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℕ64 -> ℕ64 -> ℕ64 Source #
Minus ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℕ8 -> ℕ8 -> ℕ8 Source #
Minus ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℚ -> ℚ -> ℚ Source #
Minus ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
Minus ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℝ -> ℝ -> ℝ Source #
Minus ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
Minus ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℤ -> ℤ -> ℤ Source #
Minus ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℤ16 -> ℤ16 -> ℤ16 Source #
Minus ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℤ32 -> ℤ32 -> ℤ32 Source #
Minus ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℤ64 -> ℤ64 -> ℤ64 Source #
Minus ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: ℤ8 -> ℤ8 -> ℤ8 Source #
Minus 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: 𝔻 -> 𝔻 -> 𝔻 Source #
Minus 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (-) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
(Storable a, Minus a) => Minus (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (-) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #

class One a where Source #

Methods

one :: a Source #

Instances

Instances details

One ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℕ Source #
One ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℕ16 Source #
One ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℕ32 Source #
One ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℕ64 Source #
One ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℕ8 Source #
One ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℚ Source #
One ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℚᴾ Source #
One ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℝ Source #
One ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℝᴾ Source #
One ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℤ Source #
One ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℤ16 Source #
One ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℤ32 Source #
One ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℤ64 Source #
One ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: ℤ8 Source #
One 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool Methods one :: 𝔹 Source #
One 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: 𝔻 Source #
One 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods one :: 𝔻ᴾ Source #
One TimeD Source #
Instance details Defined in UVMHS.Core.Time Methods one :: TimeD Source #
One MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP Methods one :: MMSP Source #
(Ord a, Zero a) => One (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods one :: 𝑃 a Source #
Zero a => One (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse Methods one :: 𝑉 a Source #
One a => One (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods one :: AddInf a Source #
One a => One (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods one :: AddZer a Source #
(Ord k, Zero k, Zero a) => One (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods one :: k ⇰ a Source #
(𝒩 n, One a) => One (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods one :: 𝕍S n a Source #

class Times a where Source #

Methods

(×) :: a -> a -> a infixl 6 Source #

Instances

Instances details

Times ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℕ -> ℕ -> ℕ Source #
Times ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℕ16 -> ℕ16 -> ℕ16 Source #
Times ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℕ32 -> ℕ32 -> ℕ32 Source #
Times ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℕ64 -> ℕ64 -> ℕ64 Source #
Times ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℕ8 -> ℕ8 -> ℕ8 Source #
Times ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℚ -> ℚ -> ℚ Source #
Times ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
Times ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℝ -> ℝ -> ℝ Source #
Times ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
Times ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℤ -> ℤ -> ℤ Source #
Times ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℤ16 -> ℤ16 -> ℤ16 Source #
Times ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℤ32 -> ℤ32 -> ℤ32 Source #
Times ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℤ64 -> ℤ64 -> ℤ64 Source #
Times ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: ℤ8 -> ℤ8 -> ℤ8 Source #
Times 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool Methods (×) :: 𝔹 -> 𝔹 -> 𝔹 Source #
Times 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: 𝔻 -> 𝔻 -> 𝔻 Source #
Times 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (×) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
Times TimeD Source #
Instance details Defined in UVMHS.Core.Time Methods (×) :: TimeD -> TimeD -> TimeD Source #
Times MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP Methods (×) :: MMSP -> MMSP -> MMSP Source #
(Ord a, Plus a) => Times (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods (×) :: 𝑃 a -> 𝑃 a -> 𝑃 a Source #
Times a => Times (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (×) :: AddTop a -> AddTop a -> AddTop a Source #
(Storable a, Times a) => Times (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (×) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
(Plus a, Times a) => Times (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse Methods (×) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #
Times a => Times (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (×) :: AddInf a -> AddInf a -> AddInf a Source #
Times a => Times (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (×) :: AddZer a -> AddZer a -> AddZer a Source #
(Ord k, Plus k, Plus a, Times a) => Times (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods (×) :: (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source #
(AllC 𝒩 ns, Times a) => Times (𝕄S ns a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (×) :: 𝕄S ns a -> 𝕄S ns a -> 𝕄S ns a Source #
(𝒩 n, Times a) => Times (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (×) :: 𝕍S n a -> 𝕍S n a -> 𝕍S n a Source #

class Divide a where Source #

Methods

(/) :: a -> a -> a infixl 6 Source #

Instances

Instances details

Divide ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (/) :: ℚ -> ℚ -> ℚ Source #
Divide ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (/) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
Divide ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (/) :: ℝ -> ℝ -> ℝ Source #
Divide ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (/) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
Divide 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (/) :: 𝔻 -> 𝔻 -> 𝔻 Source #
Divide 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (/) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
(Storable a, Divide a) => Divide (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (/) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
(Divide a, Zero a, Eq a) => Divide (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (/) :: AddInf a -> AddInf a -> AddInf a Source #
(Divide a, Top a) => Divide (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (/) :: AddZer a -> AddZer a -> AddZer a Source #

class DivMod a where Source #

Methods

(⌿) :: a -> a -> a infixl 6 Source #

(÷) :: a -> a -> a infixl 6 Source #

Instances

Instances details

DivMod ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⌿) :: ℕ -> ℕ -> ℕ Source # (÷) :: ℕ -> ℕ -> ℕ Source #
DivMod ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⌿) :: ℕ16 -> ℕ16 -> ℕ16 Source # (÷) :: ℕ16 -> ℕ16 -> ℕ16 Source #
DivMod ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⌿) :: ℕ32 -> ℕ32 -> ℕ32 Source # (÷) :: ℕ32 -> ℕ32 -> ℕ32 Source #
DivMod ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⌿) :: ℕ64 -> ℕ64 -> ℕ64 Source # (÷) :: ℕ64 -> ℕ64 -> ℕ64 Source #
DivMod ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⌿) :: ℕ8 -> ℕ8 -> ℕ8 Source # (÷) :: ℕ8 -> ℕ8 -> ℕ8 Source #
DivMod ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⌿) :: ℤ -> ℤ -> ℤ Source # (÷) :: ℤ -> ℤ -> ℤ Source #
DivMod ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⌿) :: ℤ16 -> ℤ16 -> ℤ16 Source # (÷) :: ℤ16 -> ℤ16 -> ℤ16 Source #
DivMod ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⌿) :: ℤ32 -> ℤ32 -> ℤ32 Source # (÷) :: ℤ32 -> ℤ32 -> ℤ32 Source #
DivMod ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⌿) :: ℤ64 -> ℤ64 -> ℤ64 Source # (÷) :: ℤ64 -> ℤ64 -> ℤ64 Source #
DivMod ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⌿) :: ℤ8 -> ℤ8 -> ℤ8 Source # (÷) :: ℤ8 -> ℤ8 -> ℤ8 Source #
(Storable a, DivMod a) => DivMod (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (⌿) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source # (÷) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
(DivMod a, Zero a) => DivMod (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⌿) :: AddInf a -> AddInf a -> AddInf a Source # (÷) :: AddInf a -> AddInf a -> AddInf a Source #
(DivMod a, Top a) => DivMod (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⌿) :: AddZer a -> AddZer a -> AddZer a Source # (÷) :: AddZer a -> AddZer a -> AddZer a Source #

class Pon a where Source #

Methods

(^^) :: a -> ℕ -> a Source #

Instances

Instances details

Pon ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℕ -> ℕ -> ℕ Source #
Pon ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℕ16 -> ℕ -> ℕ16 Source #
Pon ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℕ32 -> ℕ -> ℕ32 Source #
Pon ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℕ64 -> ℕ -> ℕ64 Source #
Pon ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℕ8 -> ℕ -> ℕ8 Source #
Pon ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℚ -> ℕ -> ℚ Source #
Pon ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℚᴾ -> ℕ -> ℚᴾ Source #
Pon ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℝ -> ℕ -> ℝ Source #
Pon ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℝᴾ -> ℕ -> ℝᴾ Source #
Pon ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℤ -> ℕ -> ℤ Source #
Pon ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℤ16 -> ℕ -> ℤ16 Source #
Pon ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℤ32 -> ℕ -> ℤ32 Source #
Pon ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℤ64 -> ℕ -> ℤ64 Source #
Pon ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: ℤ8 -> ℕ -> ℤ8 Source #
Pon 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: 𝔻 -> ℕ -> 𝔻 Source #
Pon 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^^) :: 𝔻ᴾ -> ℕ -> 𝔻ᴾ Source #
Pon MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP Methods (^^) :: MMSP -> ℕ -> MMSP Source #
(Storable a, Pon a) => Pon (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (^^) :: 𝕌 a -> ℕ -> 𝕌 a Source #
(Pon a, One a) => Pon (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (^^) :: AddInf a -> ℕ -> AddInf a Source #
Pon a => Pon (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (^^) :: AddZer a -> ℕ -> AddZer a Source #

class Pow a where Source #

Methods

(^) :: a -> a -> a infixl 7 Source #

Instances

Instances details

Pow ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^) :: ℕ -> ℕ -> ℕ Source #
Pow ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^) :: ℕ16 -> ℕ16 -> ℕ16 Source #
Pow ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^) :: ℕ32 -> ℕ32 -> ℕ32 Source #
Pow ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^) :: ℕ64 -> ℕ64 -> ℕ64 Source #
Pow ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^) :: ℕ8 -> ℕ8 -> ℕ8 Source #
Pow ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^) :: ℝ -> ℝ -> ℝ Source #
Pow ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
Pow 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^) :: 𝔻 -> 𝔻 -> 𝔻 Source #
Pow 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (^) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
(Storable a, Pow a) => Pow (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (^) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
(Pow a, One a) => Pow (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (^) :: AddInf a -> AddInf a -> AddInf a Source #
(Pow a, One a) => Pow (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (^) :: AddZer a -> AddZer a -> AddZer a Source #

class Root a where Source #

Methods

root :: a -> a Source #

Instances

Instances details

Root ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods root :: ℝ -> ℝ Source #
Root ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods root :: ℝᴾ -> ℝᴾ Source #
Root 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods root :: 𝔻 -> 𝔻 Source #
Root 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods root :: 𝔻ᴾ -> 𝔻ᴾ Source #
(Storable a, Root a) => Root (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods root :: 𝕌 a -> 𝕌 a Source #
Root a => Root (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods root :: AddInf a -> AddInf a Source #
Root a => Root (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods root :: AddZer a -> AddZer a Source #

class Log a where Source #

Methods

log :: a -> a Source #

Instances

Instances details

Log ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods log :: ℝ -> ℝ Source #
Log ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods log :: ℝᴾ -> ℝᴾ Source #
Log 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods log :: 𝔻 -> 𝔻 Source #
Log 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods log :: 𝔻ᴾ -> 𝔻ᴾ Source #
(Log a, Top a, Minus a) => Log (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods log :: AddInf a -> AddInf a Source #
(Log a, Top a, Minus a) => Log (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods log :: AddZer a -> AddZer a Source #

class Efn a where Source #

Methods

efn :: a -> a Source #

Instances

Instances details

Efn ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods efn :: ℝ -> ℝ Source #
Efn 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods efn :: 𝔻 -> 𝔻 Source #
Efn 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods efn :: 𝔻ᴾ -> 𝔻ᴾ Source #
(Efn a, One a) => Efn (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods efn :: AddInf a -> AddInf a Source #
(Efn a, One a) => Efn (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods efn :: AddZer a -> AddZer a Source #

class Sin a where Source #

Methods

sin :: a -> a Source #

Instances

Instances details

Sin ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods sin :: ℝ -> ℝ Source #
Sin 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods sin :: 𝔻 -> 𝔻 Source #
Sin 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods sin :: 𝔻ᴾ -> 𝔻ᴾ Source #

class Cos a where Source #

Methods

cos :: a -> a Source #

Instances

Instances details

Cos ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods cos :: ℝ -> ℝ Source #
Cos 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods cos :: 𝔻 -> 𝔻 Source #
Cos 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods cos :: 𝔻ᴾ -> 𝔻ᴾ Source #

class (Zero a, Plus a) => Additive a Source #

Instances

Instances details

Additive ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool
Additive 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Additive TimeD Source #
Instance details Defined in UVMHS.Core.Time
Additive MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP
Additive () Source #
Instance details Defined in UVMHS.Core.Data.Unit
Ord a => Additive (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set
Additive a => Additive (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed
Plus a => Additive (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse
(Ord k, Plus a) => Additive (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict

class (Additive a, One a, Times a) => Multiplicative a Source #

Instances

Instances details

Multiplicative ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool
Multiplicative 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
Multiplicative TimeD Source #
Instance details Defined in UVMHS.Core.Time
Multiplicative MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP
Multiplicative a => Multiplicative (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse
(Ord k, Additive k, Multiplicative a) => Multiplicative (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict

succ :: (One a, Plus a) => a -> a Source #

pred :: (One a, Minus a) => a -> a Source #

even :: (Eq a, Additive a, One a, DivMod a) => a -> 𝔹 Source #

odd :: (Eq a, Additive a, One a, DivMod a) => a -> 𝔹 Source #

neg :: (Zero a, Minus a) => a -> a Source #

(⨵) :: (Functor f, Multiplicative a) => a -> f a -> f a infixl 6 Source #

(⨴) :: (Functor f, Multiplicative a) => f a -> a -> f a Source #

class ToNat a where Source #

Methods

nat :: a -> ℕ Source #

Instances

Instances details

ToNat ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat :: ℕ -> ℕ Source #
ToNat ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat :: ℕ16 -> ℕ Source #
ToNat ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat :: ℕ32 -> ℕ Source #
ToNat ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat :: ℕ64 -> ℕ Source #
ToNat ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat :: ℕ8 -> ℕ Source #

class ToNat64 a where Source #

Methods

nat64 :: a -> ℕ64 Source #

Instances

Instances details

ToNat64 ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat64 :: ℕ16 -> ℕ64 Source #
ToNat64 ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat64 :: ℕ32 -> ℕ64 Source #
ToNat64 ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat64 :: ℕ64 -> ℕ64 Source #
ToNat64 ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat64 :: ℕ8 -> ℕ64 Source #

class ToNat32 a where Source #

Methods

nat32 :: a -> ℕ32 Source #

Instances

Instances details

ToNat32 ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat32 :: ℕ16 -> ℕ32 Source #
ToNat32 ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat32 :: ℕ32 -> ℕ32 Source #
ToNat32 ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat32 :: ℕ8 -> ℕ32 Source #

class ToNat16 a where Source #

Methods

nat16 :: a -> ℕ16 Source #

Instances

Instances details

ToNat16 ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat16 :: ℕ16 -> ℕ16 Source #
ToNat16 ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat16 :: ℕ8 -> ℕ16 Source #

class ToNat8 a where Source #

Methods

nat8 :: a -> ℕ8 Source #

Instances

Instances details

ToNat8 ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods nat8 :: ℕ8 -> ℕ8 Source #

class ToNatO a where Source #

Methods

natO :: a -> 𝑂 ℕ Source #

Instances

Instances details

ToNatO ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO :: ℚ -> 𝑂 ℕ Source #
ToNatO ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO :: ℚᴾ -> 𝑂 ℕ Source #
ToNatO ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO :: ℝ -> 𝑂 ℕ Source #
ToNatO ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO :: ℝᴾ -> 𝑂 ℕ Source #
ToNatO ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO :: ℤ -> 𝑂 ℕ Source #
ToNatO ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO :: ℤ16 -> 𝑂 ℕ Source #
ToNatO ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO :: ℤ32 -> 𝑂 ℕ Source #
ToNatO ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO :: ℤ64 -> 𝑂 ℕ Source #
ToNatO ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO :: ℤ8 -> 𝑂 ℕ Source #
ToNatO 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO :: 𝔻 -> 𝑂 ℕ Source #
ToNatO 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO :: 𝔻ᴾ -> 𝑂 ℕ Source #

class ToNatO64 a where Source #

Methods

natO64 :: a -> 𝑂 ℕ64 Source #

Instances

Instances details

ToNatO64 ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO64 :: ℕ -> 𝑂 ℕ64 Source #
ToNatO64 ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO64 :: ℚ -> 𝑂 ℕ64 Source #
ToNatO64 ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO64 :: ℚᴾ -> 𝑂 ℕ64 Source #
ToNatO64 ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO64 :: ℝ -> 𝑂 ℕ64 Source #
ToNatO64 ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO64 :: ℝᴾ -> 𝑂 ℕ64 Source #
ToNatO64 ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO64 :: ℤ -> 𝑂 ℕ64 Source #
ToNatO64 ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO64 :: ℤ16 -> 𝑂 ℕ64 Source #
ToNatO64 ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO64 :: ℤ32 -> 𝑂 ℕ64 Source #
ToNatO64 ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO64 :: ℤ64 -> 𝑂 ℕ64 Source #
ToNatO64 ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO64 :: ℤ8 -> 𝑂 ℕ64 Source #
ToNatO64 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO64 :: 𝔻 -> 𝑂 ℕ64 Source #
ToNatO64 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO64 :: 𝔻ᴾ -> 𝑂 ℕ64 Source #

class ToNatO32 a where Source #

Methods

natO32 :: a -> 𝑂 ℕ32 Source #

Instances

Instances details

ToNatO32 ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: ℕ -> 𝑂 ℕ32 Source #
ToNatO32 ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: ℕ64 -> 𝑂 ℕ32 Source #
ToNatO32 ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: ℚ -> 𝑂 ℕ32 Source #
ToNatO32 ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: ℚᴾ -> 𝑂 ℕ32 Source #
ToNatO32 ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: ℝ -> 𝑂 ℕ32 Source #
ToNatO32 ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: ℝᴾ -> 𝑂 ℕ32 Source #
ToNatO32 ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: ℤ -> 𝑂 ℕ32 Source #
ToNatO32 ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: ℤ16 -> 𝑂 ℕ32 Source #
ToNatO32 ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: ℤ32 -> 𝑂 ℕ32 Source #
ToNatO32 ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: ℤ64 -> 𝑂 ℕ32 Source #
ToNatO32 ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: ℤ8 -> 𝑂 ℕ32 Source #
ToNatO32 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: 𝔻 -> 𝑂 ℕ32 Source #
ToNatO32 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO32 :: 𝔻ᴾ -> 𝑂 ℕ32 Source #

class ToNatO16 a where Source #

Methods

natO16 :: a -> 𝑂 ℕ16 Source #

Instances

Instances details

ToNatO16 ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: ℕ -> 𝑂 ℕ16 Source #
ToNatO16 ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: ℕ32 -> 𝑂 ℕ16 Source #
ToNatO16 ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: ℕ64 -> 𝑂 ℕ16 Source #
ToNatO16 ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: ℚ -> 𝑂 ℕ16 Source #
ToNatO16 ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: ℚᴾ -> 𝑂 ℕ16 Source #
ToNatO16 ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: ℝ -> 𝑂 ℕ16 Source #
ToNatO16 ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: ℝᴾ -> 𝑂 ℕ16 Source #
ToNatO16 ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: ℤ -> 𝑂 ℕ16 Source #
ToNatO16 ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: ℤ16 -> 𝑂 ℕ16 Source #
ToNatO16 ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: ℤ32 -> 𝑂 ℕ16 Source #
ToNatO16 ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: ℤ64 -> 𝑂 ℕ16 Source #
ToNatO16 ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: ℤ8 -> 𝑂 ℕ16 Source #
ToNatO16 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: 𝔻 -> 𝑂 ℕ16 Source #
ToNatO16 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO16 :: 𝔻ᴾ -> 𝑂 ℕ16 Source #

class ToNatO8 a where Source #

Methods

natO8 :: a -> 𝑂 ℕ8 Source #

Instances

Instances details

ToNatO8 ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℕ -> 𝑂 ℕ8 Source #
ToNatO8 ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℕ16 -> 𝑂 ℕ8 Source #
ToNatO8 ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℕ32 -> 𝑂 ℕ8 Source #
ToNatO8 ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℕ64 -> 𝑂 ℕ8 Source #
ToNatO8 ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℚ -> 𝑂 ℕ8 Source #
ToNatO8 ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℚᴾ -> 𝑂 ℕ8 Source #
ToNatO8 ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℝ -> 𝑂 ℕ8 Source #
ToNatO8 ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℝᴾ -> 𝑂 ℕ8 Source #
ToNatO8 ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℤ -> 𝑂 ℕ8 Source #
ToNatO8 ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℤ16 -> 𝑂 ℕ8 Source #
ToNatO8 ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℤ32 -> 𝑂 ℕ8 Source #
ToNatO8 ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℤ64 -> 𝑂 ℕ8 Source #
ToNatO8 ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: ℤ8 -> 𝑂 ℕ8 Source #
ToNatO8 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: 𝔻 -> 𝑂 ℕ8 Source #
ToNatO8 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods natO8 :: 𝔻ᴾ -> 𝑂 ℕ8 Source #

natΩ :: (ToNatO a, STACK) => a -> ℕ Source #

natΩ64 :: (ToNatO64 a, STACK) => a -> ℕ64 Source #

natΩ32 :: (ToNatO32 a, STACK) => a -> ℕ32 Source #

natΩ16 :: (ToNatO16 a, STACK) => a -> ℕ16 Source #

natΩ8 :: (ToNatO8 a, STACK) => a -> ℕ8 Source #

class ToInt a where Source #

Methods

int :: a -> ℤ Source #

Instances

Instances details

ToInt ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int :: ℕ -> ℤ Source #
ToInt ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int :: ℕ16 -> ℤ Source #
ToInt ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int :: ℕ32 -> ℤ Source #
ToInt ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int :: ℕ64 -> ℤ Source #
ToInt ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int :: ℕ8 -> ℤ Source #
ToInt ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int :: ℤ -> ℤ Source #
ToInt ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int :: ℤ16 -> ℤ Source #
ToInt ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int :: ℤ32 -> ℤ Source #
ToInt ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int :: ℤ64 -> ℤ Source #
ToInt ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int :: ℤ8 -> ℤ Source #

class ToInt64 a where Source #

Methods

int64 :: a -> ℤ64 Source #

Instances

Instances details

ToInt64 ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int64 :: ℕ16 -> ℤ64 Source #
ToInt64 ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int64 :: ℕ32 -> ℤ64 Source #
ToInt64 ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int64 :: ℕ8 -> ℤ64 Source #
ToInt64 ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int64 :: ℤ16 -> ℤ64 Source #
ToInt64 ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int64 :: ℤ32 -> ℤ64 Source #
ToInt64 ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int64 :: ℤ64 -> ℤ64 Source #
ToInt64 ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int64 :: ℤ8 -> ℤ64 Source #

class ToInt32 a where Source #

Methods

int32 :: a -> ℤ32 Source #

Instances

Instances details

ToInt32 ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int32 :: ℕ16 -> ℤ32 Source #
ToInt32 ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int32 :: ℕ8 -> ℤ32 Source #
ToInt32 ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int32 :: ℤ16 -> ℤ32 Source #
ToInt32 ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int32 :: ℤ32 -> ℤ32 Source #
ToInt32 ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int32 :: ℤ8 -> ℤ32 Source #

class ToInt16 a where Source #

Methods

int16 :: a -> ℤ16 Source #

Instances

Instances details

ToInt16 ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int16 :: ℕ8 -> ℤ16 Source #
ToInt16 ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int16 :: ℤ16 -> ℤ16 Source #
ToInt16 ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int16 :: ℤ8 -> ℤ16 Source #

class ToInt8 a where Source #

Methods

int8 :: a -> ℤ8 Source #

Instances

Instances details

ToInt8 ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods int8 :: ℤ8 -> ℤ8 Source #

class ToIntO a where Source #

Methods

intO :: a -> 𝑂 ℤ Source #

Instances

Instances details

ToIntO ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO :: ℚ -> 𝑂 ℤ Source #
ToIntO ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO :: ℚᴾ -> 𝑂 ℤ Source #
ToIntO ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO :: ℝ -> 𝑂 ℤ Source #
ToIntO ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO :: ℝᴾ -> 𝑂 ℤ Source #
ToIntO 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO :: 𝔻 -> 𝑂 ℤ Source #
ToIntO 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO :: 𝔻ᴾ -> 𝑂 ℤ Source #

class ToIntO64 a where Source #

Methods

intO64 :: a -> 𝑂 ℤ64 Source #

Instances

Instances details

ToIntO64 ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO64 :: ℕ -> 𝑂 ℤ64 Source #
ToIntO64 ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO64 :: ℕ64 -> 𝑂 ℤ64 Source #
ToIntO64 ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO64 :: ℚ -> 𝑂 ℤ64 Source #
ToIntO64 ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO64 :: ℚᴾ -> 𝑂 ℤ64 Source #
ToIntO64 ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO64 :: ℝ -> 𝑂 ℤ64 Source #
ToIntO64 ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO64 :: ℝᴾ -> 𝑂 ℤ64 Source #
ToIntO64 ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO64 :: ℤ -> 𝑂 ℤ64 Source #
ToIntO64 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO64 :: 𝔻 -> 𝑂 ℤ64 Source #
ToIntO64 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO64 :: 𝔻ᴾ -> 𝑂 ℤ64 Source #

class ToIntO32 a where Source #

Methods

intO32 :: a -> 𝑂 ℤ32 Source #

Instances

Instances details

ToIntO32 ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO32 :: ℕ -> 𝑂 ℤ32 Source #
ToIntO32 ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO32 :: ℕ32 -> 𝑂 ℤ32 Source #
ToIntO32 ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO32 :: ℕ64 -> 𝑂 ℤ32 Source #
ToIntO32 ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO32 :: ℚ -> 𝑂 ℤ32 Source #
ToIntO32 ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO32 :: ℚᴾ -> 𝑂 ℤ32 Source #
ToIntO32 ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO32 :: ℝ -> 𝑂 ℤ32 Source #
ToIntO32 ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO32 :: ℝᴾ -> 𝑂 ℤ32 Source #
ToIntO32 ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO32 :: ℤ -> 𝑂 ℤ32 Source #
ToIntO32 ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO32 :: ℤ64 -> 𝑂 ℤ32 Source #
ToIntO32 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO32 :: 𝔻 -> 𝑂 ℤ32 Source #
ToIntO32 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO32 :: 𝔻ᴾ -> 𝑂 ℤ32 Source #

class ToIntO16 a where Source #

Methods

intO16 :: a -> 𝑂 ℤ16 Source #

Instances

Instances details

ToIntO16 ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: ℕ -> 𝑂 ℤ16 Source #
ToIntO16 ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: ℕ16 -> 𝑂 ℤ16 Source #
ToIntO16 ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: ℕ32 -> 𝑂 ℤ16 Source #
ToIntO16 ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: ℕ64 -> 𝑂 ℤ16 Source #
ToIntO16 ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: ℚ -> 𝑂 ℤ16 Source #
ToIntO16 ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: ℚᴾ -> 𝑂 ℤ16 Source #
ToIntO16 ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: ℝ -> 𝑂 ℤ16 Source #
ToIntO16 ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: ℝᴾ -> 𝑂 ℤ16 Source #
ToIntO16 ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: ℤ -> 𝑂 ℤ16 Source #
ToIntO16 ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: ℤ32 -> 𝑂 ℤ16 Source #
ToIntO16 ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: ℤ64 -> 𝑂 ℤ16 Source #
ToIntO16 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: 𝔻 -> 𝑂 ℤ16 Source #
ToIntO16 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO16 :: 𝔻ᴾ -> 𝑂 ℤ16 Source #

class ToIntO8 a where Source #

Methods

intO8 :: a -> 𝑂 ℤ8 Source #

Instances

Instances details

ToIntO8 ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℕ -> 𝑂 ℤ8 Source #
ToIntO8 ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℕ16 -> 𝑂 ℤ8 Source #
ToIntO8 ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℕ32 -> 𝑂 ℤ8 Source #
ToIntO8 ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℕ64 -> 𝑂 ℤ8 Source #
ToIntO8 ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℕ8 -> 𝑂 ℤ8 Source #
ToIntO8 ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℚ -> 𝑂 ℤ8 Source #
ToIntO8 ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℚᴾ -> 𝑂 ℤ8 Source #
ToIntO8 ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℝ -> 𝑂 ℤ8 Source #
ToIntO8 ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℝᴾ -> 𝑂 ℤ8 Source #
ToIntO8 ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℤ -> 𝑂 ℤ8 Source #
ToIntO8 ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℤ16 -> 𝑂 ℤ8 Source #
ToIntO8 ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℤ32 -> 𝑂 ℤ8 Source #
ToIntO8 ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: ℤ64 -> 𝑂 ℤ8 Source #
ToIntO8 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: 𝔻 -> 𝑂 ℤ8 Source #
ToIntO8 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods intO8 :: 𝔻ᴾ -> 𝑂 ℤ8 Source #

intΩ :: (ToIntO a, STACK) => a -> ℤ Source #

intΩ64 :: (ToIntO64 a, STACK) => a -> ℤ64 Source #

intΩ32 :: (ToIntO32 a, STACK) => a -> ℤ32 Source #

intΩ16 :: (ToIntO16 a, STACK) => a -> ℤ16 Source #

intΩ8 :: (ToIntO8 a, STACK) => a -> ℤ8 Source #

class ToRational a where Source #

Methods

rat :: a -> ℚ Source #

Instances

Instances details

ToRational ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℕ -> ℚ Source #
ToRational ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℕ16 -> ℚ Source #
ToRational ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℕ32 -> ℚ Source #
ToRational ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℕ64 -> ℚ Source #
ToRational ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℕ8 -> ℚ Source #
ToRational ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℚ -> ℚ Source #
ToRational ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℚᴾ -> ℚ Source #
ToRational ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℝ -> ℚ Source #
ToRational ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℝᴾ -> ℚ Source #
ToRational ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℤ -> ℚ Source #
ToRational ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℤ16 -> ℚ Source #
ToRational ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℤ32 -> ℚ Source #
ToRational ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℤ64 -> ℚ Source #
ToRational ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: ℤ8 -> ℚ Source #
ToRational 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: 𝔻 -> ℚ Source #
ToRational 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods rat :: 𝔻ᴾ -> ℚ Source #

class ToRationalO a where Source #

Methods

ratO :: a -> 𝑂 ℚ Source #

class ToRationalᴾ a where Source #

Methods

ratᴾ :: a -> ℚᴾ Source #

Instances

Instances details

ToRationalᴾ ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾ :: ℕ -> ℚᴾ Source #
ToRationalᴾ ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾ :: ℕ16 -> ℚᴾ Source #
ToRationalᴾ ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾ :: ℕ32 -> ℚᴾ Source #
ToRationalᴾ ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾ :: ℕ64 -> ℚᴾ Source #
ToRationalᴾ ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾ :: ℕ8 -> ℚᴾ Source #
ToRationalᴾ ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾ :: ℚᴾ -> ℚᴾ Source #

class ToRationalᴾO a where Source #

Methods

ratᴾO :: a -> 𝑂 ℚᴾ Source #

Instances

Instances details

ToRationalᴾO ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾO :: ℚ -> 𝑂 ℚᴾ Source #
ToRationalᴾO ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾO :: ℝ -> 𝑂 ℚᴾ Source #
ToRationalᴾO ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾO :: ℝᴾ -> 𝑂 ℚᴾ Source #
ToRationalᴾO ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾO :: ℤ -> 𝑂 ℚᴾ Source #
ToRationalᴾO ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾO :: ℤ16 -> 𝑂 ℚᴾ Source #
ToRationalᴾO ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾO :: ℤ32 -> 𝑂 ℚᴾ Source #
ToRationalᴾO ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾO :: ℤ64 -> 𝑂 ℚᴾ Source #
ToRationalᴾO ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾO :: ℤ8 -> 𝑂 ℚᴾ Source #
ToRationalᴾO 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾO :: 𝔻 -> 𝑂 ℚᴾ Source #
ToRationalᴾO 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods ratᴾO :: 𝔻ᴾ -> 𝑂 ℚᴾ Source #

class ToDouble a where Source #

Methods

dbl :: a -> 𝔻 Source #

Instances

Instances details

ToDouble ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℕ -> 𝔻 Source #
ToDouble ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℕ16 -> 𝔻 Source #
ToDouble ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℕ32 -> 𝔻 Source #
ToDouble ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℕ64 -> 𝔻 Source #
ToDouble ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℕ8 -> 𝔻 Source #
ToDouble ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℚ -> 𝔻 Source #
ToDouble ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℚᴾ -> 𝔻 Source #
ToDouble ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℝ -> 𝔻 Source #
ToDouble ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℝᴾ -> 𝔻 Source #
ToDouble ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℤ -> 𝔻 Source #
ToDouble ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℤ16 -> 𝔻 Source #
ToDouble ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℤ32 -> 𝔻 Source #
ToDouble ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℤ64 -> 𝔻 Source #
ToDouble ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: ℤ8 -> 𝔻 Source #
ToDouble 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: 𝔻 -> 𝔻 Source #
ToDouble 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dbl :: 𝔻ᴾ -> 𝔻 Source #

class ToDoubleO a where Source #

Methods

dblO :: a -> 𝑂 𝔻 Source #

class ToDoubleᴾ a where Source #

Methods

dblᴾ :: a -> 𝔻ᴾ Source #

Instances

Instances details

ToDoubleᴾ ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾ :: ℕ -> 𝔻ᴾ Source #
ToDoubleᴾ ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾ :: ℕ16 -> 𝔻ᴾ Source #
ToDoubleᴾ ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾ :: ℕ32 -> 𝔻ᴾ Source #
ToDoubleᴾ ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾ :: ℕ64 -> 𝔻ᴾ Source #
ToDoubleᴾ ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾ :: ℕ8 -> 𝔻ᴾ Source #
ToDoubleᴾ ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾ :: ℚᴾ -> 𝔻ᴾ Source #
ToDoubleᴾ ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾ :: ℝᴾ -> 𝔻ᴾ Source #
ToDoubleᴾ 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾ :: 𝔻ᴾ -> 𝔻ᴾ Source #

class ToDoubleᴾO a where Source #

Methods

dblᴾO :: a -> 𝑂 𝔻ᴾ Source #

Instances

Instances details

ToDoubleᴾO ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾO :: ℚ -> 𝑂 𝔻ᴾ Source #
ToDoubleᴾO ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾO :: ℝ -> 𝑂 𝔻ᴾ Source #
ToDoubleᴾO ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾO :: ℤ -> 𝑂 𝔻ᴾ Source #
ToDoubleᴾO ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾO :: ℤ16 -> 𝑂 𝔻ᴾ Source #
ToDoubleᴾO ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾO :: ℤ32 -> 𝑂 𝔻ᴾ Source #
ToDoubleᴾO ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾO :: ℤ64 -> 𝑂 𝔻ᴾ Source #
ToDoubleᴾO ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾO :: ℤ8 -> 𝑂 𝔻ᴾ Source #
ToDoubleᴾO 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods dblᴾO :: 𝔻 -> 𝑂 𝔻ᴾ Source #

class ToNumber a where Source #

Methods

num :: a -> ℝ Source #

Instances

Instances details

ToNumber ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: ℕ -> ℝ Source #
ToNumber ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: ℕ16 -> ℝ Source #
ToNumber ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: ℕ32 -> ℝ Source #
ToNumber ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: ℕ64 -> ℝ Source #
ToNumber ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: ℕ8 -> ℝ Source #
ToNumber ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: ℚ -> ℝ Source #
ToNumber ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: ℚᴾ -> ℝ Source #
ToNumber ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: ℤ -> ℝ Source #
ToNumber ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: ℤ16 -> ℝ Source #
ToNumber ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: ℤ32 -> ℝ Source #
ToNumber ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: ℤ64 -> ℝ Source #
ToNumber ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: ℤ8 -> ℝ Source #
ToNumber 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: 𝔻 -> ℝ Source #
ToNumber 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods num :: 𝔻ᴾ -> ℝ Source #

class ToNumberᴾ a where Source #

Methods

numᴾ :: a -> ℝᴾ Source #

Instances

Instances details

ToNumberᴾ ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾ :: ℕ -> ℝᴾ Source #
ToNumberᴾ ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾ :: ℕ16 -> ℝᴾ Source #
ToNumberᴾ ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾ :: ℕ32 -> ℝᴾ Source #
ToNumberᴾ ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾ :: ℕ64 -> ℝᴾ Source #
ToNumberᴾ ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾ :: ℕ8 -> ℝᴾ Source #
ToNumberᴾ ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾ :: ℚᴾ -> ℝᴾ Source #
ToNumberᴾ 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾ :: 𝔻ᴾ -> ℝᴾ Source #

class ToNumberᴾO a where Source #

Methods

numᴾO :: a -> 𝑂 ℝᴾ Source #

Instances

Instances details

ToNumberᴾO ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾO :: ℚ -> 𝑂 ℝᴾ Source #
ToNumberᴾO ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾO :: ℤ -> 𝑂 ℝᴾ Source #
ToNumberᴾO ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾO :: ℤ16 -> 𝑂 ℝᴾ Source #
ToNumberᴾO ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾO :: ℤ32 -> 𝑂 ℝᴾ Source #
ToNumberᴾO ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾO :: ℤ64 -> 𝑂 ℝᴾ Source #
ToNumberᴾO ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾO :: ℤ8 -> 𝑂 ℝᴾ Source #
ToNumberᴾO 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods numᴾO :: 𝔻 -> 𝑂 ℝᴾ Source #

ratΩ :: (ToRationalO a, STACK) => a -> ℚ Source #

ratᴾΩ :: (ToRationalᴾO a, STACK) => a -> ℚᴾ Source #

dblΩ :: (ToDoubleO a, STACK) => a -> 𝔻 Source #

dblᴾΩ :: (ToDoubleᴾO a, STACK) => a -> 𝔻ᴾ Source #

numᴾΩ :: (ToNumberᴾO a, STACK) => a -> ℝᴾ Source #