bend-collections

Search uses release 1.0.0.0 · 4,483 definitions

Releases (1)

1.0.0.0 indexed

Definitions (4,483)

src/containers/simple_queue.bend

def to_list

src/containers/stack.bend

type StackStack over the native singly linked List, with a stored length.
def new
def length
def push
def pop
def peek
def to_list
def obs_nat
def obs_item
def obs_list
def step
def record
def step_acc
def run_acc
def finish
def run

src/containers/types/binary_heap.bend

type Error
type Op
type Obs

src/containers/types/bitlist.bend

type Error
type OpOne public operation, for arbitrary finite operation traces.
type ObsThe observable answer of one operation.

src/containers/types/bitset.bend

type Error
type OpBinary operations carry the operand as its logical bit sequence (bit 0 first); the runner builds the operand bitset with the public from_bools.
type Obs

src/containers/types/deque.bend

type Error
type Op
type Obs

src/containers/types/doubly_linked_list.bend

type Error
type HandleA handle identifies the list, physical slot and its incarnation.
type Item
type Op
type Obs

src/containers/types/dynamic_array.bend

type Error
type OpOne public operation, for arbitrary finite operation traces.
type ObsThe observable answer of one operation.
type RejectedA rejected owning write returns its input value to the caller.

src/containers/types/internal_dlist.bend

type Error
type HandleOpaque element handle: the owning list's tag and the element's id.
type Item
type Op
type Obs

src/containers/types/intrusive_doubly_linked_list.bend

type ErrorA traversal consumed its supplied bound before reaching the end.
type Search
type Filter
type PoolThe pool reuses the selected next link as a free stack.
type DefaultNodeOptional wrapper for a value that does not already carry an association.

src/containers/types/queue.bend

type Error
type Op
type Obs

src/containers/types/stack.bend

type Error
type Op
type Obs

src/crypto/aead.bend

type Alg
def key_size
def nonce_size
def tag_size
def sealciphertext || tag (encrypt checks the key and nonce lengths first).
def openThe plaintext of ciphertext || tag, or None (decrypt checks the lengths first).
def valid
def when_open
def encrypt
def decrypt

src/crypto/aead/chacha20poly1305.bend

def poly_keypoly1305_key_gen: the first 32 bytes of the block with counter 0.
def pad16
def le8The eight little-endian bytes of a length.
def mac_data
def tag
def encrypt_ctchacha20_encrypt(key, 1, nonce, plaintext).
def sealciphertext || tag, without length checks.
def open_tag
def open_split
def open_len
def openThe plaintext of ciphertext || tag, without key/nonce length checks.
def xkeyXChaCha20-Poly1305: the HChaCha20 subkey of nonce[0..16] and the nonce 0x00000000 || nonce[16..24].
def xnonce
def xseal
def xopen
def lengths_ok
def when
def when_open
def encrypt
def decrypt
def xencrypt
def xdecrypt

src/crypto/aes/aes.bend

def sub_word
def sub_bytes
def shift_rowsRow r moves r columns to the left.
def mix_column
def mix_columns
def xor_word
def add_round_key
def round
def last_round
def roundsn full rounds, then the final round.
def cipher
def rot_word
def xpowx^n in GF(2^8), by doubling.
def rcon