Nat8

Utility functions on 8-bit unsigned integers

type Nat8 = Prim.Types.Nat8

public let maximumValue : Nat8

public let toNat : Nat8 -> Nat

public let fromNat : Nat -> Nat8

public let fromNat16 : Nat16 -> Nat8

public let toNat16 : Nat8 -> Nat16

public let fromIntWrap : Int -> Nat8

public func toText(x : Nat8) : Text

public func min(x : Nat8, y : Nat8) : Nat8

public func max(x : Nat8, y : Nat8) : Nat8

public func equal(x : Nat8, y : Nat8) : Bool

public func notEqual(x : Nat8, y : Nat8) : Bool

public func less(x : Nat8, y : Nat8) : Bool

public func lessOrEqual(x : Nat8, y : Nat8) : Bool

public func greater(x : Nat8, y : Nat8) : Bool

public func greaterOrEqual(x : Nat8, y : Nat8) : Bool

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

public func add(x : Nat8, y : Nat8) : Nat8

public func sub(x : Nat8, y : Nat8) : Nat8

public func mul(x : Nat8, y : Nat8) : Nat8

public func div(x : Nat8, y : Nat8) : Nat8

public func rem(x : Nat8, y : Nat8) : Nat8

public func pow(x : Nat8, y : Nat8) : Nat8

public func bitnot(x : Nat8) : Nat8

public func bitand(x : Nat8, y : Nat8) : Nat8

public func bitor(x : Nat8, y : Nat8) : Nat8

public func bitxor(x : Nat8, y : Nat8) : Nat8

public func bitshiftLeft(x : Nat8, y : Nat8) : Nat8

public func bitshiftRight(x : Nat8, y : Nat8) : Nat8

public func bitrotLeft(x : Nat8, y : Nat8) : Nat8

public func bitrotRight(x : Nat8, y : Nat8) : Nat8

public func bittest(x : Nat8, p : Nat) : Bool

public func bitset(x : Nat8, p : Nat) : Nat8

public func bitclear(x : Nat8, p : Nat) : Nat8

public func bitflip(x : Nat8, p : Nat) : Nat8

public let bitcountNonZero : (x : Nat8) -> Nat8

public let bitcountLeadingZero : (x : Nat8) -> Nat8

public let bitcountTrailingZero : (x : Nat8) -> Nat8

public func addWrap(x : Nat8, y : Nat8) : Nat8

public func subWrap(x : Nat8, y : Nat8) : Nat8

public func mulWrap(x : Nat8, y : Nat8) : Nat8

public func powWrap(x : Nat8, y : Nat8) : Nat8