def fetch_csv

mlbend-datasets@0.1.6.0 · main.bend:274

import Base
import mlbend-huggingface@0.1.1.0/main.bend as Hf

274# A table from the hub, when there is no cache to read.
275def fetch_csv(repo: String, rev: String, path: String, header: Bool, drop: Nat) ->
276  IO(Result<&1, &1, Hf.Err, Table>):
277  do IO<Result<&1, &1, Hf.Err, Table>>:
278    t : Result<&1, &1, Hf.Err, String> <- Hf.file_text(repo, rev, path)
279    return csv_of_text(t, header, drop)