bytes.bend checks
raw source on the hub · import bend-codec-lib@0.2.0.0/bytes.bend as Bytes
1 import
import Base
Types
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
Definitions
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>