Http.query.find: def of gralha-http-core@0.1.0.0 Import: import gralha-http-core@0.1.0.0/http.bend as Http Lines 149-155 of gralha-http-core@0.1.0.0/http.bend: https://jend.leeeet.dev/read.txt?path=gralha-http-core@0.1.0.0/http.bend&start_line=149&end_line=155 import Base def query.find(pairs: List<&2, String>, +name: String) -> Maybe<&2, String>: match pairs: case Nil{}: None{} case Con{+p, t}: when(Maybe<&2, String>, String.eq(url.decode(before(p, "=")), name), _ => Some{url.decode(after(p, "="))}, _ => query.find(t, name)) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=after https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=before https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=url.decode https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=when