Int32

Utility functions on 32-bit signed integers

type Int32 = Prim.Types.Int32

public let minimumValue : Int32

public let maximumValue : Int32

public let toInt : Int32 -> Int

public let fromInt : Int -> Int32

public let fromIntWrap : Int -> Int32

public let fromInt16 : Int16 -> Int32

public let toInt16 : Int32 -> Int16

public let fromInt64 : Int64 -> Int32

public let toInt64 : Int32 -> Int64

public let fromNat32 : Nat32 -> Int32

public let toNat32 : Int32 -> Nat32

public func toText(x : Int32) : Text

public func abs(x : Int32) : Int32

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

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

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

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

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

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

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

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

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

public func neg(x : Int32) : Int32

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

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

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

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

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

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

public func bitnot(x : Int32) : Int32

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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