Int16

Utility functions on 16-bit signed integers

type Int16 = Prim.Types.Int16

public let minimumValue : Int16

public let maximumValue : Int16

public let toInt : Int16 -> Int

public let fromInt : Int -> Int16

public let fromIntWrap : Int -> Int16

public let fromInt8 : Int8 -> Int16

public let toInt8 : Int16 -> Int8

public let fromInt32 : Int32 -> Int16

public let toInt32 : Int16 -> Int32

public let fromNat16 : Nat16 -> Int16

public let toNat16 : Int16 -> Nat16

public func toText(x : Int16) : Text

public func abs(x : Int16) : Int16

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

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

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

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

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

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

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

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

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

public func neg(x : Int16) : Int16

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

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

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

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

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

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

public func bitnot(x : Int16) : Int16

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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