Nat16

Utility functions on 16-bit unsigned integers

type Nat16 = Prim.Types.Nat16

`public let maximumValue : Nat16`

`public let toNat : Nat16 -> Nat`

`public let fromNat : Nat -> Nat16`

`public func fromNat8(x : Nat8) : Nat16`

`public func toNat8(x : Nat16) : Nat8`

`public func fromNat32(x : Nat32) : Nat16`

`public func toNat32(x : Nat16) : Nat32`

`public let fromIntWrap : Int -> Nat16`

`public func toText(x : Nat16) : Text`

`public func min(x : Nat16, y : Nat16) : Nat16`

`public func max(x : Nat16, y : Nat16) : Nat16`

`public func equal(x : Nat16, y : Nat16) : Bool`

`public func notEqual(x : Nat16, y : Nat16) : Bool`

`public func less(x : Nat16, y : Nat16) : Bool`

`public func lessOrEqual(x : Nat16, y : Nat16) : Bool`

`public func greater(x : Nat16, y : Nat16) : Bool`

`public func greaterOrEqual(x : Nat16, y : Nat16) : Bool`

`public func compare(x : Nat16, y : Nat16) : {#less; #equal; #greater}`

`public func add(x : Nat16, y : Nat16) : Nat16`

`public func sub(x : Nat16, y : Nat16) : Nat16`

`public func mul(x : Nat16, y : Nat16) : Nat16`

`public func div(x : Nat16, y : Nat16) : Nat16`

`public func rem(x : Nat16, y : Nat16) : Nat16`

`public func pow(x : Nat16, y : Nat16) : Nat16`

`public func bitnot(x : Nat16) : Nat16`

`public func bitand(x : Nat16, y : Nat16) : Nat16`

`public func bitor(x : Nat16, y : Nat16) : Nat16`

`public func bitxor(x : Nat16, y : Nat16) : Nat16`

`public func bitshiftLeft(x : Nat16, y : Nat16) : Nat16`

`public func bitshiftRight(x : Nat16, y : Nat16) : Nat16`

`public func bitrotLeft(x : Nat16, y : Nat16) : Nat16`

`public func bitrotRight(x : Nat16, y : Nat16) : Nat16`

`public func bittest(x : Nat16, p : Nat) : Bool`

`public func bitset(x : Nat16, p : Nat) : Nat16`

`public func bitclear(x : Nat16, p : Nat) : Nat16`

`public func bitflip(x : Nat16, p : Nat) : Nat16`

`public let bitcountNonZero : (x : Nat16) -> Nat16`

`public let bitcountLeadingZero : (x : Nat16) -> Nat16`

`public let bitcountTrailingZero : (x : Nat16) -> Nat16`

`public func addWrap(x : Nat16, y : Nat16) : Nat16`

`public func subWrap(x : Nat16, y : Nat16) : Nat16`

`public func mulWrap(x : Nat16, y : Nat16) : Nat16`

`public func powWrap(x : Nat16, y : Nat16) : Nat16`