def file

mlbend-huggingface@0.1.1.0 · main.bend:124

import mlbend-huggingface@0.1.1.0/main.bend as MlbendHuggingface
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

124# A file of a dataset, at a revision: its bytes.
125def file(name: String, rev: String, path: String) -> IO(Result<&1, &1, Err, Bytes.Bytes>):
126  get_bytes(String.append(String.append(String.append(String.append(host(), "/datasets/"), name),
127    String.append("/resolve/", rev)), String.append("/", path)))

Uses (8)

Used by (1)