def rows_url

mlbend-huggingface@0.1.1.0 · main.bend:141

import Base

141# The url of the rows server's answer for a dataset, a config and a
142# split, a window of rows.
143def rows_url(name: String, config: String, split: String, offset: Nat, length: Nat) -> String:
144  query(String.append(rows_host(), "/rows?dataset="), name, [
145    String.append("config=", config),
146    String.append("split=", split),
147    String.append("offset=", U32.show(U32.from_nat(offset))),
148    String.append("length=", U32.show(U32.from_nat(length)))])