Get.fetch: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/hub/get.bend as Get Lines 55-59 of ezx@1.11.0.0/src/hub/get.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/hub/get.bend&start_line=55&end_line=59 import Base import snap@1.4.0.0/main.bend as R import ezx@1.11.0.0/src/hub/hub.bend as Hub # the file at a url, accepted only when it hashes to `want` def fetch(+url: String, want: String) -> IO(Hub.Got): do IO: +out : String <- get(url) return Hub.judge(R.ok(out), Hub.matches(want, R.text(out)), url, R.text(out)) Uses (10): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/hub/get.bend&name=get https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/hub/hub.bend&name=Got https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/hub/hub.bend&name=judge https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/hub/hub.bend&name=matches https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=ok https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=text