lib.bend checks

raw source on the hub · import 0x64899be1eb10f0eeadb8816f50fda60d/lib.bend as Lib

Bytes — foundational byte-buffer for Bend. Publish entry for this package. Depends only on Base (does not reimplement List).

Encoding: newtype over List<&2, U32>, matching File.read_bytes payload. Each element is a raw U32 "byte" (callers conventionally keep 0..255). Quantity: Bytes is Data (U32 elements are Data / Kind(&2)).

Does not duplicate Base List algorithms: wrappers specialize List ops to the byte buffer type. Base has no Bytes type (bend base Bytes → missing).

1 import

import Base

Types

type Bytes source · line 12 · raw

Data

B
```
@data:List<&2, U32> -> Bytes
```

Definitions

def Bytes.empty source · line 17 · raw

Bytes

def Bytes.singleton source · line 20 · raw

@+b:U32 -> Bytes

def Bytes.from_list source · line 23 · raw

@xs:List<&2, U32> -> Bytes

def Bytes.to_list source · line 26 · raw

@bs:Bytes -> List<&2, U32>

def Bytes.length source · line 33 · raw

@bs:Bytes -> Nat

def Bytes.append source · line 38 · raw

@xs:Bytes -> @ys:Bytes -> Bytes

def Bytes.reverse source · line 43 · raw

@bs:Bytes -> Bytes

def Bytes.get source · line 48 · raw

@bs:Bytes -> @n:Nat -> Maybe<&2, U32>

def Bytes.eq.go source · line 55 · raw

@xs:List<&2, U32> -> @ys:List<&2, U32> -> Bool

def Bytes.eq source · line 66 · raw

@a:Bytes -> @b:Bytes -> Bool

def Bytes.hex.digit source · line 74 · raw

@+n:U32 -> Char

def Bytes.hex.byte source · line 79 · raw

@+b:U32 -> String

def Bytes.hex.go source · line 85 · raw

@xs:List<&2, U32> -> String

def Bytes.hex source · line 92 · raw

@bs:Bytes -> String