complete.bend checks

raw source on the hub · import 0x3db8fc3ab5ba012b34ead11a441dd57c/complete.bend as Complete

Autocomplete passage suggestions (book / chapter / verse prefixes)

3 imports

import Base
import ./books.bend as Books
import ./books_data.bend as D

Types

type AcPh source · line 19 · raw

Data

AcScan
```
AcPh
```

AcTest

@name:String -> @code:String -> @hit:Bool -> AcPh

AcHit

@name:String -> @code:String -> @done:Bool -> AcPh

type TtSt source · line 73 · raw

Data

TtCheck
```
TtSt
```
TtDecide
```
@stop:Bool -> TtSt
```
TtTake
```
TtSt
```

Definitions

def char1 source · line 6 · raw

@+c:Char -> String

def starts_with_ci source · line 9 · raw

@+s:String -> @+p:String -> Bool

def rev_str source · line 12 · raw

@xs:List<&2, String> -> @acc:List<&2, String> -> List<&2, String>

def suggest_books_go source · line 24 · raw

@fuel:Nat -> @ph:AcPh -> @xs:List<&1, 0x3db8fc3ab5ba012b34ead11a441dd57c/books_data.BookName> -> @+prefix:String -> @+limit:Nat -> @acc:List<&2, String> -> List<&2, String>

def suggest_books source · line 70 · raw

@+prefix:String -> @+limit:Nat -> List<&2, String>

def is_tok_stop source · line 78 · raw

@+c:Char -> Bool

def take_tok_go source · line 81 · raw

@fuel:Nat -> @st:TtSt -> @rest:String -> @acc:String -> Pair(String, String)

def take_token source · line 106 · raw

@+s:String -> Pair(String, String)

def drop_sep_h source · line 109 · raw

@+h:Char -> @t:String -> @drop:Bool -> String

def drop_sep_go source · line 116 · raw

@s:String -> String

def drop_sep source · line 123 · raw

@+s:String -> String

def fst_str source · line 126 · raw

@pair:Pair(String, String) -> String

def snd_str source · line 131 · raw

@pair:Pair(String, String) -> String

def suggest_verses_line source · line 136 · raw

@+code:String -> @+name:String -> @+ch:U32 -> @max_m:Maybe<&2, U32> -> List<&2, String>

def autocomplete_vs_m source · line 146 · raw

@+code:String -> @+name:String -> @+ch:U32 -> @+rest:String -> @+limit:Nat -> @vs_m:Maybe<&2, U32> -> List<&2, String>

def autocomplete_vs source · line 172 · raw

@+code:String -> @+name:String -> @+ch:U32 -> @+rest:String -> @+limit:Nat -> List<&2, String>

def autocomplete_cv_rest source · line 175 · raw

@+code:String -> @+name:String -> @+ch:U32 -> @+rest:String -> @+limit:Nat -> @empty:Bool -> List<&2, String>

def autocomplete_cv_num source · line 185 · raw

@+code:String -> @+name:String -> @+ch_s:String -> @+rest:String -> @+limit:Nat -> @ch_m:Maybe<&2, U32> -> List<&2, String>

def autocomplete_cv_pair source · line 199 · raw

@+code:String -> @+name:String -> @pair:Pair(String, String) -> @+limit:Nat -> List<&2, String>

def autocomplete_cv source · line 204 · raw

@+code:String -> @+name:String -> @+rest:String -> @+limit:Nat -> List<&2, String>

def autocomplete_with_book_go source · line 207 · raw

@+book_raw:String -> @+rest:String -> @+limit:Nat -> @m:Maybe<&2, String> -> List<&2, String>

def autocomplete_with_book source · line 214 · raw

@+book_raw:String -> @+rest:String -> @+limit:Nat -> List<&2, String>

def autocomplete_book_go source · line 217 · raw

@+book_raw:String -> @+rest:String -> @+limit:Nat -> @empty:Bool -> List<&2, String>

def autocomplete_book source · line 224 · raw

@+book_raw:String -> @+rest:String -> @+limit:Nat -> List<&2, String>

def autocomplete_pair source · line 227 · raw

@pair:Pair(String, String) -> @+limit:Nat -> List<&2, String>

def autocomplete source · line 232 · raw

@+input:String -> @+limit:Nat -> List<&2, String>

def show_suggestions_rest source · line 235 · raw

@xs:List<&2, String> -> IO(Unit)

def show_suggestions source · line 245 · raw

@xs:List<&2, String> -> IO(Unit)