url.bend relies on unsafe/foreign

type Url source · line 5 · raw

Data

• Url

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

type Abs source · line 226 · raw

Data

• Abs

  @scheme:String -> @host:String -> @port:U32 -> @target:String -> Abs

type PQ source · line 400 · raw

Data

• PQ

  @path:String -> @q:String -> @has_q:Bool -> PQ

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_to.go source · line 128 · raw

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

def take_to source · line 136 · raw

@s:String -> @stop:U32 -> Pair(String, String)

def pair source · line 139 · raw

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

def qput.decv source · line 142 · raw

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

def qput.dec source · line 149 · raw

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

def qput.kv source · line 156 · raw

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

def qput source · line 160 · raw

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

def qfold source · line 163 · raw

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

def parse.q source · line 170 · raw

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

def parse.path source · line 177 · raw

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

def parse.split source · line 184 · raw

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

def parse.ok source · line 188 · raw

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

def parse source · line 195 · raw

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

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

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

def enc.pairs source · line 205 · raw

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

def encode.q source · line 208 · raw

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

def encode.go source · line 215 · raw

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

def encode source · line 218 · raw

@u:Url -> String

def has source · line 229 · raw

@s:String -> @+c:U32 -> Bool

def auth_end source · line 236 · raw

@+c:U32 -> Bool

def take_auth.go source · line 240 · raw

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

def default_port source · line 247 · raw

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

def abs.target source · line 250 · raw

@+pq:String -> String

def abs.fst source · line 253 · raw

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

def abs.build source · line 258 · raw

@scheme:String -> @host:String -> @port:Maybe<&2, U32> -> @rest:String -> Maybe<&2, Abs>

def abs.port.num source · line 265 · raw

@n:Maybe<&2, U32> -> Maybe<&2, U32>

def abs.port source · line 273 · raw

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

def abs.hostok source · line 276 · raw

@scheme:String -> @host:String -> @port:Maybe<&2, U32> -> @rest:String -> @ok:Bool -> Maybe<&2, Abs>

def abs.hostport source · line 284 · raw

@scheme:String -> @dflt:Maybe<&2, U32> -> @hp:Pair(String, String) -> @rest:String -> Maybe<&2, Abs>

def abs.auth.if source · line 289 · raw

@+scheme:String -> @auth:String -> @rest:String -> @creds:Bool -> Maybe<&2, Abs>

def abs.auth source · line 296 · raw

@scheme:String -> @ar:Pair(String, String) -> Maybe<&2, Abs>

def abs.slashes source · line 300 · raw

@scheme:String -> @+rest:String -> @ok:Bool -> Maybe<&2, Abs>

def abs.scheme source · line 307 · raw

@sr:Pair(String, String) -> Maybe<&2, Abs>

def absolute source · line 312 · raw

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

def abs.port.dflt source · line 315 · raw

@m:Maybe<&2, U32> -> U32

def host_field source · line 323 · raw

@a:Abs -> String

def dots.pop source · line 330 · raw

@stack:List<&2, String> -> List<&2, String>

def dots.push source · line 337 · raw

@seg:String -> @stack:List<&2, String> -> @dot:Bool -> @up:Bool -> List<&2, String>

def dots.join source · line 348 · raw

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

def dots.go source · line 356 · raw

@segs:List<&2, String> -> @stack:List<&2, String> -> @trail:Bool -> String

def dots.abs source · line 366 · raw

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

def remove_dots source · line 374 · raw

@path:String -> String

def dir.go source · line 377 · raw

@s:String -> @+acc:String -> @last:String -> String

def dir source · line 386 · raw

@path:String -> String

def with_q source · line 389 · raw

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

def res.build source · line 396 · raw

@scheme:String -> @host:String -> @port:U32 -> @path:String -> @q:String -> @has_q:Bool -> Maybe<&2, Abs>

def res.pq source · line 403 · raw

@pq:Pair(String, String) -> @has_q:Bool -> PQ

def res.ref source · line 407 · raw

@+r:String -> PQ

def res.rel.go source · line 412 · raw

@+scheme:String -> @+host:String -> @+port:U32 -> @+bpath:String -> @+bq:String -> @+bhas:Bool -> @+rp:String -> @+q:String -> @+rhas:Bool -> Maybe<&2, Abs>

def res.rel source · line 417 · raw

@scheme:String -> @host:String -> @port:U32 -> @bpath:String -> @bq:String -> @bhas:Bool -> @r:PQ -> Maybe<&2, Abs>

def res.base source · line 421 · raw

@+r:String -> @b:PQ -> @a:Abs -> Maybe<&2, Abs>

def res.local source · line 426 · raw

@+r:String -> @a:Abs -> Maybe<&2, Abs>

def abs.scheme_of source · line 430 · raw

@a:Abs -> String

def res.net source · line 434 · raw

@+r:String -> @a:Abs -> @net:Bool -> Maybe<&2, Abs>

def scheme.ok source · line 441 · raw

@s:String -> Bool

def abs.has_scheme source · line 449 · raw

@+pre:String -> @colon:Bool -> Bool

def resolve source · line 453 · raw

@a:Abs -> @+ref:String -> Maybe<&2, Abs>

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>