~/jendhub

def proxy.from.url.if

bend-kit-http@0.38.2.0 · http.bend:3010

import bend-kit-http@0.38.2.0/http.bend as Http
import Base
import bend-kit-url@0.4.1.0/url.bend as Url

3010def proxy.from.url.if(valid: Bool, raw: String) -> Maybe<&2, Proxy>:
3011  match valid:
3012    case False{}:
3013      None{}
3014    case True{}:
3015      proxy.from.parts(Url.take_to(String.drop(raw, 7n), 47))

Uses (7)

Used by (1)