Int8 -package:rattletrap

8-bit signed integer type
8-bit signed integer type
Encode a single signed byte as-is.
Encoding single signed bytes as-is.
Generates a random 8-bit integer in the given [inclusive,inclusive] range. This is a specialization of integral, offered for convenience.
Parse a Int8.
Decode an Int8 from a Dhall Integer.
>>> input int8 "-42"
-42
Decoder of the INT8 values.
Encoder of INT8 values.
Signed 8-bit integer.
Construct a BV from an Int8.
Deserialize a signed 8-bit integer.
Serialize a signed 8-bit integer.
Serialize a single signed byte.
Int8# type
Decode JSON number to Int8