Int64

64-bit signed integer type
64-bit signed integer type
INT64 The value is a signed 64-bit integer.
INT64 A 64-bit signed integer.
Generates a random 64-bit integer in the given [inclusive,inclusive] range. This is a specialization of integral, offered for convenience.
Decode an Int64 from a Dhall Integer.
>>> input int64 "-42"
-42
Encode a 16-bit signed integer as 4 bytes.
Type generalised Int64.
>>> int64 (1::Int32) == int64 (1::Integer)
True
>>> d_int64 (int64 (maxBound::Int64)) == maxBound
True
Signed 64-bit integer.
Parse a LEB-128-zigzag-encoded signed number. If the encoded number is outside the range [-9223372036854775808,9223372036854775807], this fails with the provided error.
Construct a BV from an Int64.
Deserialize a signed 64-bit integer in serializer default byte order.