utf8.bend checks

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

2 imports

import Base
import ./bytes.bend as B

Types

type Utf8.Error source · line 4 · raw

Data

Truncated
```
@index:Nat -> Utf8.Error
```
InvalidByte
```
@index:Nat -> @value:U32 -> Utf8.Error
```
Overlong
```
@index:Nat -> Utf8.Error
```
Surrogate
```
@index:Nat -> Utf8.Error
```
OutOfRange
```
@index:Nat -> @value:U32 -> Utf8.Error
```

type Utf8.Acc source · line 11 · raw

Data

AccOk
```
@xs:List<&2, U32> -> Utf8.Acc
```
AccErr
```
@e:Utf8.Error -> Utf8.Acc
```

type Utf8.DS source · line 15 · raw

Data

DLead
```
Utf8.DS
```
D2
```
@b0:U32 -> Utf8.DS
```
D3
```
@b0:U32 -> Utf8.DS
```
D3b
```
@b0:U32 -> @b1:U32 -> Utf8.DS
```
D4
```
@b0:U32 -> Utf8.DS
```
D4b
```
@b0:U32 -> @b1:U32 -> Utf8.DS
```

D4c

@b0:U32 -> @b1:U32 -> @b2:U32 -> Utf8.DS

DErr
```
@e:Utf8.Error -> Utf8.DS
```

Definitions

def Utf8.is_cont source · line 25 · raw

@+b:U32 -> Bool

def Utf8.is_sur source · line 28 · raw

@+cp:U32 -> Bool

def Utf8.low6 source · line 31 · raw

@b:U32 -> U32

def Utf8.cp2 source · line 34 · raw

@+b0:U32 -> @+b1:U32 -> U32

def Utf8.cp3 source · line 37 · raw

@+b0:U32 -> @+b1:U32 -> @+b2:U32 -> U32

def Utf8.cp4 source · line 43 · raw

@+b0:U32 -> @+b1:U32 -> @+b2:U32 -> @+b3:U32 -> U32

def Utf8.bad_cp.sur source · line 52 · raw

@sur:Bool -> Maybe<&2, Utf8.Error>

def Utf8.bad_cp.over source · line 59 · raw

@over:Bool -> @sur:Bool -> Maybe<&2, Utf8.Error>

def Utf8.bad_cp.big source · line 66 · raw

@+cp:U32 -> @big:Bool -> @over:Bool -> @sur:Bool -> Maybe<&2, Utf8.Error>

def Utf8.bad_cp source · line 75 · raw

@+cp:U32 -> @min:U32 -> Maybe<&2, Utf8.Error>

def Utf8.fix_idx source · line 80 · raw

@e:Utf8.Error -> @i:Nat -> Utf8.Error

def Utf8.st_cp.e source · line 93 · raw

@+cp:U32 -> @i:Nat -> @e:Maybe<&2, Utf8.Error> -> Utf8.DS

def Utf8.st_cp source · line 102 · raw

@+cp:U32 -> @i:Nat -> @min:U32 -> Utf8.DS

def Utf8.push_cp.e source · line 105 · raw

@+cp:U32 -> @acc:String -> @e:Maybe<&2, Utf8.Error> -> String

def Utf8.push_cp source · line 114 · raw

@+cp:U32 -> @acc:String -> @min:U32 -> String

def Utf8.st_cont.ok source · line 117 · raw

@+b:U32 -> @i:Nat -> @next:Utf8.DS -> @ok:Bool -> Utf8.DS

def Utf8.st_cont source · line 126 · raw

@+b:U32 -> @i:Nat -> @next:Utf8.DS -> Utf8.DS

def Utf8.class_lead.e source · line 129 · raw

@+h:U32 -> @i:Nat -> @four:Bool -> Utf8.DS

def Utf8.class_lead.d source · line 136 · raw

@+h:U32 -> @i:Nat -> @three:Bool -> Utf8.DS

def Utf8.class_lead.c source · line 143 · raw

@+h:U32 -> @i:Nat -> @two:Bool -> @three:Bool -> Utf8.DS

def Utf8.class_lead.b source · line 152 · raw

@+h:U32 -> @i:Nat -> @cont:Bool -> Utf8.DS

def Utf8.class_lead.a source · line 159 · raw

@+h:U32 -> @i:Nat -> @ascii:Bool -> Utf8.DS

def Utf8.class_lead source · line 166 · raw

@+h:U32 -> @i:Nat -> Utf8.DS

def Utf8.ascii_acc source · line 169 · raw

@+h:U32 -> @acc:String -> @ascii:Bool -> String

def Utf8.push2.c source · line 176 · raw

@+b0:U32 -> @+b1:U32 -> @acc:String -> @ok:Bool -> String

def Utf8.push2 source · line 183 · raw

@+b0:U32 -> @+b1:U32 -> @acc:String -> String

def Utf8.after2.c source · line 186 · raw

@+b0:U32 -> @+b1:U32 -> @i:Nat -> @ok:Bool -> Utf8.DS

def Utf8.after2 source · line 193 · raw

@+b0:U32 -> @+b1:U32 -> @i:Nat -> Utf8.DS

def Utf8.push3.c source · line 196 · raw

@+b0:U32 -> @+b1:U32 -> @+b2:U32 -> @acc:String -> @ok:Bool -> String

def Utf8.push3 source · line 205 · raw

@+b0:U32 -> @+b1:U32 -> @+b2:U32 -> @acc:String -> String

def Utf8.after3.c source · line 208 · raw

@+b0:U32 -> @+b1:U32 -> @+b2:U32 -> @i:Nat -> @ok:Bool -> Utf8.DS

def Utf8.after3 source · line 217 · raw

@+b0:U32 -> @+b1:U32 -> @+b2:U32 -> @i:Nat -> Utf8.DS

def Utf8.push4.c source · line 220 · raw

@+b0:U32 -> @+b1:U32 -> @+b2:U32 -> @+b3:U32 -> @acc:String -> @ok:Bool -> String

def Utf8.push4 source · line 229 · raw

@+b0:U32 -> @+b1:U32 -> @+b2:U32 -> @+b3:U32 -> @acc:String -> String

def Utf8.after4.c source · line 234 · raw

@+b0:U32 -> @+b1:U32 -> @+b2:U32 -> @+b3:U32 -> @i:Nat -> @ok:Bool -> Utf8.DS

def Utf8.after4 source · line 243 · raw

@+b0:U32 -> @+b1:U32 -> @+b2:U32 -> @+b3:U32 -> @i:Nat -> Utf8.DS

def Utf8.dec.go source · line 248 · raw

@xs:List<&2, U32> -> @st:Utf8.DS -> @acc:String -> @+i:Nat -> Result<&2, &2, Utf8.Error, String>

def Utf8.decode source · line 301 · raw

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

def Utf8.emit2 source · line 306 · raw

@+cp:U32 -> @acc:List<&2, U32> -> List<&2, U32>

def Utf8.emit3 source · line 312 · raw

@+cp:U32 -> @acc:List<&2, U32> -> List<&2, U32>

def Utf8.emit4 source · line 321 · raw

@+cp:U32 -> @acc:List<&2, U32> -> List<&2, U32>

def Utf8.emit.e source · line 333 · raw

@+cp:U32 -> @acc:List<&2, U32> -> @b4:Bool -> Utf8.Acc

def Utf8.emit.d source · line 340 · raw

@+cp:U32 -> @acc:List<&2, U32> -> @b3:Bool -> Utf8.Acc

def Utf8.emit.c source · line 347 · raw

@+cp:U32 -> @acc:List<&2, U32> -> @sur:Bool -> @b3:Bool -> Utf8.Acc

def Utf8.emit.b source · line 356 · raw

@+cp:U32 -> @acc:List<&2, U32> -> @b2:Bool -> Utf8.Acc

def Utf8.emit.a source · line 363 · raw

@+cp:U32 -> @acc:List<&2, U32> -> @b1:Bool -> @b2:Bool -> Utf8.Acc

def Utf8.emit source · line 372 · raw

@+cp:U32 -> @acc:List<&2, U32> -> Utf8.Acc

def Utf8.emit_at.fix source · line 375 · raw

@a:Utf8.Acc -> @i:Nat -> Utf8.Acc

def Utf8.emit_at source · line 382 · raw

@cp:U32 -> @acc:List<&2, U32> -> @i:Nat -> Utf8.Acc

def Utf8.enc.go source · line 385 · raw

@s:String -> @acc:Utf8.Acc -> @+i:Nat -> Result<&2, &2, Utf8.Error, 0x888714bde93f46c139372bb9fdc57a19/bytes.Bytes>

def Utf8.encode source · line 396 · raw

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