bytes.bend checks

type Tree source · line 3 · raw

Data

• Empty

  Tree

• Chunk

  @values:List<&2, U32> -> Tree

• Join

  @left:Tree -> @right:Tree -> Tree

type Builder source · line 8 · raw

Data

• Buffer

  @limit:U32 -> @length:U32 -> @tree:Tree -> Builder

type Error source · line 11 · raw

Data

• InvalidByte

  @value:U32 -> Error

• Limit

  Error

def empty source · line 15 · raw

@limit:U32 -> Builder

def length source · line 18 · raw

@builder:Builder -> U32

def limit source · line 23 · raw

@builder:Builder -> U32

def guard source · line 29 · raw

@valid:Bool -> @error:Error -> @next:(@_:Unit -> Result<&1, &1, Error, U32>) -> Result<&1, &1, Error, U32>

def scan source · line 36 · raw

@values:List<&2, U32> -> @+room:U32 -> @+count:U32 -> Result<&1, &1, Error, U32>

def attach source · line 44 · raw

@result:Result<&1, &1, Error, U32> -> @b:Builder -> @values:List<&2, U32> -> Result<&1, &1, Error, Builder>

def append source · line 51 · raw

@builder:Builder -> @+values:List<&2, U32> -> Result<&1, &1, Error, Builder>

def fragment source · line 56 · raw

@cap:U32 -> @values:List<&2, U32> -> Result<&1, &1, Error, Builder>

def byte source · line 59 · raw

@builder:Builder -> @value:U32 -> Result<&1, &1, Error, Builder>

def combine source · line 62 · raw

@ok:Bool -> @cap:U32 -> @left_n:U32 -> @right_n:U32 -> @left:Tree -> @right:Tree -> Result<&1, &1, Error, Builder>

def compose source · line 69 · raw

@left:Builder -> @right:Builder -> Result<&1, &1, Error, Builder>

def emit source · line 74 · raw

@tree:Tree -> @suffix:List<&2, U32> -> List<&2, U32>

def finish source · line 83 · raw

@builder:Builder -> List<&2, U32>