~/jendhub

def read_cached

mlbend-datasets@0.1.6.0 · main.bend:255

import mlbend-datasets@0.1.6.0/main.bend as MlbendDatasets
import Base

255# The text of a cached file, or None when it is not there.
256def read_cached(path: String) -> IO(Maybe<&1, String>):
257  do IO<Maybe<&1, String>>:
258    r : Result<&1, &1, U32 & String, File> <- File.open(path, "r")
259    opened(r)

Uses (10)

Used by (1)