integer overview
An integral data type without a decimal. Partially borrowed from Purescript.
Added in v1.0.0
Table of contents
Aliases
add
Signature
export declare const add: (x: Int, y: Int) => Int
Added in v1.0.0
degree
Signature
export declare const degree: (a: Int) => number
Added in v1.0.0
div
Signature
export declare const div: (x: Int, y: Int) => Int
Added in v1.0.0
mod
Signature
export declare const mod: (x: Int, y: Int) => Int
Added in v1.0.0
mul
Signature
export declare const mul: (x: Int, y: Int) => Int
Added in v1.0.0
sub
Signature
export declare const sub: (x: Int, y: Int) => Int
Added in v1.0.0
Constructors
fromNumber
Signature
export declare const fromNumber: (n: number) => Int
Added in v1.0.0
one
Signature
export declare const one: Int
Added in v1.0.0
randInt
Signature
export declare const randInt: (min: number, max: number) => IO.IO<Int>
Added in v1.0.0
zero
Signature
export declare const zero: Int
Added in v1.0.0
Destructors
toNumber
Signature
export declare const toNumber: (x: Int) => number
Added in v1.0.0
Infix
$_
Signature
export declare const $_: (s: Inf.EuclideanRingSymbol, x: Int, y: Int) => Int
Added in v1.0.0
_
Signature
export declare const _: (a: Int, s: Inf.EuclideanRingSymbol, b: Int) => Int
Added in v1.0.0
_$
Signature
export declare const _$: (a: Int, b: Int, s: Inf.EuclideanRingSymbol) => Int
Added in v1.0.0
Instances
AdditiveAbGrpMN
Signature
export declare const AdditiveAbGrpMN: <M, N>(m: M, n: N) => TC.AbelianGroup<M.Mat<M, N, Int>>
Added in v1.0.0
AdditiveAbGrpN
Signature
export declare const AdditiveAbGrpN: <N>(n: N) => TC.AbelianGroup<V.Vec<N, Int>>
Added in v1.0.0
BiModMN
Signature
export declare const BiModMN: <M, N>(m: M, n: N) => TC.Bimodule<M.Mat<M, N, Int>, Int, Int>
Added in v1.0.0
BiModN
Signature
export declare const BiModN: <N>(n: N) => TC.Bimodule<V.Vec<N, Int>, Int, Int>
Added in v1.0.0
Bounded
Signature
export declare const Bounded: Bnd.Bounded<Int>
Added in v1.0.0
Eq
Signature
export declare const Eq: Eq_.Eq<Int>
Added in v1.0.0
EuclideanRing
Adapted from Purescript: https://github.com/purescript/purescript-prelude/blob/v6.0.0/src/Data/EuclideanRing.js
Signature
export declare const EuclideanRing: TC.EuclidianRing<Int>
Added in v1.0.0
MagmaSub
Signature
export declare const MagmaSub: Mg.Magma<Int>
Added in v1.0.0
MonoidProduct
Signature
export declare const MonoidProduct: Mn.Monoid<Int>
Added in v1.0.0
MonoidSum
Signature
export declare const MonoidSum: Mn.Monoid<Int>
Added in v1.0.0
Ord
Signature
export declare const Ord: Ord_.Ord<Int>
Added in v1.0.0
PolynomialAdditiveAbelianGroup
Signature
export declare const PolynomialAdditiveAbelianGroup: TC.AbelianGroup<Poly.Polynomial<Int>>
Added in v1.0.0
PolynomialBimodule
Signature
export declare const PolynomialBimodule: TC.Bimodule<Poly.Polynomial<Int>, Int, Int>
Added in v1.0.0
PolynomialEuclidianRing
Signature
export declare const PolynomialEuclidianRing: TC.EuclidianRing<Poly.Polynomial<Int>>
Added in v1.0.0
PolynomialRing
Signature
export declare const PolynomialRing: TC.CommutativeRing<Poly.Polynomial<Int>>
Added in v1.0.0
SemigroupProduct
Signature
export declare const SemigroupProduct: Sg.Semigroup<Int>
Added in v1.0.0
SemigroupSum
Signature
export declare const SemigroupSum: Sg.Semigroup<Int>
Added in v1.0.0
Show
Signature
export declare const Show: Sh.Show<Int>
Added in v1.0.0
Integer Ops
abs
Signature
export declare const abs: (a: Int) => Int
Added in v1.0.0
Isomorphisms
isoNumber
Signature
export declare const isoNumber: Iso.Iso<Int, number>
Added in v1.0.0
Model
Int (type alias)
Signature
export type Int = number & {
readonly _URI: IntegerSymbol
}
Added in v1.0.0
Mat (type alias)
Signature
export type Mat<M, N> = M.Mat<M, N, Int>
Added in v1.0.0
Vec (type alias)
Signature
export type Vec<N> = V.Vec<N, Int>
Added in v1.0.0