mlbend-huggingface Releases (1): 0.1.1.0 0x9f97047b6ffb57443a7a2a2f0adefcbd indexed https://jend.leeeet.dev/files.txt?path=mlbend-huggingface@0.1.1.0 Definitions (38): MlbendHuggingface.Err (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=Err) # Why an answer did not come. type Err is Data: ErrNet{code: U32, why: String} ErrStatus{status: U32} ErrJson{} MlbendHuggingface.host (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=host) # The hosts. def host() -> String: MlbendHuggingface.rows_host (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=rows_host) def rows_host() -> String: MlbendHuggingface.why_of (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=why_of) # The HTTP kit's error, as ours. def why_of(e: Http.Err) -> Err: MlbendHuggingface.json_of_maybe (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=json_of_maybe) # The JSON of a parsed body. def json_of_maybe(m: Maybe<&1, Json.Val>) -> Result<&1, &1, Err, Json.Val>: MlbendHuggingface.json_of_body (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=json_of_body) # The JSON of a body, or the reason there is none. def json_of_body(body: Bytes.Bytes) -> Result<&1, &1, Err, Json.Val>: MlbendHuggingface.json_of (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=json_of) # The JSON of a response, or the reason there is none. def json_of(r: Result<&1, &1, Http.Err, Http.Res>) -> Result<&1, &1, Err, Json.Val>: MlbendHuggingface.bytes_of (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=bytes_of) # The bytes of a response, or the reason there are none. def bytes_of(r: Result<&1, &1, Http.Err, Http.Res>) -> Result<&1, &1, Err, Bytes.Bytes>: MlbendHuggingface.get_json (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=get_json) # A GET, and the JSON it answered with. def get_json(url: String) -> IO(Result<&1, &1, Err, Json.Val>): MlbendHuggingface.get_bytes (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=get_bytes) # A GET, and the bytes it answered with. def get_bytes(url: String) -> IO(Result<&1, &1, Err, Bytes.Bytes>): MlbendHuggingface.dataset (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=dataset) # The page of a dataset: its name, its revision, and what it says about # itself. def dataset(name: String) -> IO(Result<&1, &1, Err, Json.Val>): MlbendHuggingface.tree (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=tree) # The files of a dataset, at a revision. def tree(name: String, rev: String) -> IO(Result<&1, &1, Err, Json.Val>): MlbendHuggingface.file (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=file) # A file of a dataset, at a revision: its bytes. def file(name: String, rev: String, path: String) -> IO(Result<&1, &1, Err, Bytes.Bytes>): MlbendHuggingface.query.go (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=query.go) # The rest of a query string, each pair behind an "&". def query.go(pairs: List<&2, String>, acc: String) -> String: MlbendHuggingface.query (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=query) # A url with a query string: the base, the first pair, and the rest. def query(base: String, first: String, rest: List<&2, String>) -> String: MlbendHuggingface.rows_url (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=rows_url) # 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: MlbendHuggingface.text_of_file (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=text_of_file) # The text of a file that may be there. def text_of_file(r: Result<&1, &1, Err, Bytes.Bytes>) -> Result<&1, &1, Err, String>: MlbendHuggingface.file_text (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=file_text) # A file of a dataset, at a revision, as text. def file_text(name: String, rev: String, path: String) -> IO(Result<&1, &1, Err, String>): MlbendHuggingface.rows (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=rows) # The rows of a dataset, at a config and a split: the features beside them. def rows(name: String, config: String, split: String, offset: Nat, length: Nat) -> IO(Result<&1, &1, Err, Json.Val>): MlbendHuggingface.field (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=field) # A field of a JSON object. def field(v: Json.Val, key: String) -> Maybe<&1, Json.Val>: MlbendHuggingface.item (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=item) # An item of a JSON array. def item(v: Json.Val, n: Nat) -> Maybe<&1, Json.Val>: MlbendHuggingface.text_value (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=text_value) # The text of a JSON value, when it is a string or a number. def text_value(v: Json.Val) -> Maybe<&1, String>: MlbendHuggingface.text_of (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=text_of) # The text of a JSON string, or of a JSON number: the number keeps its # exact text, so nothing is lost on the way. def text_of(v: Json.Val) -> Maybe<&1, String>: MlbendHuggingface.text_of_value (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=text_of_value) # The text of a value that may be there. def text_of_value(m: Maybe<&1, Json.Val>) -> Maybe<&1, String>: MlbendHuggingface.text_maybe (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=text_maybe) # The text of some text, or "" when there is none. def text_maybe(m: Maybe<&1, String>) -> String: MlbendHuggingface.field_of (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=field_of) # The field of an item of a JSON array, when the item is there. def field_of(m: Maybe<&1, Json.Val>, key: String) -> Maybe<&1, Json.Val>: MlbendHuggingface.field_of_field (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=field_of_field) # The field of a field of an item of a JSON array, when the item is there. def field_of_field(m: Maybe<&1, Json.Val>, key1: String, key2: String) -> Maybe<&1, Json.Val>: MlbendHuggingface.text_field (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=text_field) # The text of a field of a JSON object, or "" when it is not there. def text_field(v: Json.Val, key: String) -> String: MlbendHuggingface.text_item (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=text_item) # The text of an item of a JSON array, or "" when it is not there. def text_item(v: Json.Val, n: Nat) -> String: MlbendHuggingface.field_item (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=field_item) # The field of an item of a JSON array. def field_item(v: Json.Val, n: Nat, key: String) -> Maybe<&1, Json.Val>: MlbendHuggingface.text_item_field (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=text_item_field) # The text of a field of an item of a JSON array. def text_item_field(v: Json.Val, n: Nat, key: String) -> String: MlbendHuggingface.field_item_field (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=field_item_field) # The field of a field of an item of a JSON array: the row of the rows # server, which is two fields down from the row itself. def field_item_field(v: Json.Val, n: Nat, key1: String, key2: String) -> Maybe<&1, Json.Val>: MlbendHuggingface.text_item_field_field (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=text_item_field_field) # The text of a field of a field of an item of a JSON array. def text_item_field_field(v: Json.Val, n: Nat, key1: String, key2: String) -> String: MlbendHuggingface.array_of (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=array_of) # A field of a JSON object, when it is there. def array_of(m: Maybe<&1, Json.Val>) -> Json.Val: MlbendHuggingface.array_field (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=array_field) # The field of a JSON object, or an empty array when it is not there. def array_field(v: Json.Val, key: String) -> Json.Val: MlbendHuggingface.number_of_text (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=number_of_text) # The number some text holds, when it is one that fits. def number_of_text(t: Maybe<&1, String>) -> Maybe<&2, F32>: MlbendHuggingface.number_of (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=number_of) # The number a JSON number holds, when it is a whole number that fits. def number_of(v: Json.Val) -> Maybe<&2, F32>: MlbendHuggingface.number_field (https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=number_field) # The number a field of a JSON object holds, when it is one that fits. def number_field(v: Json.Val, key: String) -> Maybe<&2, F32>: