package tezos-protocol-alpha
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053
doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Script_bytes/index.html
Module Tezos_raw_protocol_alpha.Script_bytesSource
Semantics of logical and bit-shift operators for bytes
bytes_or a b returns the logical or'ed bytes of a and b. If the arguments have different lengths, the shorter one is 0-padded on the left before the logical operation. For example:
0x1200 OR 0x34 = 0x1200 OR 0x0034 = 0x1234 0x0012 OR 0xff = 0x0012 OR 0x00ff = 0x00ff (instead of 0xff)
bytes_and a b returns the logical and'ed bytes of a and b. If the arguments have different lengths, the prefix of the longer one is removed to have the same length as the shorter one before the logical operation. For example:
0x1234 AND 0x30 = 0x34 AND 0x30 = 0x30 0x12f00f AND 0x0fff = 0xf00f AND 0x0fff = 0x000f (instead of 0x0f)
bytes_xor a b returns the logical xor'ed bytes of a and b. If the arguments have different lengths, the shorter one is 0-padded on the left before the logical operation. For example:
0x1200 XOR 0x34 = 0x1200 XOR 0x0034 = 0x1234 0x0012 XOR 0xff = 0x0012 XOR 0x00ff = 0x00ed (instead of 0xed)
bytes_not a returns the logical not'ed bytes of a with the same length of a. For example:
NOT 0xff00 = 0x00ff (instead of 0xff)
bytes_lsl bytes bits returns the bits left shifted bytes of bytes. If bits is more than 64000, it returns None.
The function always returns a longer bytes of the input if bits is not 0. For example:
0x12 LSL 1 = 0x0024 (instead of 0x24) 0x0012 LSL 9 = 0x00002400 (instead of 0x002400 or 0x2400)
bytes_lsr bytes bits returns the bits right shifted bytes of bytes.
0x1234 LSR 1 = 0x091a 0x1234 LSR 8 = 0x12 (instead of 0x0012)
Convert a natural number to bytes using big-endian encoding.
Convert bytes to a natural number using big-endian encoding.
Convert an integer to bytes using big-endian encoding. Negative numbers are handled by two's-complement.
Convert bytes to an integer using big-endian encoding. Negative numbers are handled by two's-complement.