bend-kit-protobuf Releases (2): 0.2.0.0 0xde6cf0d1fc0b3a3ad4eeb8380d10f3c7 indexed https://jend.leeeet.dev/files.txt?path=bend-kit-protobuf@0.2.0.0 0.1.0.0 0x8843bff7971fd45a4db82e4200ac8bd6 unindexed https://jend.leeeet.dev/files.txt?path=bend-kit-protobuf@0.1.0.0 Definitions (125, 1 to 100 shown): Protobuf.Word64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Word64) # Signed integers use two's-complement bits, not host numeric conversions. type Word64 is Data: Word64{hi: U32, lo: U32} Protobuf.Error (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Error) type Error is Data: Incomplete{} Malformed{} Limit{} InvalidUtf8{} Protobuf.Value (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Value) type Value is Type: Varint{value: Word64} Fixed32{value: U32} Fixed64{value: Word64} Blob{value: B.Bytes} Group{fields: List<&1, Field>} Protobuf.Field (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Field) type Field is Type: Field{number: U32, value: Value} Protobuf.valid_number (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=valid_number) def valid_number(+n: U32) -> Bool: Protobuf.Word64.zero (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Word64.zero) def Word64.zero() -> Word64: Protobuf.Word64.is_zero (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Word64.is_zero) def Word64.is_zero(w: Word64) -> Bool: Protobuf.Word64.shr7 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Word64.shr7) def Word64.shr7(w: Word64) -> Word64: Protobuf.Word64.zigzag (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Word64.zigzag) def Word64.zigzag(w: Word64) -> Word64: Protobuf.Word64.unzigzag (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Word64.unzigzag) def Word64.unzigzag(w: Word64) -> Word64: Protobuf.read32.result (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read32.result) def read32.result(r: B.Cursor & Maybe<&2, U32>) -> Result<&2, &1, Error, B.Cursor & U32>: Protobuf.read32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read32) def read32(c: B.Cursor) -> Result<&2, &1, Error, B.Cursor & U32>: Protobuf.read64.hi (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read64.hi) def read64.hi(l: U32, r: B.Cursor & U32) -> Result<&2, &1, Error, B.Cursor & Word64>: Protobuf.read64.lo (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read64.lo) def read64.lo(r: B.Cursor & U32) -> Result<&2, &1, Error, B.Cursor & Word64>: Protobuf.read64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read64) def read64(c: B.Cursor) -> Result<&2, &1, Error, B.Cursor & Word64>: Protobuf.varint.add.low (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=varint.add.low) def varint.add.low(fifth: Bool, +i: U32, +v: U32, h: U32, l: U32) -> Word64: Protobuf.varint.add.pick (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=varint.add.pick) def varint.add.pick(low: Bool, +i: U32, +v: U32, w: Word64) -> Word64: Protobuf.varint.add (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=varint.add) def varint.add(+i: U32, +v: U32, w: Word64) -> Word64: Protobuf.VarintByte (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=VarintByte) type VarintByte is Data: VarintByte{bad: Bool, done: Bool, value: U32} Protobuf.varint.read.result (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=varint.read.result) def varint.read.result(i: U32, last: U32, max_last: U32, r: B.Cursor & Maybe<&2, U32>) -> B.Cursor & Maybe<&2, VarintByte>: Protobuf.varint.read (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=varint.read) def varint.read(+i: U32, last: U32, max_last: U32, c: B.Cursor) -> B.Cursor & Maybe<&2, VarintByte>: Protobuf.varint.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=varint.go) # The last byte must fit its word; its continuation bit is never allowed. def varint.go(fuel: Nat, r: B.Cursor & Maybe<&2, VarintByte>, +i: U32, +last: U32, +max_last: U32, w: Word64) -> Result<&2, &1, Error, B.Cursor & Word64>: Protobuf.read_varint (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read_varint) def read_varint(c: B.Cursor) -> Result<&2, &1, Error, B.Cursor & Word64>: Protobuf.read_varint32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read_varint32) def read_varint32(c: B.Cursor) -> Result<&2, &1, Error, B.Cursor & Word64>: Protobuf.read_blob.slice (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read_blob.slice) def read_blob.slice(pos: U32, start: U32, end: U32, r: B.Bytes & B.Bytes) -> Result<&2, &1, Error, B.Cursor & B.Bytes>: Protobuf.read_blob.fits (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read_blob.fits) def read_blob.fits(fits: Bool, c: B.Cursor, +n: U32) -> Result<&2, &1, Error, B.Cursor & B.Bytes>: Protobuf.read_blob.length (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read_blob.length) def read_blob.length(ok: Bool, c: B.Cursor, +n: U32) -> Result<&2, &1, Error, B.Cursor & B.Bytes>: Protobuf.read_blob.word (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read_blob.word) def read_blob.word(r: B.Cursor & Word64) -> Result<&2, &1, Error, B.Cursor & B.Bytes>: Protobuf.read_blob (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read_blob) def read_blob(c: B.Cursor) -> Result<&2, &1, Error, B.Cursor & B.Bytes>: Protobuf.read_value.varint (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read_value.varint) def read_value.varint(r: B.Cursor & Word64) -> Result<&2, &1, Error, B.Cursor & Value>: Protobuf.read_value.fixed64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read_value.fixed64) def read_value.fixed64(r: B.Cursor & Word64) -> Result<&2, &1, Error, B.Cursor & Value>: Protobuf.read_value.blob (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read_value.blob) def read_value.blob(r: B.Cursor & B.Bytes) -> Result<&2, &1, Error, B.Cursor & Value>: Protobuf.read_value.fixed32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read_value.fixed32) def read_value.fixed32(r: B.Cursor & U32) -> Result<&2, &1, Error, B.Cursor & Value>: Protobuf.read_value (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=read_value) def read_value(kind: U32, c: B.Cursor) -> Result<&2, &1, Error, B.Cursor & Value>: Protobuf.Frame (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Frame) type Frame is Type: Frame{number: U32, outer: List<&1, Field>, depth: Nat} Protobuf.DecodeState (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=DecodeState) type DecodeState is Type: DecodeState{empty: Bool, cursor: B.Cursor, depth: Nat, stack: List<&1, Frame>, acc: List<&1, Field>} Protobuf.decode.state (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=decode.state) def decode.state(cursor: B.Cursor, depth: Nat, stack: List<&1, Frame>, acc: List<&1, Field>) -> DecodeState: Protobuf.decode.step.value (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=decode.step.value) def decode.step.value(depth: Nat, stack: List<&1, Frame>, acc: List<&1, Field>, number: U32, r: B.Cursor & Value) -> Result<&2, &1, Error, DecodeState>: Protobuf.decode.step.close (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=decode.step.close) def decode.step.close(ok: Bool, c: B.Cursor, number: U32, outer: List<&1, Field>, depth: Nat, stack: List<&1, Frame>, acc: List<&1, Field>) -> Result<&2, &1, Error, DecodeState>: Protobuf.decode.step.kind (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=decode.step.kind) def decode.step.kind(kind: U32, c: B.Cursor, +depth: Nat, stack: List<&1, Frame>, acc: List<&1, Field>, +number: U32) -> Result<&2, &1, Error, DecodeState>: Protobuf.decode.step.valid (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=decode.step.valid) def decode.step.valid(ok: Bool, kind: U32, c: B.Cursor, depth: Nat, stack: List<&1, Frame>, acc: List<&1, Field>, number: U32) -> Result<&2, &1, Error, DecodeState>: Protobuf.decode.step.tag (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=decode.step.tag) def decode.step.tag(depth: Nat, stack: List<&1, Frame>, acc: List<&1, Field>, tag: B.Cursor & Word64) -> Result<&2, &1, Error, DecodeState>: Protobuf.decode.step (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=decode.step) def decode.step(c: B.Cursor, depth: Nat, stack: List<&1, Frame>, acc: List<&1, Field>) -> Result<&2, &1, Error, DecodeState>: Protobuf.decode.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=decode.go) # Explicit group stack keeps decoding linear and avoids mutually recursive parsers. def decode.go(fuel: Nat, state: DecodeState) -> Result<&2, &1, Error, List<&1, Field>>: Protobuf.decode.limit (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=decode.limit) def decode.limit(ok: Bool, b: B.Bytes, +n: U32, depth: Nat) -> Result<&2, &1, Error, List<&1, Field>>: Protobuf.decode (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=decode) def decode(b: B.Bytes, max_size: U32, depth: Nat) -> Result<&2, &1, Error, List<&1, Field>>: Protobuf.append.limit (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=append.limit) # Append checks subtraction before addition, including U32 size overflow. def append.limit(ok: Bool, out: B.Bytes, part: B.Bytes) -> Result<&2, &1, Error, B.Bytes>: Protobuf.append (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=append) def append(out: B.Bytes, part: B.Bytes, +max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.byte.limit (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=byte.limit) def byte.limit(ok: Bool, +n: U32, buf: Array, v: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.byte (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=byte) def byte(out: B.Bytes, v: U32, max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.write_varint.done (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=write_varint.done) def write_varint.done(w: Word64) -> Bool: Protobuf.write_varint.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=write_varint.go) def write_varint.go(fuel: Nat, done: Bool, w: Word64, out: B.Bytes, +max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.write_varint (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=write_varint) def write_varint(+w: Word64, out: B.Bytes, max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.write_tag.valid (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=write_tag.valid) def write_tag.valid(valid: Bool, number: U32, kind: U32, out: B.Bytes, max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.write_tag (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=write_tag) def write_tag(+number: U32, kind: U32, out: B.Bytes, max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.write_fixed32.limit (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=write_fixed32.limit) def write_fixed32.limit(ok: Bool, +n: U32, buf: Array, v: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.write_fixed32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=write_fixed32) def write_fixed32(v: U32, out: B.Bytes, max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.write_fixed64.limit (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=write_fixed64.limit) def write_fixed64.limit(ok: Bool, +n: U32, buf: Array, v: Word64) -> Result<&2, &1, Error, B.Bytes>: Protobuf.write_fixed64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=write_fixed64) def write_fixed64(v: Word64, out: B.Bytes, max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.write_value (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=write_value) def write_value(v: Value, out: B.Bytes, +max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.write_field (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=write_field) def write_field(number: U32, v: Value, out: B.Bytes, +max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.encode.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=encode.go) # Depth is the first decreasing argument for a group; list tails decrease the second. def encode.go(+depth: Nat, fields: List<&1, Field>, out: B.Bytes, +max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.encode (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=encode) def encode(fields: List<&1, Field>, max_size: U32, depth: Nat) -> Result<&2, &1, Error, B.Bytes>: Protobuf.PackedState (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=PackedState) type PackedState is Type: PackedState{empty: Bool, cursor: B.Cursor, acc: List<&1, Value>} Protobuf.packed_decode.state (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=packed_decode.state) def packed_decode.state(cursor: B.Cursor, acc: List<&1, Value>) -> PackedState: Protobuf.packed_decode.step.value (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=packed_decode.step.value) def packed_decode.step.value(acc: List<&1, Value>, r: B.Cursor & Value) -> Result<&2, &1, Error, PackedState>: Protobuf.packed_decode.step (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=packed_decode.step) def packed_decode.step(kind: U32, c: B.Cursor, acc: List<&1, Value>) -> Result<&2, &1, Error, PackedState>: Protobuf.packed_decode.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=packed_decode.go) def packed_decode.go(fuel: Nat, +kind: U32, state: PackedState) -> Result<&2, &1, Error, List<&1, Value>>: Protobuf.packed_decode.result (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=packed_decode.result) def packed_decode.result(r: Result<&2, &1, Error, List<&1, Value>>) -> Result<&2, &1, Error, List<&1, Value>>: Protobuf.packed_decode.limit (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=packed_decode.limit) def packed_decode.limit(fits: Bool, kind: U32, bytes: B.Bytes, n: U32) -> Result<&2, &1, Error, List<&1, Value>>: Protobuf.packed_decode.valid (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=packed_decode.valid) def packed_decode.valid(valid: Bool, kind: U32, b: B.Bytes, max_size: U32) -> Result<&2, &1, Error, List<&1, Value>>: Protobuf.packed_decode (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=packed_decode) def packed_decode(+kind: U32, b: B.Bytes, max_size: U32) -> Result<&2, &1, Error, List<&1, Value>>: Protobuf.packed_encode.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=packed_encode.go) def packed_encode.go(values: List<&1, Value>, out: B.Bytes, +max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.packed_encode (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=packed_encode) def packed_encode(values: List<&1, Value>, max_size: U32) -> Result<&2, &1, Error, B.Bytes>: Protobuf.from_uint32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=from_uint32) def from_uint32(v: U32) -> Value: Protobuf.to_uint32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=to_uint32) def to_uint32(v: Value) -> Result<&2, &2, Error, U32>: Protobuf.from_int32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=from_int32) def from_int32(+v: U32) -> Value: Protobuf.to_int32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=to_int32) def to_int32(v: Value) -> Result<&2, &2, Error, U32>: Protobuf.from_sint32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=from_sint32) def from_sint32(+v: U32) -> Value: Protobuf.unzigzag32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=unzigzag32) def unzigzag32(+bits: U32) -> U32: Protobuf.to_sint32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=to_sint32) def to_sint32(v: Value) -> Result<&2, &2, Error, U32>: Protobuf.from_fixed32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=from_fixed32) def from_fixed32(v: U32) -> Value: Protobuf.to_fixed32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=to_fixed32) def to_fixed32(v: Value) -> Result<&2, &2, Error, U32>: Protobuf.from_sfixed32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=from_sfixed32) def from_sfixed32(v: U32) -> Value: Protobuf.to_sfixed32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=to_sfixed32) def to_sfixed32(v: Value) -> Result<&2, &2, Error, U32>: Protobuf.from_uint64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=from_uint64) def from_uint64(v: Word64) -> Value: Protobuf.to_uint64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=to_uint64) def to_uint64(v: Value) -> Result<&2, &2, Error, Word64>: Protobuf.from_int64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=from_int64) def from_int64(v: Word64) -> Value: Protobuf.to_int64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=to_int64) def to_int64(v: Value) -> Result<&2, &2, Error, Word64>: Protobuf.from_sint64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=from_sint64) def from_sint64(v: Word64) -> Value: Protobuf.to_sint64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=to_sint64) def to_sint64(v: Value) -> Result<&2, &2, Error, Word64>: Protobuf.from_fixed64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=from_fixed64) def from_fixed64(v: Word64) -> Value: Protobuf.to_fixed64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=to_fixed64) def to_fixed64(v: Value) -> Result<&2, &2, Error, Word64>: Protobuf.from_sfixed64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=from_sfixed64) def from_sfixed64(v: Word64) -> Value: Protobuf.to_sfixed64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=to_sfixed64) def to_sfixed64(v: Value) -> Result<&2, &2, Error, Word64>: Protobuf.from_bool (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=from_bool) def from_bool(v: Bool) -> Value: Protobuf.to_bool (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=to_bool) def to_bool(v: Value) -> Result<&2, &2, Error, Bool>: Protobuf.float_of_bits (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=float_of_bits) # Numeric F32.to_u32 is not a bit cast. Reuse the native Word(32n) payload. def float_of_bits(v: U32) -> F32: Protobuf.from_float (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=from_float) def from_float(v: F32) -> Value: Protobuf.to_float (https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=to_float) def to_float(v: Value) -> Result<&2, &2, Error, F32>: More: https://jend.leeeet.dev/packages/bend-kit-protobuf.txt?definitions_offset=100