~/jendhub

def get.file

ezx@1.11.0.0 · src/hub/get.bend:29

import ezx@1.11.0.0/src/hub/get.bend as Get
import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/hub/hub.bend as Hub

29# a file url read off the disk
30def get.file(+path: String) -> IO(String):
31  do IO<String>:
32    m : Maybe<&2, String> <- F.read(path)
33    return Hub.get.file.got(m, path)

Uses (7)

Used by (1)