url.bend relies on unsafe/foreign

type Url source · line 5 · raw

Data

• Url

  @path:String -> @query:Map<&2, String> -> Url

def unreserved source · line 8 · raw

@+c:U32 -> Bool

def path_ok source · line 11 · raw

@+c:U32 -> Bool

def hexn source · line 14 · raw

@+n:U32 -> U32

def hexhi source · line 25 · raw

@+n:U32 -> U32

def hexlo source · line 28 · raw

@+n:U32 -> U32

def pct.enc.push source · line 31 · raw

@+c:U32 -> @acc:String -> @keep:Bool -> String

def pct.enc.path source · line 38 · raw

@s:String -> @acc:String -> String

def pct.enc.query source · line 45 · raw

@s:String -> @acc:String -> String

def pct.encode_path source · line 52 · raw

@s:String -> String

def pct.encode_q source · line 55 · raw

@s:String -> String

def unhex.H source · line 58 · raw

@c:U32 -> @hex:Bool -> Maybe<&2, U32>

def unhex.h source · line 65 · raw

@+c:U32 -> @lo:Bool -> Maybe<&2, U32>

def unhex.d source · line 72 · raw

@+c:U32 -> @dec:Bool -> @lo:Bool -> Maybe<&2, U32>

def unhex source · line 79 · raw

@+c:U32 -> Maybe<&2, U32>

def pct.cons source · line 82 · raw

@byte:U32 -> @rest:Maybe<&2, String> -> Maybe<&2, String>

def pct.join2 source · line 89 · raw

@x:U32 -> @b:Maybe<&2, U32> -> @rest:Maybe<&2, String> -> Maybe<&2, String>

def pct.join source · line 96 · raw

@a:Maybe<&2, U32> -> @b:Maybe<&2, U32> -> @rest:Maybe<&2, String> -> Maybe<&2, String>

def pct.decode.last source · line 103 · raw

@+c:U32 -> @pct:Bool -> Maybe<&2, String>

def pct.decode source · line 126 · raw

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

def take_q.go source · line 128 · raw

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

def take_eq.go source · line 135 · raw

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

def pair source · line 142 · raw

@kv:String -> Pair(String, String)

def qput.decv source · line 145 · raw

@m:Map<&2, String> -> @key:String -> @v:Maybe<&2, String> -> Map<&2, String>

def qput.dec source · line 152 · raw

@m:Map<&2, String> -> @k:Maybe<&2, String> -> @v:Maybe<&2, String> -> Map<&2, String>

def qput.kv source · line 159 · raw

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

def qput source · line 163 · raw

@m:Map<&2, String> -> @kv:String -> Map<&2, String>

def qfold source · line 166 · raw

@xs:List<&2, String> -> @m:Map<&2, String> -> Map<&2, String>

def parse.q source · line 173 · raw

@path:String -> @rest:String -> @hasq:Bool -> Maybe<&2, Url>

def parse.path source · line 180 · raw

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

def parse.split source · line 187 · raw

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

def parse.ok source · line 191 · raw

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

def parse source · line 198 · raw

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

def enc.pairs.go source · line 201 · raw

@xs:List<&2, Sigma<&2, &2, String, _ => String>> -> @acc:String -> String

def enc.pairs source · line 208 · raw

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

def encode.q source · line 211 · raw

@path:String -> @q:String -> @empty:Bool -> String

def encode.go source · line 218 · raw

@path:String -> @+q:String -> String

def encode source · line 221 · raw

@u:Url -> String

unsafe hexhi.go source · line 18 · raw

@+n:U32 -> @+acc:U32 -> @small:Bool -> U32

unsafe pct.decode.go source · line 111 · raw

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