main.bend checks

raw source on the hub · import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/main.bend as Main

selah-bend — pure Bend Bible parse / share / linkify (route.bible) Run: bend main.bend -- "John 3:16" Publish: bend main.bend --publish

3 imports

import Base
import ./parse.bend as P
import ./linkify.bend as L

Types

Data

After --linkify: optional --src <tag> / --rewrite-existing, then text.

LfHead

@+src:String -> @rewrite:Bool -> @is_rw:Bool -> @is_src:Bool -> @+h:String -> LfPh

Data

@xs:List<&1, String> -> String

@+q:String -> @+src:String -> @rewrite:Bool -> IO(Unit)

@fuel:Nat -> @ph:LfPh -> @xs:List<&1, String> -> IO(Unit)

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

@ph:MainPh -> @+h:String -> @t:List<&1, String> -> IO(Unit)

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

IO(Unit)