bend-kit-http2 Releases (6): 0.4.0.0 0xcab783baa57a7e43851a978aef74e98c indexed https://jend.leeeet.dev/files.txt?path=bend-kit-http2@0.4.0.0 0.3.0.0 0xa11bdb2813e74dfef72c6e83d97094c3 unindexed https://jend.leeeet.dev/files.txt?path=bend-kit-http2@0.3.0.0 0.2.0.0 0xc0a30c11b68a9aafb25795f94a58eba5 unindexed https://jend.leeeet.dev/files.txt?path=bend-kit-http2@0.2.0.0 0.1.2.0 0x75e7d19d0e4887c8e9651d356bafc276 unindexed https://jend.leeeet.dev/files.txt?path=bend-kit-http2@0.1.2.0 0.1.1.0 0xd41d074c90469a15eca58dd6df15d1c8 unindexed https://jend.leeeet.dev/files.txt?path=bend-kit-http2@0.1.1.0 0.1.0.0 0x7d511bbdf34d581deb3611be646b20d8 unindexed https://jend.leeeet.dev/files.txt?path=bend-kit-http2@0.1.0.0 Definitions (263, 1 to 100 shown): Hpack.Field (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=Field) # mode: 0 permits indexing, 1 is without indexing, 2 is never indexed. type Field is Data: Field{name: String, value: String, mode: U32} Hpack.State (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=State) type State is Data: State{entries: List<&2, Field>, size: U32, capacity: U32, allowed: U32, pending: Maybe<&2, U32>, minimum: Maybe<&2, U32>} Hpack.new (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=new) def new(+max: U32) -> State: Hpack.static (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=static) # RFC 7541 Appendix A, indexed from 1 to 61. def static(+index: U32) -> Field: Hpack.Cursor (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=Cursor) type Cursor is Type: Cursor{bytes: Bytes.Bytes, at: U32, length: U32} Hpack.take.of (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=take.of) def take.of(r: Bytes.Bytes & Maybe<&2, U32>, +at: U32, +length: U32) -> Maybe<&1, Cursor & U32>: Hpack.take (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=take) def take(c: Cursor) -> Maybe<&1, Cursor & U32>: Hpack.with_pair (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=with_pair) def with_pair(-R: Type, r: Cursor & U32, k: Cursor -> U32 -> R) -> R: Hpack.with_taken (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=with_taken) def with_taken(-R: Type, m: Maybe<&1, Cursor & U32>, k: Cursor -> U32 -> Maybe<&1, R>) -> Maybe<&1, R>: Hpack.within (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=within) def within(ok: Bool) -> Maybe<&1, Unit>: Hpack.integer.done (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=integer.done) def integer.done(n: Nat, cont: Bool, c: Cursor, +shift: U32, +value: U32) -> Maybe<&1, Cursor & U32>: Hpack.integer.more (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=integer.more) def integer.more(full: Bool, c: Cursor, +value: U32) -> Maybe<&1, Cursor & U32>: Hpack.integer.after (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=integer.after) def integer.after(+byte: U32, +mask: U32, c: Cursor) -> Maybe<&1, Cursor & U32>: Hpack.table.at (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=table.at) def table.at(xs: List<&2, Field>, n: Nat) -> Maybe<&2, Field>: Hpack.indexed.static (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=indexed.static) def indexed.static(valid: Bool, +i: U32) -> Maybe<&2, Field>: Hpack.indexed.choose (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=indexed.choose) def indexed.choose(s: Bool, +i: U32, xs: List<&2, Field>) -> Maybe<&2, Field>: Hpack.indexed (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=indexed) def indexed(+i: U32, st: State) -> Maybe<&2, Field>: Hpack.literal.decoded (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=literal.decoded) def literal.decoded(huff: Bool, b: Bytes.Bytes) -> Maybe<&2, String>: Hpack.literal.result (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=literal.result) def literal.result(m: Maybe<&2, String>, b: Bytes.Bytes, +at: U32, +count: U32, +length: U32) -> Maybe<&1, Cursor & String>: Hpack.literal.slice (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=literal.slice) def literal.slice(r: Bytes.Bytes & Bytes.Bytes, huff: Bool, +at: U32, +count: U32, +length: U32) -> Maybe<&1, Cursor & String>: Hpack.literal.fits (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=literal.fits) def literal.fits(ok: Bool, huff: Bool, b: Bytes.Bytes, +at: U32, +count: U32, +length: U32) -> Maybe<&1, Cursor & String>: Hpack.literal.bytes (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=literal.bytes) def literal.bytes(huff: Bool, c: Cursor, +count: U32) -> Maybe<&1, Cursor & String>: Hpack.literal (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=literal) def literal(c: Cursor) -> Maybe<&1, Cursor & String>: Hpack.field.size (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=field.size) def field.size(f: Field) -> U32: Hpack.table.trim.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=table.trim.go) def table.trim.go(xs: List<&2, Field>, +room: U32, keep: Bool, +acc: List<&2, Field>, +used: U32) -> List<&2, Field> & U32: Hpack.table.trim (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=table.trim) def table.trim(xs: List<&2, Field>, +capacity: U32) -> List<&2, Field> & U32: Hpack.table.trimmed (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=table.trimmed) def table.trimmed(r: List<&2, Field> & U32, +capacity: U32, +allowed: U32, pending: Maybe<&2, U32>, minimum: Maybe<&2, U32>) -> State: Hpack.table.add (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=table.add) def table.add(room: Bool, +field: Field, xs: List<&2, Field>, +used: U32, +capacity: U32, +allowed: U32, pending: Maybe<&2, U32>, minimum: Maybe<&2, U32>) -> State: Hpack.table.oversize (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=table.oversize) def table.oversize(too_big: Bool, +field: Field, xs: List<&2, Field>, +used: U32, +capacity: U32, +allowed: U32, pending: Maybe<&2, U32>, minimum: Maybe<&2, U32>) -> State: Hpack.table.insert (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=table.insert) def table.insert(+field: Field, st: State) -> State: Hpack.field.matches (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=field.matches) def field.matches(exact: Bool, f: Field, +name: String, +value: String) -> Bool: Hpack.find.static (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=find.static) def find.static(+exact: Bool, n: Nat, +i: U32, +name: String, +value: String, found: U32) -> U32: Hpack.find.dynamic (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=find.dynamic) def find.dynamic(+exact: Bool, xs: List<&2, Field>, +i: U32, +name: String, +value: String, found: U32) -> U32: Hpack.find.in_dynamic (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=find.in_dynamic) def find.in_dynamic(exact: Bool, st: State, +name: String, +value: String, found: U32) -> U32: Hpack.find.index (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=find.index) def find.index(+exact: Bool, st: State, +name: String, +value: String) -> U32: Hpack.limit.min (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=limit.min) def limit.min(m: Maybe<&2, U32>, +n: U32) -> U32: Hpack.set_limit (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=set_limit) def set_limit(+n: U32, st: State) -> State: Hpack.table.resize (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=table.resize) def table.resize(+n: U32, st: State) -> State: Hpack.Step (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=Step) type Step is Type: Step{state: State, cursor: Cursor, field: Maybe<&2, Field>} Hpack.with_text.pair (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=with_text.pair) def with_text.pair(-R: Type, r: Cursor & String, k: Cursor -> String -> R) -> R: Hpack.with_text (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=with_text) def with_text(-R: Type, m: Maybe<&1, Cursor & String>, k: Cursor -> String -> Maybe<&1, R>) -> Maybe<&1, R>: Hpack.name.indexed (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=name.indexed) def name.indexed(m: Maybe<&2, Field>, c: Cursor) -> Maybe<&1, Cursor & String>: Hpack.name.read (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=name.read) def name.read(+i: U32, st: State, c: Cursor) -> Maybe<&1, Cursor & String>: Hpack.decode.indexed.field (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.indexed.field) def decode.indexed.field(m: Maybe<&2, Field>, st: State, c: Cursor) -> Maybe<&1, Step>: Hpack.decode.indexed (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.indexed) def decode.indexed(+first: U32, +st: State, c: Cursor) -> Maybe<&1, Step>: Hpack.decode.literal.finish (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.literal.finish) def decode.literal.finish(insert: Bool, +field: Field, st: State, c: Cursor) -> Maybe<&1, Step>: Hpack.decode.literal (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.literal) def decode.literal(+first: U32, +mask: U32, +mode: U32, +st: State, c: Cursor) -> Maybe<&1, Step>: Hpack.decode.min (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.min) def decode.min(m: Maybe<&2, U32>, +n: U32) -> Bool: Hpack.decode.updated.from (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.updated.from) def decode.updated.from(st: State, c: Cursor) -> Maybe<&1, Step>: Hpack.decode.updated (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.updated) def decode.updated(n: U32, st: State, c: Cursor) -> Maybe<&1, Step>: Hpack.decode.update.valid (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.update.valid) def decode.update.valid(valid: Bool, +n: U32, st: State, c: Cursor) -> Maybe<&1, Step>: Hpack.decode.update.value (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.update.value) def decode.update.value(+n: U32, st: State, c: Cursor) -> Maybe<&1, Step>: Hpack.decode.update (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.update) def decode.update(+first: U32, st: State, c: Cursor, seen: Bool) -> Maybe<&1, Step>: Hpack.decode.ready (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.ready) def decode.ready(st: State) -> Bool: Hpack.decode.kind (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.kind) def decode.kind(+first: U32) -> U32: Hpack.decode.representation (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.representation) def decode.representation(kind: U32, +first: U32, c: Cursor, +st: State, seen: Bool) -> Maybe<&1, Step>: Hpack.decode.one (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.one) def decode.one(c: Cursor, +st: State, seen: Bool) -> Maybe<&1, Step>: Hpack.decode.add (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.add) def decode.add(m: Maybe<&2, Field>, acc: List<&2, Field>, seen: Bool) -> List<&2, Field> & Bool: Hpack.with_step (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=with_step) def with_step(-R: Type, step: Step, k: State -> Cursor -> Maybe<&2, Field> -> R) -> R: Hpack.with_end (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=with_end) def with_end(-R: Type, c: Cursor, k: Cursor -> Bool -> R) -> R: Hpack.with_fields (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=with_fields) def with_fields(-R: Type, r: List<&2, Field> & Bool, k: List<&2, Field> -> Bool -> R) -> R: Hpack.decode.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.go) def decode.go(fuel: Nat, ended: Bool, c: Cursor, st: State, acc: List<&2, Field>, +seen: Bool) -> Maybe<&1, State & List<&2, Field>>: Hpack.decode (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode) def decode(block: Bytes.Bytes, st: State) -> Maybe<&1, State & List<&2, Field>>: Hpack.integer.tail (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=integer.tail) def integer.tail(n: Nat, +value: U32, active: Bool) -> String: Hpack.integer.encoded (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=integer.encoded) def integer.encoded(small: Bool, +prefix: U32, +mask: U32, +value: U32) -> Bytes.Bytes: Hpack.integer.encode (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=integer.encode) def integer.encode(+prefix: U32, +mask: U32, +value: U32) -> Bytes.Bytes: Hpack.octets.valid (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=octets.valid) def octets.valid(s: String) -> Bool: Hpack.literal.raw (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=literal.raw) def literal.raw(+s: String) -> Maybe<&1, Bytes.Bytes>: Hpack.literal.pack (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=literal.pack) def literal.pack(b: Bytes.Bytes, huff: Bool) -> Bytes.Bytes: Hpack.literal.encode (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=literal.encode) def literal.encode(huff: Bool, s: String) -> Maybe<&1, Bytes.Bytes>: Hpack.name.parts (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=name.parts) def name.parts(+index: U32, huff: Bool, name: String) -> Maybe<&1, List<&1, Bytes.Bytes>>: Hpack.encode.literal.bytes (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode.literal.bytes) def encode.literal.bytes(+index: U32, +prefix: U32, +mask: U32, +huff: Bool, name: String, value: String) -> Maybe<&1, Bytes.Bytes>: Hpack.encode.literal.done (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode.literal.done) def encode.literal.done(insert: Bool, field: Field, st: State, b: Bytes.Bytes) -> Maybe<&1, State & Bytes.Bytes>: Hpack.encode.literal (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode.literal) def encode.literal(+mode: U32, +name: String, +value: String, huff: Bool, +st: State) -> Maybe<&1, State & Bytes.Bytes>: Hpack.encode.exact (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode.exact) def encode.exact(found: Bool, +index: U32, +name: String, +value: String, huff: Bool, st: State) -> Maybe<&1, State & Bytes.Bytes>: Hpack.encode.field (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode.field) def encode.field(f: Field, huff: Bool, +st: State) -> Maybe<&1, State & Bytes.Bytes>: Hpack.encode.cleared (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode.cleared) def encode.cleared(st: State, pieces: List<&1, Bytes.Bytes>) -> State & List<&1, Bytes.Bytes>: Hpack.encode.emit (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode.emit) def encode.emit(smaller: Bool, +minimum: U32, +final: U32, st: State) -> State & List<&1, Bytes.Bytes>: Hpack.encode.pending (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode.pending) def encode.pending(m: Maybe<&2, U32>, minimum: Maybe<&2, U32>, st: State) -> State & List<&1, Bytes.Bytes>: Hpack.encode.prepare (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode.prepare) def encode.prepare(st: State) -> State & List<&1, Bytes.Bytes>: Hpack.with_encoded (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=with_encoded) def with_encoded(-R: Type, r: State & Bytes.Bytes, k: State -> Bytes.Bytes -> R) -> R: Hpack.encode.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode.go) def encode.go(xs: List<&2, Field>, +huff: Bool, st: State, acc: List<&1, Bytes.Bytes>) -> Maybe<&1, State & List<&1, Bytes.Bytes>>: Hpack.encode.finish (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode.finish) def encode.finish(r: State & List<&1, Bytes.Bytes>) -> State & Bytes.Bytes: Hpack.encode.from (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode.from) def encode.from(r: State & List<&1, Bytes.Bytes>, fields: List<&2, Field>, huff: Bool) -> Maybe<&1, State & Bytes.Bytes>: Hpack.encode (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=encode) def encode(fields: List<&2, Field>, huff: Bool, st: State) -> Maybe<&1, State & Bytes.Bytes>: Http2.Frame (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Frame) type Frame is Type: Frame{kind: U32, flags: U32, stream: U32, payload: Bytes.Bytes} Http2.Error (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Error) type Error is Data: Error{code: U32, connection: Bool, stream: U32} Http2.Decode (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Decode) type Decode is Type: Need{input: Bytes.Bytes} Got{frame: Frame, rest: Bytes.Bytes} Bad{error: Error} Http2.Checked (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Checked) type Checked is Type: Valid{frame: Frame} Invalid{error: Error} Http2.fail (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=fail) # Error codes from RFC 9113 ยง7: 1=PROTOCOL_ERROR, 3=FLOW_CONTROL_ERROR, # 6=FRAME_SIZE_ERROR. A connection error uses stream 0. def fail(+code: U32, +connection: Bool, +stream: U32) -> Maybe<&2, Error>: Http2.reject (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=reject) def reject(bad: Bool, +code: U32, +connection: Bool, +stream: U32) -> Maybe<&2, Error>: Http2.first (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=first) def first(m: Maybe<&2, Error>, n: Maybe<&2, Error>) -> Maybe<&2, Error>: Http2.number (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=number) def number(m: Maybe<&2, U32>) -> U32: Http2.with_number (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=with_number) def with_number(-R: Type, r: Bytes.Bytes & Maybe<&2, U32>, k: Bytes.Bytes -> U32 -> R) -> R: Http2.with_slice (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=with_slice) def with_slice(-R: Type, r: Bytes.Bytes & Bytes.Bytes, k: Bytes.Bytes -> Bytes.Bytes -> R) -> R: Http2.has (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=has) def has(+flags: U32, +bit: U32) -> Bool: Http2.size.scope (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=size.scope) # Field blocks, SETTINGS, and stream 0 make frame-size faults connection-wide. def size.scope(+kind: U32, +stream: U32) -> Bool: Http2.size.error (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=size.error) def size.error(+kind: U32, +stream: U32) -> Error: Http2.size.reject (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=size.reject) def size.reject(oversized: Bool, +kind: U32, +stream: U32) -> Maybe<&2, Error>: Http2.padding (https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=padding) # A PADDED payload must contain the pad-length octet and all the padding. def padding(+flags: U32, +len: U32, +fixed: U32, +pad: U32) -> Bool: More: https://jend.leeeet.dev/packages/bend-kit-http2.txt?definitions_offset=100