~/bend-docscommunity

http/text.bend checks

raw source on the hub · import 0x7232384c42402f977ceed3b85efc3adc/http/text.bend as Text

1 import
import Base

Types

type Cut source · line 34 · raw

Data

a String cut at the first c: the part before, and the rest after it

Definitions

def same source · line 8 · raw

@a:String -> @b:String -> @ok:Bool -> Bool

equal, case-sensitive

def lower source · line 17 · raw

@+x:U32 -> U32

def fold.eq source · line 20 · raw

@+x:U32 -> @+y:U32 -> Bool

def same_ci source · line 24 · raw

@a:String -> @b:String -> @ok:Bool -> Bool

equal ignoring ASCII case, as header names compare (RFC 9110 §5.1)

def head_is source · line 37 · raw

@s:String -> @+c:U32 -> Bool

def cut.go source · line 45 · raw

@+s:String -> @+c:U32 -> @acc:String -> @hit:Bool -> Cut

hit is head_is(s, c), found before s is read

def cut source · line 54 · raw

@+s:String -> @+c:U32 -> Cut