package tezos-protocol-alpha
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Script_bytes/index.html
Module Tezos_raw_protocol_alpha.Script_bytes
Source
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.