Int64

Utility functions on 64-bit signed integers

type Int64 = Prim.Types.Int64

public let minimumValue : Int64

public let maximumValue : Int64

public let toInt : Int64 -> Int

public let fromInt : Int -> Int64

public let fromInt32 : Int32 -> Int64

public let toInt32 : Int64 -> Int32

public let fromIntWrap : Int -> Int64

public let fromNat64 : Nat64 -> Int64

public let toNat64 : Int64 -> Nat64

public func toText(x : Int64) : Text

public func abs(x : Int64) : Int64

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

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

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

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

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

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

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

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

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

public func neg(x : Int64) : Int64

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

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

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

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

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

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

public func bitnot(x : Int64) : Int64

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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