hex.bend checks

raw source on the hub · import bend-codec-lib@0.2.0.0/hex.bend as Hex

2 imports

import Base
import ./bytes.bend as B

Types

type HexCase source · line 4 · raw

Data

HexLower
```
HexCase
```
HexUpper
```
HexCase
```

type Hex.Error source · line 8 · raw

Data

InvalidChar
```
@offset:Nat -> @char:Char -> Hex.Error
```
OddLength
```
@offset:Nat -> Hex.Error
```
InvalidByte
```
@index:Nat -> @value:U32 -> Hex.Error
```

type Hex.Pend source · line 13 · raw

Data

PendNone
```
Hex.Pend
```
PendHi
```
@hi:U32 -> Hex.Pend
```

Definitions

def Hex.from_bytes_err source · line 17 · raw

@e:0x888714bde93f46c139372bb9fdc57a19/bytes.Bytes.Error -> Hex.Error

def Hex.lo_digit_if source · line 22 · raw

@+n:U32 -> @is_num:Bool -> Char

def Hex.lo_digit source · line 29 · raw

@+n:U32 -> Char

def Hex.up_digit_if source · line 32 · raw

@+n:U32 -> @is_num:Bool -> Char

def Hex.up_digit source · line 39 · raw

@+n:U32 -> Char

def Hex.digit source · line 42 · raw

@+n:U32 -> @c:HexCase -> Char

def Hex.encode.byte source · line 49 · raw

@+b:U32 -> @acc:String -> @+casing:HexCase -> String

def Hex.encode.go source · line 54 · raw

@xs:List<&2, U32> -> @acc:String -> @+casing:HexCase -> String

def Hex.encode source · line 61 · raw

@bytes:0x888714bde93f46c139372bb9fdc57a19/bytes.Bytes -> @casing:HexCase -> String

def Hex.nibble.af2 source · line 66 · raw

@+x:U32 -> @le:Bool -> Maybe<&2, U32>

def Hex.nibble.af source · line 73 · raw

@+x:U32 -> @ge:Bool -> Maybe<&2, U32>

def Hex.nibble.az2 source · line 80 · raw

@+x:U32 -> @le:Bool -> Maybe<&2, U32>

def Hex.nibble.az source · line 87 · raw

@+x:U32 -> @ge:Bool -> Maybe<&2, U32>

def Hex.nibble.d092 source · line 94 · raw

@+x:U32 -> @le:Bool -> Maybe<&2, U32>

def Hex.nibble.d09 source · line 101 · raw

@+x:U32 -> @ge:Bool -> Maybe<&2, U32>

def Hex.nibble.u source · line 108 · raw

@+x:U32 -> Maybe<&2, U32>

def Hex.nibble source · line 111 · raw

@c:Char -> Maybe<&2, U32>

def Hex.decode.go source · line 114 · raw

@s:String -> @n:Maybe<&2, U32> -> @+h:Char -> @pend:Hex.Pend -> @acc:List<&2, U32> -> @off:Nat -> Result<&2, &2, Hex.Error, 0x888714bde93f46c139372bb9fdc57a19/bytes.Bytes>

def Hex.decode.start source · line 137 · raw

@s:String -> Result<&2, &2, Hex.Error, 0x888714bde93f46c139372bb9fdc57a19/bytes.Bytes>

def Hex.decode source · line 146 · raw

@text:String -> Result<&2, &2, Hex.Error, 0x888714bde93f46c139372bb9fdc57a19/bytes.Bytes>

def Hex.encode_u32_list.from source · line 149 · raw

@r:Result<&2, &2, 0x888714bde93f46c139372bb9fdc57a19/bytes.Bytes.Error, 0x888714bde93f46c139372bb9fdc57a19/bytes.Bytes> -> @+casing:HexCase -> Result<&2, &2, Hex.Error, String>

def Hex.encode_u32_list source · line 158 · raw

@values:List<&2, U32> -> @casing:HexCase -> Result<&2, &2, Hex.Error, String>

def Hex.decode_u32_list.from source · line 163 · raw

@r:Result<&2, &2, Hex.Error, 0x888714bde93f46c139372bb9fdc57a19/bytes.Bytes> -> Result<&2, &2, Hex.Error, List<&2, U32>>

def Hex.decode_u32_list source · line 172 · raw

@text:String -> Result<&2, &2, Hex.Error, List<&2, U32>>