text.bend checks
raw source on the hub · import 0xce17616509f7a12021b2ba6618bac110/text.bend as Text
1 import
import Base
Definitions
def choose source · line 3 · raw
@condition:Bool -> @yes:String -> @no:String -> String
def words.push source · line 10 · raw
@head:String -> @rest:List<&2, String> -> List<&2, String>
def words.go source · line 17 · raw
@text:String -> @current:String -> @found:List<&2, String> -> List<&2, String>
def words source · line 30 · raw
@text:String -> List<&2, String>
def split_equal.go source · line 33 · raw
@text:String -> @prefix:String -> Pair(String, Maybe<&2, String>)
def split_equal source · line 42 · raw
@text:String -> Pair(String, Maybe<&2, String>)
def option_like source · line 45 · raw
@text:String -> Bool
def chars_valid source · line 52 · raw
@text:String -> Bool
def identifier source · line 59 · raw
@+text:String -> Bool
def unwrap source · line 62 · raw
@+text:String -> String
def camel source · line 65 · raw
@text:String -> String
def strings source · line 74 · raw
@xs:List<&1, String> -> List<&2, String>
def weight source · line 81 · raw
@xs:List<&2, String> -> Nat
def number.end source · line 88 · raw
@state:Nat -> Bool
def number.transition source · line 99 · raw
@state:Nat -> @digit:Bool -> @dot:Bool -> @exponent:Bool -> @sign:Bool -> Nat
def number.next source · line 130 · raw
@+c:Char -> @state:Nat -> Nat
def number.scan source · line 133 · raw
@text:String -> @state:Nat -> Bool
def negative_number source · line 140 · raw
@text:String -> Bool