target.bend checks

type Query source · line 4 · raw

Data

• Query

  @key:String -> @value:String -> Query

type Target source · line 7 · raw

Data

• Target

  @segments:List<&2, String> -> @query:List<&2, Query> -> @authority:Maybe<&2, String> -> @star:Bool -> Target

type Utf source · line 10 · raw

Data

• Utf

  @need:U32 -> @lo:U32 -> @hi:U32 -> @cp:U32 -> @out:String -> Utf

def between source · line 13 · raw

@+c:U32 -> @lo:U32 -> @hi:U32 -> Bool

def utf.lead source · line 16 · raw

@+c:U32 -> @out:String -> @ascii:Bool -> Maybe<&2, Utf>

def utf.more source · line 28 · raw

@ok:Bool -> @+need:U32 -> @+cp:U32 -> @+out:String -> Maybe<&2, Utf>

def utf.step source · line 35 · raw

@idle:Bool -> @+c:U32 -> @need:U32 -> @lo:U32 -> @hi:U32 -> @cp:U32 -> @out:String -> Maybe<&2, Utf>

def utf.finish source · line 42 · raw

@st:Maybe<&2, Utf> -> Maybe<&2, String>

def utf.go source · line 49 · raw

@s:String -> @st:Maybe<&2, Utf> -> Maybe<&2, String>

def text.valid source · line 60 · raw

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

def decoded.valid source · line 67 · raw

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

def decoded source · line 70 · raw

@st:Maybe<&2, String> -> @slash:Bool -> Maybe<&2, String>

def percent.got source · line 77 · raw

@st:Maybe<&2, String> -> @slash:Bool -> Maybe<&2, String>

def percent source · line 84 · raw

@s:String -> @slash:Bool -> Maybe<&2, String>

def segments source · line 87 · raw

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

def split.path source · line 97 · raw

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

def plus source · line 100 · raw

@s:String -> String

def query.pair source · line 107 · raw

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

def query.field source · line 114 · raw

@field:String -> Maybe<&2, Query>

def query source · line 117 · raw

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

def raw.valid source · line 128 · raw

@s:String -> Bool

def origin source · line 135 · raw

@path:String -> @q:String -> @authority:Maybe<&2, String> -> Maybe<&2, Target>

def origin.split source · line 141 · raw

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

def alpha source · line 145 · raw

@+c:U32 -> Bool

def scheme.tail source · line 148 · raw

@s:String -> Bool

def scheme source · line 155 · raw

@s:String -> Bool

def authority.take source · line 162 · raw

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

def absolute.authority source · line 173 · raw

@ok:Bool -> @authority:String -> @path:String -> Maybe<&2, Target>

def absolute.taken source · line 180 · raw

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

def absolute.rest source · line 184 · raw

@rest:String -> Maybe<&2, Target>

def absolute.scheme source · line 191 · raw

@ok:Bool -> @rest:String -> Maybe<&2, Target>

def absolute.split source · line 198 · raw

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

def parse.form source · line 202 · raw

@target:String -> @method:String -> Maybe<&2, Target>

def parse.valid source · line 213 · raw

@ok:Bool -> @target:String -> @method:String -> Maybe<&2, Target>

def parse source · line 220 · raw

@+target:String -> @method:String -> Maybe<&2, Target>