libs/HTTPClient.bend fails

raw source on the hub · import 0x3d2147650fe101ae3c3e4a95333b4238/libs/HTTPClient.bend as HTTPClient

7 imports

import Base
import ./JSON.bend as Json
import 0xcfc8be7b076f41f95c8e118383892d55/encoding.bend as Encoding
import 0x49814d83de8f70993a43e1002be29ecd/bytes.bend as Bytes
import 0x1f2d80f53f971b16c6de6a65cb1918ae/url.bend as Url
import ./wire/wire.bend as Wire
import ./wire/dns.bend as Dns

Types

type Header source · line 12 · raw

Data

Header

@name:String -> @value:List<&2, U32> -> Header

type Target source · line 15 · raw

Data

Target

@tls:Bool -> @host:String -> @port:U32 -> @authority:String -> @resource:String -> Target

type Request source · line 18 · raw

Data

Request

@method:String -> @url:String -> @headers:List<&2, Header> -> @body:List<&2, U32> -> Request

type Response source · line 21 · raw

Data

Response

@status:U32 -> @headers:List<&2, Header> -> @body:List<&2, U32> -> @trailers:List<&2, Header> -> Response

type Limits source · line 24 · raw

Data

Limits

@header_bytes:U32 -> @header_count:U32 -> @body_bytes:U32 -> @trailer_bytes:U32 -> @trailer_count:U32 -> @interim_count:U32 -> @chunk_line_bytes:U32 -> @wire_bytes:U32 -> Limits

type Error source · line 27 · raw

Data

InvalidUrl
```
Error
```
UnsupportedScheme
```
Error
```
UnsupportedHost
```
Error
```
InvalidMethod
```
Error
```
InvalidHeader
```
Error
```
ReservedHeader
```
Error
```
InvalidByte
```
Error
```
InvalidStatus
```
Error
```
InvalidVersion
```
Error
```
InvalidFraming
```
Error
```
UnsupportedTransferEncoding
```
Error
```
UnexpectedEof
```
Error
```
LimitExceeded
```
Error
```
UnsupportedUpgrade
```
Error
```
NoProgress
```
Error
```
InvalidJson
```
Error
```
UnsupportedContentEncoding
```
Error
```
InvalidUtf8
```
Error
```
Configuration
```
Error
```
Connection
```
Error
```
Tls
```
Error
```
Io
```
Error
```
Timeout
```
Error
```

type Decode source · line 52 · raw

Data

NeedMore
```
Decode
```

Parsed

@response:Response -> @rest:List<&2, U32> -> Decode

Rejected
```
@error:Error -> Decode
```

type Cut source · line 57 · raw

Data

CutFound
```
@before:String -> @after:String -> Cut
```
CutMore
```
Cut
```
CutBad
```
Cut
```

type StatusLine source · line 62 · raw

Data

StatusOk
```
@status:U32 -> StatusLine
```
StatusBad
```
@error:Error -> StatusLine
```

type HeadScan source · line 66 · raw

Data

HeadMore
```
HeadScan
```
HeadBad
```
@error:Error -> HeadScan
```

HeadDone

@status:U32 -> @headers:List<&2, Header> -> @rest:String -> @size:Nat -> HeadScan

type HeadStep source · line 71 · raw

Data

HeadContinue

@rest:String -> @status:StatusLine -> @headers:List<&2, Header> -> @size:Nat -> @count:Nat -> HeadStep

HeadStepMore
```
HeadStep
```
HeadStepBad
```
@error:Error -> HeadStep
```

HeadStepDone

@status:U32 -> @headers:List<&2, Header> -> @rest:String -> @size:Nat -> HeadStep

type Options source · line 77 · raw

Data

Options

@limits:Limits -> @connect_ms:U32 -> @read_ms:U32 -> @write_ms:U32 -> @total_ms:U32 -> @fuel:U32 -> Options

type Work source · line 80 · raw

Data

EncodeWork
```
@request:Request -> Work
```

DecodeWork

@method:String -> @limits:Limits -> @bytes:List<&2, U32> -> @eof:Bool -> Work

type Outcome source · line 84 · raw

Data

Encoded

@result:Result<&2, &2, Error, List<&2, U32>> -> Outcome

Decoded
```
@result:Decode -> Outcome
```

type Batch source · line 88 · raw

Data

Leaf
```
@work:Work -> Batch
```
Fork
```
@left:Batch -> @right:Batch -> Batch
```

type BatchResult source · line 92 · raw

Data

LeafResult
```
@outcome:Outcome -> BatchResult
```

ForkResult

@left:BatchResult -> @right:BatchResult -> BatchResult

type DecLength source · line 756 · raw

Data

DecNoLength
```
DecLength
```
DecHasLength
```
@value:U32 -> DecLength
```
DecLengthBad
```
@error:Error -> DecLength
```

type RxNumber source · line 761 · raw

Data

RxNumberOk
```
@value:U32 -> RxNumber
```
RxNumberBad
```
RxNumber
```
RxNumberOverflow
```
RxNumber
```

type DecBodyState source · line 836 · raw

Data

DecBodyComplete
```
DecBodyState
```
DecBodyTruncated
```
DecBodyState
```
DecBodyPartial
```
DecBodyState
```

type ChunkSize source · line 915 · raw

Data

ChunkSizeOk
```
@value:U32 -> ChunkSize
```
ChunkSizeBad
```
@error:Error -> ChunkSize
```

type ChunkResult source · line 919 · raw

Data

ChunkNeedMore
```
ChunkResult
```
ChunkBad
```
@error:Error -> ChunkResult
```

ChunkDone

@body:List<&2, U32> -> @trailers:List<&2, Header> -> @rest:String -> ChunkResult

type ChunkStep source · line 999 · raw

Data

ChunkContinue

@rest:String -> @body:List<&2, U32> -> @trailers:List<&2, Header> -> @trailer_bytes:Nat -> @trailer_count:Nat -> ChunkStep

ChunkStepNeed
```
ChunkStep
```
ChunkStepBad
```
@error:Error -> ChunkStep
```

ChunkStepDone

@body:List<&2, U32> -> @trailers:List<&2, Header> -> @rest:String -> ChunkStep

type DecAfterHead source · line 1379 · raw

Data

DecAfterMore
```
DecAfterHead
```
DecAfterBad
```
@error:Error -> DecAfterHead
```
DecAfterInterim
```
@rest:String -> DecAfterHead
```
DecAfterFinal
```
@result:Decode -> DecAfterHead
```

Definitions

def append_bytes source · line 96 · raw

@xs:List<&2, U32> -> @ys:List<&2, U32> -> List<&2, U32>

def append_headers source · line 101 · raw

@xs:List<&2, Header> -> @ys:List<&2, Header> -> List<&2, Header>

def utf8_char_bmp source · line 106 · raw

@+c:U32 -> @bmp:Bool -> List<&2, U32>

def utf8_char_short source · line 118 · raw

@+c:U32 -> @short:Bool -> List<&2, U32>

def utf8_char_ascii source · line 125 · raw

@+c:U32 -> @ascii:Bool -> List<&2, U32>

def utf8_scalar source · line 130 · raw

@+c:U32 -> @scalar:Bool -> U32

def utf8_char source · line 135 · raw

@+c:U32 -> List<&2, U32>

def utf8 source · line 139 · raw

@+text:String -> List<&2, U32>

def valid_byte source · line 144 · raw

@n:U32 -> Bool

def valid_byte_tail source · line 147 · raw

@valid:Bool -> @rest:Bool -> Bool

def valid_bytes source · line 152 · raw

@bytes:List<&2, U32> -> Bool

def byte_lists_equal source · line 157 · raw

@left:List<&2, U32> -> @right:List<&2, U32> -> Bool

def lower source · line 163 · raw

@s:String -> String

def is_hex_digit source · line 166 · raw

@c:Char -> Bool

def valid_escape_digits_checked source · line 192 · raw

@hi:Bool -> @lo:Bool -> @tail_valid:Bool -> Bool

def valid_escape_digits source · line 197 · raw

@hi:Char -> @lo:Char -> @tail_valid:Bool -> Bool

def valid_percent_escapes source · line 200 · raw

@url:String -> Bool

def valid_url_char_class source · line 209 · raw

@control_or_space:Bool -> @delete:Bool -> Bool

def valid_url_char source · line 215 · raw

@+n:U32 -> Bool

def valid_url_chars source · line 218 · raw

@url:String -> Bool

def valid_host_char source · line 223 · raw

@+c:U32 -> Bool

def valid_host_tail source · line 229 · raw

@host:String -> Bool

def valid_host_name source · line 234 · raw

@host:String -> Bool

def url_authority source · line 239 · raw

@+text:String -> String

def url_empty_port_scheme source · line 247 · raw

@url:String -> @prefix_len:Nat -> @matches:Bool -> Bool

def url_has_empty_port source · line 252 · raw

@+url:String -> Bool

def valid_url_form source · line 256 · raw

@+url:String -> Bool

def parse_url_error source · line 259 · raw

@url:String -> @has_scheme:Bool -> @http:Bool -> @https:Bool -> Result<&2, &2, Error, Target>

def parse_url_target_error source · line 271 · raw

@is_ipv6:Bool -> Result<&2, &2, Error, Target>

def parse_url_target source · line 276 · raw

@+absolute:0x1f2d80f53f971b16c6de6a65cb1918ae/url.Abs -> @scheme:String -> @+host:String -> @port:U32 -> @resource:String -> @valid:Bool -> Result<&2, &2, Error, Target>

def parse_url_result source · line 288 · raw

@+url:String -> @parsed:Maybe<&2, 0x1f2d80f53f971b16c6de6a65cb1918ae/url.Abs> -> Result<&2, &2, Error, Target>

def parse_url source · line 298 · raw

@+url:String -> Result<&2, &2, Error, Target>

def field_values source · line 301 · raw

@+name:String -> @headers:List<&2, Header> -> List<&2, List<&2, U32>>

def valid_method source · line 308 · raw

@method:String -> Bool

def method_has_length source · line 319 · raw

@method:String -> Bool

def token_char source · line 326 · raw

@+n:U32 -> Bool

def token_tail source · line 336 · raw

@chars:List<&2, Char> -> Bool

def valid_header_name_chars source · line 341 · raw

@chars:List<&2, Char> -> Bool

def valid_header_name source · line 346 · raw

@name:String -> Bool

def header_byte_allowed source · line 349 · raw

@n:U32 -> @tab:Bool -> @control:Bool -> @delete:Bool -> @octet:Bool -> Bool

def valid_header_value_byte source · line 358 · raw

@+n:U32 -> Bool

def valid_header_value_bytes source · line 361 · raw

@bytes:List<&2, U32> -> Bool

def reserved_header source · line 366 · raw

@+name:String -> Bool

def validate_header_field_flags source · line 373 · raw

@name_ok:Bool -> @reserved:Bool -> @value_ok:Bool -> Result<&1, &1, Error, Unit>

def validate_header_field source · line 382 · raw

@+name:String -> @value:List<&2, U32> -> Result<&1, &1, Error, Unit>

def validate_header_then source · line 385 · raw

@name:String -> @value:List<&2, U32> -> @result:Result<&1, &1, Error, Unit> -> Result<&1, &1, Error, Unit>

def validate_headers source · line 392 · raw

@headers:List<&2, Header> -> Result<&1, &1, Error, Unit>

def encode_headers source · line 398 · raw

@headers:List<&2, Header> -> List<&2, U32>

def encode_length_header_if source · line 404 · raw

@method:String -> @body:List<&2, U32> -> @include:Bool -> List<&2, U32>

def encode_length_header source · line 409 · raw

@+method:String -> @+body:List<&2, U32> -> List<&2, U32>

def encode_request_target source · line 412 · raw

@+method:String -> @target:Target -> @headers:List<&2, Header> -> @+body:List<&2, U32> -> List<&2, U32>

def encode_after_headers source · line 421 · raw

@method:String -> @target:Target -> @headers:List<&2, Header> -> @body:List<&2, U32> -> @result:Result<&1, &1, Error, Unit> -> Result<&2, &2, Error, List<&2, U32>>

def encode_checked source · line 430 · raw

@method:String -> @target:Target -> @headers:List<&2, Header> -> @body:List<&2, U32> -> @method_ok:Bool -> @bytes_ok:Bool -> @header_result:Result<&1, &1, Error, Unit> -> Result<&2, &2, Error, List<&2, U32>>

def encode_validated source · line 442 · raw

@method:String -> @target:Target -> @+headers:List<&2, Header> -> @body:List<&2, U32> -> @method_ok:Bool -> @bytes_ok:Bool -> Result<&2, &2, Error, List<&2, U32>>

def encode_url_result source · line 450 · raw

@method:String -> @headers:List<&2, Header> -> @body:List<&2, U32> -> @parsed:Result<&2, &2, Error, Target> -> @method_ok:Bool -> @bytes_ok:Bool -> Result<&2, &2, Error, List<&2, U32>>

def encode source · line 460 · raw

@request:Request -> Result<&2, &2, Error, List<&2, U32>>

def octets_string source · line 464 · raw

@bytes:List<&2, U32> -> String

def string_octets source · line 469 · raw

@text:String -> List<&2, U32>

def dec_line source · line 474 · raw

@text:String -> @acc:String -> Cut

def dec_colon source · line 485 · raw

@text:String -> @acc:String -> Cut

def dec_trim_left source · line 491 · raw

@text:String -> String

def dec_trim_right source · line 497 · raw

@text:String -> String

def dec_header_value_checked source · line 500 · raw

@name:String -> @bytes:List<&2, U32> -> @valid:Bool -> Result<&2, &2, Error, Header>

def dec_header_name_checked source · line 509 · raw

@name:String -> @value:String -> @valid_name:Bool -> Result<&2, &2, Error, Header>

def dec_header_from_parts source · line 518 · raw

@+name:String -> @value:String -> @valid_name:Bool -> Result<&2, &2, Error, Header>

def dec_header_colon source · line 523 · raw

@+text:String -> @colon:Cut -> Result<&2, &2, Error, Header>

def dec_header_leading source · line 529 · raw

@+original:String -> @text:String -> Result<&2, &2, Error, Header>

def dec_header source · line 536 · raw

@+text:String -> Result<&2, &2, Error, Header>

def dec_status_valid source · line 539 · raw

@status:U32 -> @in_range:Bool -> StatusLine

def is_decimal_digit source · line 544 · raw

@c:Char -> Bool

def digit_value source · line 558 · raw

@c:Char -> U32

def dec_status_range source · line 561 · raw

@code:U32 -> @valid:Bool -> StatusLine

def dec_status_digit_checks source · line 566 · raw

@a:Char -> @b:Char -> @c:Char -> @digits:Bool -> StatusLine

def dec_status_digits source · line 573 · raw

@+a:Char -> @+b:Char -> @+c:Char -> StatusLine

def dec_status_line_space_char source · line 577 · raw

@tail:String -> @a:Char -> @b:Char -> @c:Char -> StatusLine

def dec_status_line_space source · line 586 · raw

@tail:String -> @a:Char -> @b:Char -> @c:Char -> @empty:Bool -> StatusLine

def dec_status_line_code source · line 591 · raw

@rest:String -> StatusLine

def dec_status_line_version source · line 597 · raw

@line:String -> @is_v11:Bool -> StatusLine

def dec_status_line source · line 602 · raw

@+line:String -> StatusLine

def dec_step_finish source · line 613 · raw

@status:StatusLine -> @headers:List<&2, Header> -> @rest:String -> @size:Nat -> HeadStep

def dec_step_status source · line 622 · raw

@rest:String -> @headers:List<&2, Header> -> @size:Nat -> @count:Nat -> @parsed:StatusLine -> HeadStep

def dec_step_header source · line 632 · raw

@rest:String -> @status:StatusLine -> @headers:List<&2, Header> -> @size:Nat -> @count:Nat -> @parsed:Result<&2, &2, Error, Header> -> HeadStep

def dec_step_count source · line 644 · raw

@line:String -> @rest:String -> @status:StatusLine -> @headers:List<&2, Header> -> @size:Nat -> @count:Nat -> @limits:Limits -> @within:Bool -> HeadStep

def dec_limits_header_count source · line 657 · raw

@limits:Limits -> U32

def dec_limits_header_bytes source · line 661 · raw

@limits:Limits -> U32

def dec_step_line_count source · line 665 · raw

@line:String -> @rest:String -> @status:StatusLine -> @headers:List<&2, Header> -> @size:Nat -> @+count:Nat -> @limits:Limits -> @header_limit:U32 -> HeadStep

def dec_step_line source · line 678 · raw

@line:String -> @rest:String -> @status:StatusLine -> @headers:List<&2, Header> -> @size:Nat -> @count:Nat -> @+limits:Limits -> HeadStep

def dec_step_blank source · line 690 · raw

@line:String -> @rest:String -> @status:StatusLine -> @headers:List<&2, Header> -> @size:Nat -> @count:Nat -> @limits:Limits -> @blank:Bool -> HeadStep

def dec_step_size source · line 703 · raw

@+line:String -> @rest:String -> @status:StatusLine -> @headers:List<&2, Header> -> @size:Nat -> @count:Nat -> @limits:Limits -> @within:Bool -> HeadStep

def dec_step_cut source · line 717 · raw

@line_result:Cut -> @status:StatusLine -> @headers:List<&2, Header> -> @size:Nat -> @count:Nat -> @+limits:Limits -> HeadStep

def dec_scan source · line 733 · raw

@fuel:Nat -> @text:String -> @status:StatusLine -> @headers:List<&2, Header> -> @size:Nat -> @count:Nat -> @+limits:Limits -> @step:HeadStep -> HeadScan

def dec_parse_head source · line 752 · raw

@+text:String -> @+limits:Limits -> HeadScan

def dec_decimal_overflow source · line 766 · raw

@okay:Bool -> @parsed:RxNumber -> RxNumber

def dec_decimal source · line 771 · raw

@text:String -> @+value:U32 -> @seen:Bool -> RxNumber

def dec_length_parsed source · line 789 · raw

@parsed:RxNumber -> DecLength

def dec_length_exact source · line 797 · raw

@rest:List<&2, List<&2, U32>> -> @value:List<&2, U32> -> DecLength

def dec_length_values source · line 803 · raw

@values:List<&2, List<&2, U32>> -> DecLength

def dec_length source · line 809 · raw

@headers:List<&2, Header> -> DecLength

def dec_no_body source · line 812 · raw

@+method:String -> @+status:U32 -> Bool

def dec_take_enough source · line 815 · raw

@status:U32 -> @headers:List<&2, Header> -> @+bytes:List<&2, U32> -> @+length:U32 -> @enough:Bool -> Decode

def dec_take_body source · line 826 · raw

@status:U32 -> @headers:List<&2, Header> -> @+bytes:List<&2, U32> -> @+length:U32 -> @within:Bool -> Decode

def dec_body_state source · line 841 · raw

@+enough:Bool -> @+closed:Bool -> DecBodyState

def dec_body_length_enough source · line 844 · raw

@status:U32 -> @headers:List<&2, Header> -> @+bytes:List<&2, U32> -> @+value:U32 -> @state:DecBodyState -> Decode

def dec_body_length_dispatch source · line 854 · raw

@status:U32 -> @headers:List<&2, Header> -> @+bytes:List<&2, U32> -> @+value:U32 -> @+eof:Bool -> @limits:Limits -> @within:Bool -> Decode

def dec_body_length_field source · line 866 · raw

@status:U32 -> @headers:List<&2, Header> -> @+bytes:List<&2, U32> -> @+value:U32 -> @+eof:Bool -> @limits:Limits -> @body_limit:U32 -> Decode

def dec_limits_body_bytes source · line 876 · raw

@limits:Limits -> U32

def dec_body_length source · line 881 · raw

@status:U32 -> @headers:List<&2, Header> -> @+bytes:List<&2, U32> -> @+value:U32 -> @+eof:Bool -> @+limits:Limits -> Decode

def dec_body_close source · line 889 · raw

@status:U32 -> @headers:List<&2, Header> -> @bytes:List<&2, U32> -> @eof:Bool -> @within:Bool -> Decode

def dec_body_framing source · line 899 · raw

@method:String -> @status:U32 -> @headers:List<&2, Header> -> @+bytes:List<&2, U32> -> @+eof:Bool -> @+limits:Limits -> @framing:DecLength -> Decode

def dec_hex_digit source · line 924 · raw

@c:Char -> RxNumber

def dec_hex_accum_check source · line 950 · raw

@value:U32 -> @n:U32 -> @okay:Bool -> RxNumber

def dec_hex_accum source · line 955 · raw

@+value:U32 -> @digit:RxNumber -> RxNumber

def dec_hex_number source · line 960 · raw

@+text:String -> @accumulator:RxNumber -> @seen:Bool -> RxNumber

def dec_semicolon source · line 974 · raw

@text:String -> @acc:String -> Cut

def dec_chunk_size_number source · line 980 · raw

@parsed:RxNumber -> ChunkSize

def dec_chunk_size_split source · line 986 · raw

@line:String -> @split:Cut -> ChunkSize

def dec_chunk_size_check source · line 991 · raw

@line:String -> @split:Cut -> @within:Bool -> ChunkSize

def dec_chunk_size source · line 996 · raw

@+line:String -> @line_limit:U32 -> ChunkSize

def dec_limits_chunk_line source · line 1005 · raw

@limits:Limits -> U32

def dec_limits_trailer_bytes source · line 1009 · raw

@limits:Limits -> U32

def dec_limits_trailer_count source · line 1013 · raw

@limits:Limits -> U32

def dec_trailer_forbidden_basic source · line 1017 · raw

@+name:String -> Bool

def dec_trailer_forbidden_connection source · line 1022 · raw

@+name:String -> Bool

def dec_trailer_forbidden_proxy source · line 1026 · raw

@+name:String -> Bool

def dec_trailer_forbidden source · line 1030 · raw

@+name:String -> Bool

def dec_trailer_header_check source · line 1034 · raw

@+header:Header -> @name:String -> @trailers:List<&2, Header> -> @+rest:String -> @trailer_bytes:Nat -> @trailer_count:Nat -> @forbidden:Bool -> ChunkStep

def dec_trailer_header source · line 1045 · raw

@+header:Header -> @trailers:List<&2, Header> -> @+rest:String -> @trailer_bytes:Nat -> @trailer_count:Nat -> ChunkStep

def dec_trailer_added_result source · line 1053 · raw

@parsed:Result<&2, &2, Error, Header> -> @trailers:List<&2, Header> -> @+rest:String -> @trailer_bytes:Nat -> @trailer_count:Nat -> ChunkStep

def dec_trailer_added source · line 1062 · raw

@parsed:Result<&2, &2, Error, Header> -> @trailers:List<&2, Header> -> @+rest:String -> @trailer_bytes:Nat -> @trailer_count:Nat -> @limits:Limits -> @within:Bool -> ChunkStep

def dec_trailer_blank source · line 1073 · raw

@trailers:List<&2, Header> -> @+rest:String -> @trailer_bytes:Nat -> @limits:Limits -> @within:Bool -> ChunkStep

def dec_trailer_line_empty source · line 1082 · raw

@+line:String -> @+rest:String -> @trailers:List<&2, Header> -> @+trailer_bytes:Nat -> @+trailer_count:Nat -> @+limits:Limits -> @empty:Bool -> ChunkStep

def dec_trailer_line source · line 1098 · raw

@+line:String -> @rest:String -> @trailers:List<&2, Header> -> @trailer_bytes:Nat -> @trailer_count:Nat -> @limits:Limits -> ChunkStep

def dec_chunk_incomplete source · line 1106 · raw

@eof:Bool -> ChunkResult

def dec_trailer_line_scan_result source · line 1111 · raw

@+text:String -> @trailers:List<&2, Header> -> @trailer_bytes:Nat -> @trailer_count:Nat -> @limits:Limits -> @eof:Bool -> @cut:Cut -> ChunkStep

def dec_trailer_line_scan source · line 1123 · raw

@+text:String -> @trailers:List<&2, Header> -> @+trailer_bytes:Nat -> @+trailer_count:Nat -> @+limits:Limits -> @eof:Bool -> ChunkStep

def dec_trailer_scan source · line 1131 · raw

@fuel:Nat -> @+text:String -> @trailers:List<&2, Header> -> @+trailer_bytes:Nat -> @+trailer_count:Nat -> @+limits:Limits -> @+eof:Bool -> @step:ChunkStep -> ChunkResult

def dec_trailer_step source · line 1150 · raw

@body:List<&2, U32> -> @result:ChunkResult -> ChunkStep

def dec_chunk_data_terminator source · line 1156 · raw

@+size:U32 -> @body:List<&2, U32> -> @trailers:List<&2, Header> -> @+tail:String -> @data:String -> @valid:Bool -> ChunkStep

def dec_chunk_data_enough source · line 1166 · raw

@+size:U32 -> @body:List<&2, U32> -> @trailers:List<&2, Header> -> @+rest:String -> @limits:Limits -> @enough:Bool -> ChunkStep

def dec_chunk_data source · line 1179 · raw

@+size:U32 -> @body:List<&2, U32> -> @trailers:List<&2, Header> -> @+rest:String -> @+limits:Limits -> @within:Bool -> ChunkStep

def dec_chunk_size_zero source · line 1189 · raw

@+size:U32 -> @+body:List<&2, U32> -> @+trailers:List<&2, Header> -> @+rest:String -> @+limits:Limits -> @+eof:Bool -> @zero:Bool -> ChunkStep

def dec_chunk_size_ready source · line 1201 · raw

@+size:U32 -> @+body:List<&2, U32> -> @+trailers:List<&2, Header> -> @+rest:String -> @+limits:Limits -> @+eof:Bool -> @body_within:Bool -> ChunkStep

def dec_chunk_size_limit source · line 1212 · raw

@value:U32 -> @body:List<&2, U32> -> @trailers:List<&2, Header> -> @+tail:String -> @+limits:Limits -> @eof:Bool -> @within:Bool -> ChunkStep

def dec_chunk_line_size source · line 1221 · raw

@size:ChunkSize -> @+body:List<&2, U32> -> @+trailers:List<&2, Header> -> @+tail:String -> @+limits:Limits -> @+eof:Bool -> ChunkStep

def dec_chunk_line_cut source · line 1232 · raw

@+line:String -> @+tail:String -> @body:List<&2, U32> -> @trailers:List<&2, Header> -> @+limits:Limits -> @eof:Bool -> @size:ChunkSize -> @within:Bool -> ChunkStep

def dec_chunk_line_scan_result source · line 1244 · raw

@+text:String -> @+body:List<&2, U32> -> @+trailers:List<&2, Header> -> @+limits:Limits -> @+eof:Bool -> @cut:Cut -> ChunkStep

def dec_chunk_line_scan source · line 1256 · raw

@+text:String -> @body:List<&2, U32> -> @trailers:List<&2, Header> -> @+limits:Limits -> @eof:Bool -> ChunkStep

def dec_chunk_scan source · line 1263 · raw

@fuel:Nat -> @+text:String -> @body:List<&2, U32> -> @trailers:List<&2, Header> -> @+limits:Limits -> @+eof:Bool -> @step:ChunkStep -> ChunkResult

def dec_chunked_result source · line 1280 · raw

@status:U32 -> @headers:List<&2, Header> -> @result:ChunkResult -> Decode

def dec_chunked_decode source · line 1286 · raw

@status:U32 -> @headers:List<&2, Header> -> @+bytes:List<&2, U32> -> @+eof:Bool -> @+limits:Limits -> Decode

def dec_transfer_value_check source · line 1295 · raw

@status:U32 -> @headers:List<&2, Header> -> @bytes:List<&2, U32> -> @eof:Bool -> @limits:Limits -> @is_chunked:Bool -> @repeated:Bool -> Decode

def dec_transfer_value_text source · line 1309 · raw

@+status:U32 -> @+headers:List<&2, Header> -> @+bytes:List<&2, U32> -> @+eof:Bool -> @+limits:Limits -> @+value:String -> Decode

def dec_transfer_value source · line 1317 · raw

@status:U32 -> @headers:List<&2, Header> -> @bytes:List<&2, U32> -> @eof:Bool -> @limits:Limits -> @value:List<&2, U32> -> @framing:DecLength -> Decode

def dec_transfer_pick source · line 1329 · raw

@status:U32 -> @headers:List<&2, Header> -> @bytes:List<&2, U32> -> @eof:Bool -> @limits:Limits -> @transfer:List<&2, List<&2, U32>> -> @framing:DecLength -> Decode

def dec_transfer_for_method source · line 1341 · raw

@method:String -> @status:U32 -> @headers:List<&2, Header> -> @bytes:List<&2, U32> -> @eof:Bool -> @limits:Limits -> @transfer:List<&2, List<&2, U32>> -> @framing:DecLength -> Decode

def dec_body_no_body source · line 1358 · raw

@method:String -> @status:U32 -> @+headers:List<&2, Header> -> @+bytes:List<&2, U32> -> @+eof:Bool -> @+limits:Limits -> @no_body:Bool -> Decode

def dec_body_dispatch source · line 1370 · raw

@+method:String -> @+status:U32 -> @+headers:List<&2, Header> -> @+bytes:List<&2, U32> -> @+eof:Bool -> @+limits:Limits -> Decode

def dec_status_is_interim source · line 1385 · raw

@+status:U32 -> Bool

def dec_after_head_code source · line 1388 · raw

@method:String -> @status:U32 -> @headers:List<&2, Header> -> @rest:String -> @eof:Bool -> @limits:Limits -> @interim:Bool -> @upgrade:Bool -> DecAfterHead

def dec_after_head_step source · line 1401 · raw

@method:String -> @head:HeadScan -> @eof:Bool -> @limits:Limits -> DecAfterHead

def dec_limits_interim_count source · line 1411 · raw

@limits:Limits -> U32

def dec_after_head source · line 1415 · raw

@fuel:Nat -> @+method:String -> @+limits:Limits -> @+eof:Bool -> @step:DecAfterHead -> Decode

def dec_decode_wire source · line 1431 · raw

@+method:String -> @+limits:Limits -> @bytes:List<&2, U32> -> @+eof:Bool -> Decode

def dec_limits_wire_bytes source · line 1436 · raw

@limits:Limits -> U32

def dec_wire_parsed source · line 1440 · raw

@response:Response -> @rest:List<&2, U32> -> @within:Bool -> Decode

def dec_wire_incomplete source · line 1445 · raw

@within:Bool -> Decode

def dec_decode_wire_result source · line 1450 · raw

@result:Decode -> @+bytes:List<&2, U32> -> @limits:Limits -> Decode

def dec_decode_bytes source · line 1459 · raw

@method:String -> @+limits:Limits -> @+bytes:List<&2, U32> -> @eof:Bool -> @bytes_ok:Bool -> Decode

def decode source · line 1470 · raw

@method:String -> @limits:Limits -> @+bytes:List<&2, U32> -> @eof:Bool -> Decode

def nonempty_fragments source · line 1476 · raw

@parts:List<&2, List<&2, U32>> -> List<&2, List<&2, U32>>

def flatten_nonempty source · line 1482 · raw

@parts:List<&2, List<&2, U32>> -> List<&2, U32>

def flatten_bytes source · line 1488 · raw

@parts:List<&2, List<&2, U32>> -> List<&2, U32>

def decode_parts source · line 1491 · raw

@method:String -> @limits:Limits -> @fragments:List<&2, List<&2, U32>> -> @eof:Bool -> Decode

def drop_written_result source · line 1497 · raw

@+bytes:List<&2, U32> -> @+count:U32 -> @within:Bool -> @zero:Bool -> @empty:Bool -> Result<&2, &2, Error, List<&2, U32>>

def drop_written source · line 1508 · raw

@+bytes:List<&2, U32> -> @+count:U32 -> Result<&2, &2, Error, List<&2, U32>>

def read_json_parsed source · line 1513 · raw

@parsed:Result<&1, &1, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Error, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Value> -> Result<&1, &1, Error, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Value>

def read_json_body source · line 1518 · raw

@body:List<&2, U32> -> @text:String -> @is_utf8:Bool -> Result<&1, &1, Error, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Value>

def read_json_gpu_body source · line 1525 · raw

@body:List<&2, U32> -> @text:String -> @is_utf8:Bool -> Result<&1, &1, Error, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Value>

def read_json_select source · line 1532 · raw

@+text:String -> @encoding_ok:Bool -> @is_utf8:Bool -> @gpu:Bool -> Result<&1, &1, Error, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Value>

def read_json_encoding source · line 1542 · raw

@+body:List<&2, U32> -> @+text:String -> @encoding_ok:Bool -> Result<&1, &1, Error, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Value>

def identity_encoding source · line 1547 · raw

@values:List<&2, List<&2, U32>> -> Bool

def read_json_encoding_gpu source · line 1553 · raw

@+body:List<&2, U32> -> @+text:String -> @encoding_ok:Bool -> @gpu:Bool -> Result<&1, &1, Error, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Value>

def read_json source · line 1559 · raw

@response:Response -> Result<&1, &1, Error, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Value>

def encode_gpu source · line 1565 · raw

@request:Request -> Result<&2, &2, Error, List<&2, U32>>

def decode_gpu source · line 1568 · raw

@method:String -> @limits:Limits -> @bytes:List<&2, U32> -> @eof:Bool -> Decode

def read_json_gpu source · line 1571 · raw

@response:Response -> Result<&1, &1, Error, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Value>

def run_work source · line 1577 · raw

@work:Work -> Outcome

def run_batch source · line 1582 · raw

@batch:Batch -> BatchResult

def run_batch_gpu source · line 1589 · raw

@batch:Batch -> BatchResult

def append_outcomes source · line 1592 · raw

@xs:List<&2, Outcome> -> @ys:List<&2, Outcome> -> List<&2, Outcome>

def batch_leaves source · line 1597 · raw

@jobs:List<&2, Work> -> List<&2, Batch>

def batch_pairs source · line 1602 · raw

@trees:List<&2, Batch> -> List<&2, Batch>

def batch_fold_result source · line 1608 · raw

@head:Batch -> @rest:Maybe<&2, Batch> -> Maybe<&2, Batch>

def batch_fold source · line 1613 · raw

@trees:List<&2, Batch> -> Maybe<&2, Batch>

def batch_build source · line 1618 · raw

@fuel:Nat -> @trees:List<&2, Batch> -> Maybe<&2, Batch>

def batch_from_list source · line 1627 · raw

@+jobs:List<&2, Work> -> Maybe<&2, Batch>

def run_many_tree source · line 1630 · raw

@batch:Maybe<&2, Batch> -> Maybe<&2, BatchResult>

def run_many_gpu_tree source · line 1635 · raw

@batch:Maybe<&2, Batch> -> Maybe<&2, BatchResult>

def run_many source · line 1640 · raw

@jobs:List<&2, Work> -> Maybe<&2, BatchResult>

def run_many_gpu source · line 1643 · raw

@jobs:List<&2, Work> -> Maybe<&2, BatchResult>

def flatten_results source · line 1646 · raw

@results:BatchResult -> List<&2, Outcome>

def valid_limits source · line 1651 · raw

@limits:Limits -> Bool

def valid_options source · line 1658 · raw

@options:Options -> Bool

def send_preflight_size source · line 1664 · raw

@bytes:List<&2, U32> -> @within:Bool -> Result<&1, &1, Error, List<&2, U32>>

def send_preflight_encoded source · line 1669 · raw

@encoded:Result<&2, &2, Error, List<&2, U32>> -> @maximum:U32 -> Result<&1, &1, Error, List<&2, U32>>

def send_header_input_size source · line 1678 · raw

@headers:List<&2, Header> -> Nat

A character contributes at least one encoded byte. This rejects oversized caller input before encode allocates the request; the exact byte cap follows.

def send_request_input_size source · line 1684 · raw

@request:Request -> Nat

def send_request_header_count source · line 1689 · raw

@request:Request -> Nat

def send_preflight_status source · line 1693 · raw

@options_valid:Bool -> @body_within:Bool -> @request:Request -> @maximum:U32 -> Result<&1, &1, Error, List<&2, U32>>

def send_preflight_request source · line 1704 · raw

@+request:Request -> @options_valid:Bool -> @limits:Limits -> Result<&1, &1, Error, List<&2, U32>>

def send_preflight_options source · line 1716 · raw

@+request:Request -> @options_valid:Bool -> @options:Options -> Result<&1, &1, Error, List<&2, U32>>

def send_preflight source · line 1723 · raw

@+request:Request -> @+options:Options -> Result<&1, &1, Error, List<&2, U32>>

def send_option_connect_ms source · line 1726 · raw

@options:Options -> U32

def send_option_limits source · line 1730 · raw

@options:Options -> Limits

def send_option_read_ms source · line 1734 · raw

@options:Options -> U32

def send_option_write_ms source · line 1738 · raw

@options:Options -> U32

def send_option_total_ms source · line 1742 · raw

@options:Options -> U32

def send_option_fuel source · line 1746 · raw

@options:Options -> U32

def send_error_timeout source · line 1750 · raw

@is_timeout:Bool -> @fallback:Error -> Error

def send_error_code source · line 1755 · raw

@+code:U32 -> @fallback:Error -> Error

def send_min_budget_choice source · line 1758 · raw

@is_smaller:Bool -> @+remain:Nat -> @+maximum:U32 -> Maybe<&2, U32>

def send_min_budget_status source · line 1763 · raw

@is_before:Bool -> @+deadline:Nat -> @+maximum:U32 -> @now:Nat -> Maybe<&2, U32>

def send_min_budget source · line 1773 · raw

@+deadline:Nat -> @+maximum:U32 -> @+now:Nat -> Maybe<&2, U32>

def send_budget source · line 1776 · raw

@deadline:Nat -> @maximum:U32 -> IO(Maybe<&2, U32>)

def send_dns_target_local source · line 1781 · raw

@+host:String -> @is_local:Bool -> @budget:U32 -> IO(Maybe<&2, String>)

def send_dns_target_kind source · line 1786 · raw

@+host:String -> @is_ipv4:Bool -> @budget:U32 -> IO(Maybe<&2, String>)

def send_dns_target source · line 1791 · raw

@+host:String -> @budget:U32 -> IO(Maybe<&2, String>)

def send_closed source · line 1794 · raw

@tls:Bool -> @sock:Socket -> IO(Unit)

def send_fail_closed source · line 1799 · raw

@tls:Bool -> @sock:Socket -> @error:Error -> IO(Result<&1, &1, Error, Response>)

def send_finish_closed source · line 1804 · raw

@tls:Bool -> @sock:Socket -> @decoded:Decode -> IO(Result<&1, &1, Error, Response>)

def send_recv source · line 1817 · raw

@+tls:Bool -> @sock:Socket -> @max:U32 -> @ms:U32 -> IO(Pair(Socket, Result<&1, &1, Pair(U32, String), String>))

def send_read_size_choice source · line 1825 · raw

@small:Bool -> @limit:U32 -> U32

def send_read_size source · line 1830 · raw

@limits:Limits -> U32

def send_read_process_data source · line 1835 · raw

@tls:Bool -> @sock:Socket -> @+method:String -> @+limits:Limits -> @+bytes:List<&2, U32> -> @+data:String -> @empty:Bool -> @resume:(@_:Socket -> @_:List<&2, U32> -> IO(Result<&1, &1, Error, Response>)) -> IO(Result<&1, &1, Error, Response>)

def send_read_process source · line 1847 · raw

@tls:Bool -> @+method:String -> @+limits:Limits -> @+bytes:List<&2, U32> -> @resume:(@_:Socket -> @_:List<&2, U32> -> IO(Result<&1, &1, Error, Response>)) -> @result:Pair(Socket, Result<&1, &1, Pair(U32, String), String>) -> IO(Result<&1, &1, Error, Response>)

def send_read_budget source · line 1859 · raw

@+tls:Bool -> @sock:Socket -> @+method:String -> @+limits:Limits -> @+bytes:List<&2, U32> -> @read_ms:U32 -> @budget:Maybe<&2, U32> -> @resume:(@_:Socket -> @_:List<&2, U32> -> IO(Result<&1, &1, Error, Response>)) -> IO(Result<&1, &1, Error, Response>)

def send_read_start source · line 1875 · raw

@tls:Bool -> @sock:Socket -> @+method:String -> @+limits:Limits -> @+bytes:List<&2, U32> -> @+deadline:Nat -> @+read_ms:U32 -> @resume:(@_:Socket -> @_:List<&2, U32> -> IO(Result<&1, &1, Error, Response>)) -> IO(Result<&1, &1, Error, Response>)

def send_read_decoded source · line 1887 · raw

@tls:Bool -> @sock:Socket -> @+method:String -> @+limits:Limits -> @+bytes:List<&2, U32> -> @resume:(@_:Socket -> @_:List<&2, U32> -> IO(Result<&1, &1, Error, Response>)) -> @decoded:Decode -> IO(Result<&1, &1, Error, Response>)

def send_read_step source · line 1899 · raw

@fuel:Nat -> @+tls:Bool -> @sock:Socket -> @+method:String -> @+limits:Limits -> @+bytes:List<&2, U32> -> @+deadline:Nat -> @+read_ms:U32 -> IO(Result<&1, &1, Error, Response>)

def send_written_success source · line 1918 · raw

@tls:Bool -> @sock:Socket -> @request:Request -> @+limits:Limits -> @deadline:Nat -> @read_ms:U32 -> @fuel:U32 -> IO(Result<&1, &1, Error, Response>)

def send_written_result source · line 1929 · raw

@tls:Bool -> @+request:Request -> @+limits:Limits -> @deadline:Nat -> @read_ms:U32 -> @fuel:U32 -> @result:Pair(Socket, Result<&1, &1, Pair(U32, String), Unit>) -> IO(Result<&1, &1, Error, Response>)

def send_wire_method source · line 1943 · raw

@tls:Bool -> @_:Socket -> @_:String -> @_:U32 -> IO(Pair(Socket, Result<&1, &1, Pair(U32, String), Unit>))

def send_socket_action source · line 1948 · raw

@+tls:Bool -> @sock:Socket -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @deadline:Nat -> @read_ms:U32 -> @fuel:U32 -> @ms:U32 -> IO(Result<&1, &1, Error, Response>)

def send_socket_budget source · line 1962 · raw

@tls:Bool -> @sock:Socket -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @deadline:Nat -> @write_ms:U32 -> @read_ms:U32 -> @fuel:U32 -> @budget:Maybe<&2, U32> -> IO(Result<&1, &1, Error, Response>)

def send_socket source · line 1976 · raw

@tls:Bool -> @sock:Socket -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @+deadline:Nat -> @+write_ms:U32 -> @read_ms:U32 -> @fuel:U32 -> IO(Result<&1, &1, Error, Response>)

def send_tls_result source · line 1989 · raw

@+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @deadline:Nat -> @write_ms:U32 -> @read_ms:U32 -> @fuel:U32 -> @result:Pair(Socket, Result<&1, &1, Pair(U32, String), Unit>) -> IO(Result<&1, &1, Error, Response>)

def send_tls_budget source · line 2006 · raw

@sock:Socket -> @+host:String -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @deadline:Nat -> @write_ms:U32 -> @read_ms:U32 -> @fuel:U32 -> @budget:Maybe<&2, U32> -> IO(Result<&1, &1, Error, Response>)

def send_connected_fields source · line 2027 · raw

@tls:Bool -> @+host:String -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @+deadline:Nat -> @+options:Options -> @sock:Socket -> IO(Result<&1, &1, Error, Response>)

def send_connected source · line 2042 · raw

@+target:Target -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @deadline:Nat -> @options:Options -> @sock:Socket -> IO(Result<&1, &1, Error, Response>)

def send_connected_fields_result source · line 2053 · raw

@tls:Bool -> @+host:String -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @deadline:Nat -> @options:Options -> @result:Result<&1, &1, Pair(U32, String), Socket> -> IO(Result<&1, &1, Error, Response>)

def send_resolved_budget source · line 2066 · raw

@tls:Bool -> @+host:String -> @port:U32 -> @+authority:String -> @+resource:String -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @deadline:Nat -> @options:Options -> @+ip:String -> @budget:Maybe<&2, U32> -> IO(Result<&1, &1, Error, Response>)

def send_resolved source · line 2085 · raw

@+target:Target -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @+deadline:Nat -> @+options:Options -> @ip:String -> IO(Result<&1, &1, Error, Response>)

def send_connected_result source · line 2098 · raw

@+target:Target -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @deadline:Nat -> @options:Options -> @result:Result<&1, &1, Pair(U32, String), Socket> -> IO(Result<&1, &1, Error, Response>)

def send_dns_missing source · line 2111 · raw

@budget:Maybe<&2, U32> -> IO(Result<&1, &1, Error, Response>)

def send_dns_result source · line 2116 · raw

@+target:Target -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @deadline:Nat -> @options:Options -> @result:Maybe<&2, String> -> IO(Result<&1, &1, Error, Response>)

def send_target_budget source · line 2130 · raw

@+target:Target -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @deadline:Nat -> @options:Options -> @+host:String -> @budget:Maybe<&2, U32> -> IO(Result<&1, &1, Error, Response>)

def send_target source · line 2145 · raw

@+target:Target -> @+request:Request -> @+encoded:List<&2, U32> -> @+limits:Limits -> @+deadline:Nat -> @+options:Options -> IO(Result<&1, &1, Error, Response>)

def send_started_url source · line 2157 · raw

@+request:Request -> @+options:Options -> @deadline:Nat -> @+encoded:List<&2, U32> -> @parsed:Result<&2, &2, Error, Target> -> IO(Result<&1, &1, Error, Response>)

def send_started_request source · line 2166 · raw

@+request:Request -> @+options:Options -> @deadline:Nat -> @+encoded:List<&2, U32> -> IO(Result<&1, &1, Error, Response>)

def send_started source · line 2174 · raw

@+request:Request -> @+options:Options -> @deadline:Nat -> @preflight:Result<&1, &1, Error, List<&2, U32>> -> IO(Result<&1, &1, Error, Response>)

def send_started_at source · line 2183 · raw

@+request:Request -> @+options:Options -> @preflight:Result<&1, &1, Error, List<&2, U32>> -> @now:Nat -> IO(Result<&1, &1, Error, Response>)

def send_selected source · line 2189 · raw

@+request:Request -> @+options:Options -> @options_ok:Bool -> IO(Result<&1, &1, Error, Response>)

def send source · line 2199 · raw

@+request:Request -> @+options:Options -> IO(Result<&1, &1, Error, Response>)