route.bend source

route.bend on the hub · documented module

# route.bible URL helpers (pure Bend)import Basedef default_base() -> String:  "https://route.bible"type TsPh is Data:  TsBody{}  TsStep{is_slash: Bool, h: Char}def trim_slashes_go(fuel: Nat, ph: TsPh, rest: String) -> String:  match fuel:    case 0n:      String.reverse(rest)    case 1n+p:      match ph:        case TsBody{}:          match rest:            case SNil{}:              ""            case SCon{+h, +t}:              trim_slashes_go(p, TsStep{Char.is_eq(h, '/'), h}, t)        case TsStep{is_slash, +h}:          match is_slash:            case True{}:              trim_slashes_go(p, TsBody{}, rest)            case False{}:              String.reverse(SCon{h, rest})def trim_trailing_slashes(+s: String) -> String:  trim_slashes_go(    Nat.add(String.length(s), 2n),    TsBody{},    String.reverse(s)  )def normalize_base_go(+base: String, empty: Bool) -> String:  match empty:    case True{}:      default_base()    case False{}:      trim_trailing_slashes(base)def normalize_base(+base: String) -> String:  normalize_base_go(String.trim(base), String.is_empty(String.trim(base)))def route_path(+canonical: String) -> String:  String.append("/", String.to_lower(canonical))def build_route_url_base(+base: String, +canonical: String) -> String:  String.append(normalize_base(base), route_path(canonical))def build_route_url(+canonical: String) -> String:  build_route_url_base(default_base(), canonical)def md_link(+visible: String, +url: String) -> String:  String.append(    String.append(String.append("[", visible), "]("),    String.append(url, ")")  )def markdown_route_link(+visible: String, +canonical: String) -> String:  md_link(visible, build_route_url(canonical))# Optional ?v=TRANSLATION (uppercase). Empty translation → no query.type VqGate is Data:  VqGate{empty: Bool}def append_v_query_go(+url: String, +translation: String, g: VqGate) -> String:  match g:    case VqGate{empty}:      match empty:        case True{}:          url        case False{}:          String.append(            String.append(url, "?v="),            String.to_upper(translation)          )def append_v_query_trim(+url: String, +trimmed: String) -> String:  append_v_query_go(url, trimmed, VqGate{String.is_empty(trimmed)})def append_v_query(+url: String, +translation: String) -> String:  append_v_query_trim(url, String.trim(translation))def build_route_url_qv(+canonical: String, +translation: String) -> String:  append_v_query(build_route_url(canonical), translation)def build_route_url_base_qv(+base: String, +canonical: String, +translation: String) -> String:  append_v_query(build_route_url_base(base, canonical), translation)def markdown_route_link_qv(+visible: String, +canonical: String, +translation: String) -> String:  md_link(visible, build_route_url_qv(canonical, translation))def markdown_route_link_base_qv(  +base: String,  +visible: String,  +canonical: String,  +translation: String) -> String:  md_link(visible, build_route_url_base_qv(base, canonical, translation))# Optional src= analytics tag. Empty → unchanged. Uses & if URL already has ?.type SqGate is Data:  SqGate{empty: Bool, has_q: Bool}def append_src_query_go(+url: String, +src: String, g: SqGate) -> String:  match g:    case SqGate{empty, has_q}:      match empty:        case True{}:          url        case False{}:          match has_q:            case True{}:              String.append(String.append(url, "&src="), src)            case False{}:              String.append(String.append(url, "?src="), src)def append_src_query_trim(+url: String, +trimmed: String) -> String:  append_src_query_go(    url,    trimmed,    SqGate{String.is_empty(trimmed), String.contains(url, "?")}  )def append_src_query(+url: String, +src: String) -> String:  append_src_query_trim(url, String.trim(src))# Combined ?v= and/or ?src= (v first when both, matching URLSearchParams order).def build_route_url_base_qvs(  +base: String,  +canonical: String,  +translation: String,  +src: String) -> String:  append_src_query(    append_v_query(build_route_url_base(base, canonical), translation),    src  )def build_route_url_qvs(+canonical: String, +translation: String, +src: String) -> String:  build_route_url_base_qvs(default_base(), canonical, translation, src)def markdown_route_link_base_qvs(  +base: String,  +visible: String,  +canonical: String,  +translation: String,  +src: String) -> String:  md_link(visible, build_route_url_base_qvs(base, canonical, translation, src))def markdown_route_link_qvs(  +visible: String,  +canonical: String,  +translation: String,  +src: String) -> String:  markdown_route_link_base_qvs(default_base(), visible, canonical, translation, src)