def csv_of

mlbend-datasets@0.1.6.0 · main.bend:292

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

292# A file of a dataset's repository, and the dataset it makes.
293def csv_of(repo: String, rev: String, path: String, header: Bool, drop: Nat) ->
294  IO(Result<&1, &1, Hf.Err, Table>):
295  do IO<Result<&1, &1, Hf.Err, Table>>:
296    e : Result<&1, &1, U32 & String, String> <- IO.get_env("MLBEND_DATA")
297    t : Result<&1, &1, Hf.Err, Table> <- from_env(e, repo, rev, path, header, drop)
298    return t