bytes.bend checks

type Bytes.Error source · line 3 · raw

Data

• InvalidByte

  @index:Nat -> @value:U32 -> Bytes.Error

type Bytes source · line 6 · raw

Data

• Bytes

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

def Bytes.ok_byte source · line 9 · raw

@x:U32 -> Bool

def Bytes.from_u32_list.go source · line 12 · raw

@xs:List<&2, U32> -> @acc:List<&2, U32> -> @i:Nat -> @ok:Bool -> @+h:U32 -> Result<&2, &2, Bytes.Error, Bytes>

def Bytes.from_u32_list.start source · line 23 · raw

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

def Bytes.from_u32_list source · line 32 · raw

@values:List<&2, U32> -> Result<&2, &2, Bytes.Error, Bytes>

def Bytes.to_u32_list source · line 37 · raw

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