~/bend-docscommunity

books.bend checks

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

2 imports
import Base
import ./books_data.bend as D

Types

type Phase source · line 4 · raw

Data

type SpSt source · line 28 · raw

Data

Definitions

def find_alias source · line 9 · raw

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

fuel shrinks every step; Init fuel = 2 * length + 1 covers Scan+Hit per row

def char1 source · line 33 · raw

@+c:Char -> String

def strip_spaces_go source · line 36 · raw

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

def strip_spaces source · line 65 · raw

@+s:String -> String

def resolve_alias source · line 73 · raw

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

def find_cap source · line 76 · raw

@fuel:Nat -> @ph:Phase -> @xs:List<&1, 0x871fbaa34668931fc27fda009a9da24e/books_data.Cap> -> @+key:String -> @held:U32 -> Maybe<&2, U32>

def chapter_count source · line 95 · raw

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

def verse_count source · line 98 · raw

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

def find_name source · line 101 · raw

@fuel:Nat -> @ph:Phase -> @xs:List<&1, 0x871fbaa34668931fc27fda009a9da24e/books_data.BookName> -> @+code:String -> @held:String -> String

def display_name source · line 120 · raw

@+code:String -> String