qasim-bend-kit
Releases (3)
Definitions (1,592)
libs/JSON.bend
- def fast_result
- def payload_other
- def payload_number
- def decode_payload
- type LexemeLexical boundaries are found once.
- def flush_lexeme
- type LexMode
- type LexAction
- def lex_outside_other
- def lex_outside_action
- def lex_action
- def lex_seed_action
- def lex_end
- def lexemes
- def lex_scan
- def source_textThe reverse token stream that corresponds to render(value, mode, suffix).
- def source
- type LexTree
- type Token
- type TokenTree
- def lex_leaves
- def lex_pairs
- def lex_join
- def lex_balance
- def lex_tree
- def decode_lexeme
- def decode_tree
- def token_list
- type Assembly
- def assembly_resume
- def assembly_atom
- def assembly_value
- def assembly_key_value
- def assembly_key
- def assembly_step
- def assembly_finish
- def assemble
- def parse_normalized
- def parseCall as parse!(text) to place the complete parse on Bend's GPU scheduler when one is available.
- def numberSmart constructor.
- type BatchIndependent documents form a fork/join tree.
- type BatchResult
- def parse_batch
- def parse_gpuThe !
- def parse_batch_gpu
- def batch_leavesBuild a balanced fork tree from documents in source order.
- def batch_pairs
- def batch_build
- def batch_from_list
- def parse_optional_batch_gpu
- def parse_many_gpuBuild the fork tree before entering the device.
libs/URL.bend
- def hex_digit_kindEncode one byte as a percent escape.
- def hex_digit
- def percent_byte
- def percent_codepoint_width
- def percent_codepoint
- def percent_characters
- def percent_componentPercent-encode a URL component as UTF-8 bytes.
libs/wire/wire.bend
- def connectTCP connect to a numeric IPv4 or IPv6 address, with a deadline.
- def recvOctet-String TCP and UDP effects are the slow path: one Char cell per byte.
- def send
- def send.timeoutLike send, but interrupts a blocked write at the supplied millisecond deadline.
- def recv_from
- def send_to
- def tls.connectTLS over a connected TCP socket (OpenSSL 3, loaded at run time; BEND_LIBSSL overrides its path).
- def tls.connect.certUse a PEM certificate chain and its private key for mutual TLS.
- def tls.connect.alpnprotos is a comma-separated ALPN list (for example "h2,http/1.1").
- def tls.sendThe String TLS effects are the slow path: one Char cell per octet.
- def tls.send.timeoutLike tls.send, but interrupts a blocked SSL write at the supplied deadline.
- def tls.recv"" once the peer sends close_notify.
- def tls.closeEnds the TLS session and closes the socket.
- def recv.wordsThe .words forms move (len, words): bytes packed four to a U32, laid out as bytes/bytes.bend packs them, so no String cell is made per byte.
- def send.wordslen past the end of words fails with EINVAL.
- def recv_from.wordsUDP keeps the sender address and port beside the packed datagram.
- def send_to.wordslen past the end of words fails with EINVAL.
- def tls.recv.wordslen 0 once the peer sends close_notify.
- def tls.send.words
proof/AES_BlockBridgeProof.bend
- def rounds_input_matchesKeep fuel symbolic while substituting the certified initial state.
- def expanded_block_from_initialEstablish the public-function conversion while inputs remain symbolic.
proof/AES_CanonicalProof.bend
- def encoding_or
- def canonical_sound_done
- def canonical_sound
- def canonical_law
- def map_done_text
- def canonical_map_from_encoded
proof/AES_CertificateProof.bend
- def bool_codeDecidable equality makes certificates for Bool and Nat unique.
- def bool_code_refl
- def bool_encode
- def bool_decode
- def bool_decode_refl
- def bool_decode_encode
- def bool_code_unique
- def bool_unique
- def nat_code
- def nat_code_refl
- def nat_encode
- def nat_decode
- def nat_decode_refl
- def nat_decode_encode
- def nat_code_unique