share.bend checks

raw source on the hub · import 0xd682b1044923d779552add429a997e84/share.bend as Share

Share URL maps: enduring-word slugs + logos numeric book ids

1 import

import Base

Types

type AfPh source · line 54 · raw

Data

AfCheck
```
@here:Bool -> AfPh
```
AfNext
```
AfPh
```

type TuSt source · line 85 · raw

Data

TuCheck
```
TuSt
```
TuDecide
```
@stop:Bool -> TuSt
```
TuTake
```
TuSt
```

type SpSt source · line 119 · raw

Data

Enduring Word slug-chapter → BOOK.CH

SpScan
```
SpSt
```
SpScanDig
```
@h:Char -> @is_d:Bool -> SpSt
```
SpDigits
```
@acc:String -> SpSt
```

SpDigClass

@h:Char -> @acc:String -> @is_d:Bool -> @is_dash:Bool -> SpSt

type TdSt source · line 199 · raw

Data

logos numeric BOOK.CH.V after bibleref=

TdCheck
```
TdSt
```
TdDecide
```
@stop:Bool -> TdSt
```
TdTake
```
TdSt
```

type SkSt source · line 272 · raw

Data

Skip leading digits+/ after bible/

SkCheck
```
SkSt
```
SkDecide
```
@is_d:Bool -> SkSt
```
SkSkip
```
SkSt
```
SkSkipDig
```
@is_d:Bool -> @is_slash:Bool -> SkSt
```

Definitions

def unmap_str source · line 4 · raw

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

def unhas_str source · line 9 · raw

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

def ew_map source · line 14 · raw

Map<&2, String>

def logos_map source · line 17 · raw

Map<&2, String>

def ew_lookup_go source · line 20 · raw

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

def ew_lookup source · line 27 · raw

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

def logos_lookup_go source · line 30 · raw

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

def logos_lookup source · line 37 · raw

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

def char1 source · line 40 · raw

@+c:Char -> String

def drop_n source · line 43 · raw

@n:Nat -> @s:String -> String

def take_after_go source · line 58 · raw

@fuel:Nat -> @ph:AfPh -> @cur:String -> @+needle:String -> String

def take_after_substr source · line 77 · raw

@+hay:String -> @+needle:String -> String

def take_until_slash_go source · line 90 · raw

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

def take_until_slash source · line 115 · raw

@+s:String -> String

def split_slug_ch_fin source · line 125 · raw

@+slug_rev:String -> @+ch_rev:String -> @ch_empty:Bool -> Pair(Maybe<&2, String>, Maybe<&2, String>)

def split_slug_ch_go source · line 132 · raw

@fuel:Nat -> @st:SpSt -> @rest:String -> @digs:String -> Pair(Maybe<&2, String>, Maybe<&2, String>)

def split_slug_ch source · line 167 · raw

@+s:String -> Pair(Maybe<&2, String>, Maybe<&2, String>)

def ew_combine source · line 175 · raw

@book_m:Maybe<&2, String> -> @ch_m:Maybe<&2, String> -> Maybe<&2, String>

def ew_from_pair source · line 186 · raw

@pair:Pair(Maybe<&2, String>, Maybe<&2, String>) -> Maybe<&2, String>

def ew_from_path source · line 195 · raw

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

def take_dot_go source · line 204 · raw

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

def take_dot_field source · line 229 · raw

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

def logos_parse_book_go source · line 232 · raw

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

def logos_parse_book source · line 239 · raw

@+rest:String -> @book_m:Maybe<&2, String> -> Maybe<&2, String>

def logos_parse_pair source · line 246 · raw

@pair:Pair(String, String) -> Maybe<&2, String>

def logos_from_path source · line 251 · raw

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

def pick_nonempty_go source · line 254 · raw

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

def pick_nonempty source · line 261 · raw

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

def maybe_str source · line 264 · raw

@m:Maybe<&2, String> -> String

def skip_num_go source · line 278 · raw

@fuel:Nat -> @st:SkSt -> @rest:String -> String

def bible_com_ref source · line 321 · raw

@+s:String -> String

def route_bible_ref source · line 328 · raw

@+s:String -> String

def extract_share_logos_go source · line 331 · raw

@+s:String -> @+logos:String -> String

def extract_share_logos source · line 334 · raw

@+s:String -> String

def extract_share_ref_go source · line 337 · raw

@+s:String -> @+ew:String -> String

def extract_share_ref source · line 340 · raw

@+s:String -> String