books.bend checks

raw source on the hub · import 0x165c100ad73c506a5905a4a8273884a3/books.bend as Books

3 imports

import Base
import ./books_data.bend as D
import ./books_maps.bend as M

Types

type SpSt source · line 8 · raw

Data

SpCheck
```
SpSt
```
SpDecide
```
@keep:Bool -> SpSt
```
SpTake
```
SpSt
```

type OePh source · line 116 · raw

Data

Single recursive one-edit automaton (no mutual recursion)

OeGate
```
@over:Bool -> OePh
```
OeBody
```
OePh
```
OeEq
```
@same:Bool -> OePh
```
OeLen
```
@c:Cmp -> OePh
```

OeHoldA

@a:String -> @b:String -> @ta:String -> @tb:String -> @diffs:Nat -> OePh

type HaSt source · line 225 · raw

Data

HaCheck
```
HaSt
```
HaDecide
```
@is_a:Bool -> HaSt
```

type FzPh source · line 254 · raw

Data

FzScan
```
FzPh
```

FzTest

@code:String -> @same_first:Bool -> @digit_ok:Bool -> @near:Bool -> FzPh

Definitions

def char1 source · line 5 · raw

@+c:Char -> String

def is_alnum source · line 13 · raw

@+c:Char -> Bool

def strip_spaces_go source · line 16 · raw

@fuel:Nat -> @st:SpSt -> @rest:String -> @acc:String -> String

def strip_spaces source · line 45 · raw

@+s:String -> String

def alias_key source · line 53 · raw

@+raw:String -> String

def unmap_str source · line 56 · raw

@p:Pair(Map<&2, String>, String) -> String

def unmap_u32 source · line 61 · raw

@p:Pair(Map<&2, U32>, U32) -> U32

def unhas_str source · line 66 · raw

@p:Pair(Map<&2, String>, Bool) -> Bool

def unhas_u32 source · line 71 · raw

@p:Pair(Map<&2, U32>, Bool) -> Bool

def map_get_str source · line 76 · raw

@+m:Map<&2, String> -> @+key:String -> String

def map_get_u32 source · line 79 · raw

@+m:Map<&2, U32> -> @+key:String -> U32

def map_has_str source · line 82 · raw

@+m:Map<&2, String> -> @+key:String -> Bool

def map_has_u32 source · line 85 · raw

@+m:Map<&2, U32> -> @+key:String -> Bool

def exact_alias_hit source · line 88 · raw

@+key:String -> @hit:Bool -> Maybe<&2, String>

def exact_alias_nonempty source · line 95 · raw

@+key:String -> @empty:Bool -> Maybe<&2, String>

def exact_alias source · line 102 · raw

@+key:String -> Maybe<&2, String>

def nat_abs_diff_go source · line 105 · raw

@a:Nat -> @b:Nat -> @le:Bool -> Nat

def nat_abs_diff source · line 112 · raw

@+a:Nat -> @+b:Nat -> Nat

def one_edit_go source · line 123 · raw

@fuel:Nat -> @ph:OePh -> @+a:String -> @+b:String -> @+diffs:Nat -> Bool

def one_edit_apart_go source · line 188 · raw

@+a:String -> @+b:String -> @far:Bool -> Bool

def one_edit_apart source · line 201 · raw

@+a:String -> @+b:String -> Bool

def first_chars_match source · line 204 · raw

@+a:String -> @+b:String -> Bool

def starts_digit source · line 215 · raw

@s:String -> Bool

def bool_eq source · line 222 · raw

@a:Bool -> @b:Bool -> Bool

def has_alpha_go source · line 229 · raw

@fuel:Nat -> @st:HaSt -> @rest:String -> Bool

def has_alpha source · line 248 · raw

@+s:String -> Bool

def fuzzy_ok_key source · line 251 · raw

@+key:String -> Bool

def fuzzy_find source · line 258 · raw

@fuel:Nat -> @ph:FzPh -> @xs:List<&1, 0x165c100ad73c506a5905a4a8273884a3/books_data.Alias> -> @+key:String -> Maybe<&2, String>

def resolve_fuzzy_go source · line 295 · raw

@+key:String -> @ok:Bool -> Maybe<&2, String>

def resolve_fuzzy source · line 302 · raw

@+key:String -> Maybe<&2, String>

def resolve_alias_key_go source · line 305 · raw

@+key:String -> @exact:Maybe<&2, String> -> Maybe<&2, String>

def resolve_alias_key source · line 312 · raw

@+key:String -> Maybe<&2, String>

def resolve_alias source · line 315 · raw

@+raw:String -> Maybe<&2, String>

def chapter_count_go source · line 318 · raw

@+book:String -> @hit:Bool -> Maybe<&2, U32>

def chapter_count source · line 325 · raw

@+book:String -> Maybe<&2, U32>

def verse_key source · line 328 · raw

@+book:String -> @+ch:U32 -> String

def verse_count_go source · line 331 · raw

@+key:String -> @hit:Bool -> Maybe<&2, U32>

def verse_count source · line 338 · raw

@+book:String -> @+ch:U32 -> Maybe<&2, U32>

def display_name_go source · line 341 · raw

@+code:String -> @hit:Bool -> String

def display_name source · line 348 · raw

@+code:String -> String

def book_names_list source · line 351 · raw

List<&1, 0x165c100ad73c506a5905a4a8273884a3/books_data.BookName>