bend-kit-http

Search uses release 0.38.2.0 · 1,026 definitions

Releases (48)

type Counts
type Caps
type Command
type LeaseOne transport resource: its pool, and every lease taken from it joined in one grant.
type Marks
type Ledger
type BookedBroken means a lease count is wrong, such as a give with no matching take.
type Taken
def lease.open
def ledger.open
def lease.joined
def lease.took
def lease.take
def lease.released
def lease.split
def lease.give
def count
def counts
def final
def markedRaises each high-water mark to its current count.
def refused
def acquire.rollbackA refused buffer returns the connection lease it already took.
def acquire.buffered
def acquire.connectionA connection holds one connection unit and one buffer unit, taken together.
def acquire.active
def acquire
def acquire.running
def release.connection
def release.active
def release
def stopped
def idle
type Step
def loop
def open
def open.ownerThe affine server owner joins this actual actor result after closing its listener.
def boolean.sent
def quiesceFalse also covers copied controls used after actual controller closure.
def running
def take
def give.sentCorrect owners cannot retire the actor while a lease remains counted.
def give
def snapshot.sent
def snapshotA successful rendezvous send was received: Stop cannot erase a queued request.
def closeRetire accounting after listener closure; quiesce is the separate admission cutover.

type Outcome
type Completion
type ReceiptConsumed inline while the admitted operation is still held.
def receipt.send
def receipt
def openThe observer owns IO.join/explicit close, including when it receives later.
def report
def ignoreExplicit absence of a configured observer performs no logging or allocation.

type Req
type Res
type ReplyA typed Data payload can be captured in receipt; the response remains affine.
def reply.complete
def BodyThe body type and its conversions, so a caller needs no bytes import.
def from_stringA byte string (one Char per octet) to a body, and back.
def to_string
def length
type ErrWhy fetch failed.
def err.late
def err.pick
def err.or_late
type Fields
def emptyOne list per field name, in arrival order.
def fields.of
def fields
def header.first
def header
def field.last
def header.lastTransfer-Encoding is a list; chunked, when present, is the last coding.
def snoc
def set
def add
def sanitize.cons
def sanitize
def drop_cr.last.if
def drop_cr.last
def drop_cr.goprev is the char before s; it is kept unless it is a final CR.
def drop_cr
def blank_end.gow holds the last four octets; a char past 255 clears it.
def blank_endString.ends_with(s, "\r\n\r\n") in one pass, with no reversed copy.
def trim_end.cons
def trim_endString.trim_end without the two reversed copies.
def trim
def take.cutBool.pick evaluates both arms; a split that recursed inside it would reverse acc at every byte.
def take_sp.gohit: the last char pushed onto acc was the stop char.
def take_sp
def start_line.ver
def start_line.rest
def start_line
def split_at_blank.go
def split_at_blank.flag.gosplit_at_blank, plus whether the head ends in the blank line.
def split_at_blank.pair
def split_at_blank
def split_colon.go
def split_colon
def has_header.of