MlbendHuggingface.rows_url: def of mlbend-huggingface@0.1.1.0
Import: import mlbend-huggingface@0.1.1.0/main.bend as MlbendHuggingface
Lines 141-148 of mlbend-huggingface@0.1.1.0/main.bend: https://jend.leeeet.dev/read.txt?path=mlbend-huggingface@0.1.1.0/main.bend&start_line=141&end_line=148

import Base

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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=query
  https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=rows_host