uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

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

DivMod ℕ32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

DivMod ℕ64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

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

DivMod ℤ32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

DivMod ℤ64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

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

ToNatO64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

natO64 :: -> 𝑂 ℕ64 Source #

ToNatO64 ℝᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

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

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

ToNatO32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

natO32 :: -> 𝑂 ℕ32 Source #

ToNatO32 ℝᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

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

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

ToNatO16 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

natO16 :: -> 𝑂 ℕ16 Source #

ToNatO16 ℝᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

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

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Ω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

ToIntO64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

intO64 :: -> 𝑂 ℤ64 Source #

ToIntO64 ℝᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

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

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

ToIntO32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

intO32 :: -> 𝑂 ℤ32 Source #

ToIntO32 ℝᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

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

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

ToIntO16 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

intO16 :: -> 𝑂 ℤ16 Source #

ToIntO16 ℝᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

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

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Ω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

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

ToRationalᴾO ℤ32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToRationalᴾO ℤ64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToRationalᴾO ℤ8 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToRationalᴾO 𝔻 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToRationalᴾO 𝔻ᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

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

ToDoubleᴾ ℝᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToDoubleᴾ 𝔻ᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

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

ToDoubleᴾO Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToDoubleᴾO Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToDoubleᴾO ℤ16 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToDoubleᴾO ℤ32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToDoubleᴾO ℤ64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToDoubleᴾO ℤ8 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToDoubleᴾO 𝔻 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

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

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

ToNumberᴾO ℤ32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToNumberᴾO ℤ64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToNumberᴾO ℤ8 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

ToNumberᴾO 𝔻 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

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

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