Word32

32-bit unsigned integer type
32-bit unsigned integer type
Generates a random 32-bit word in the given [inclusive,inclusive] range. This is a specialization of integral, offered for convenience.
Decode a Word32 from a Dhall Natural.
>>> input word32 "42"
42
Encode a 32-bit unsigned integer as 4 bytes.
Note: This results in a zigzag encoded number. Avro does not have unsigned types.
Unsigned 32-bit word.
Parse a LEB-128-encoded number. If the number is larger than 0xFFFFFFFF, fails with the provided error.
Construct a BV from a Word32.
>>> let buf = pack [1,2,3,4,5,6,7,8]

>>> word32 buf
16909060
Deserialize an unsigned 32-bit integer in default byte order.
Serialize an unsigned 32-bit integer in the default byte order.
Word32# type
Decode JSON number to bounded Word32
Encode JSON number to bounded Word32