src/body.bend
1# ezhttp/src/body: request entity as empty, UTF-8 text, or octet list. Core does
2# not depend on ezjson. Callers plug encode/decode through Bend type
3# parameters (BYO JSON or any other representation).
4import Base
5
6# what rides in a request: nothing, text, or raw octets (each U32 is 0..255)
7type Body is Data:
8 Empty{}
9 Plain{text: String}
10 Octets{bytes: List<&2, U32>}
11
12# one octet as a character whose code point is that byte
13def octet.char(+b: U32) -> Char:
14 Char.from_u32(b)
15
16# octets as a string of those code points (wire UTF-8 length is utf8.len)
17def octets.chars(bs: List<&2, U32>) -> String:
18 match bs:
19 case []:
20 ""
21 case h <> t:
22 SCon{octet.char(h), octets.chars(t)}
23
24# the payload bytes as a Bend string for the request line/body
25def body.payload(b: Body) -> String:
26 match b:
27 case Empty{}:
28 ""
29 case Plain{text}:
30 text
31 case Octets{bytes}:
32 octets.chars(bytes)
33
34# empty body
35def body.empty() -> Body:
36 Empty{}
37
38# UTF-8 text body
39def body.text(s: String) -> Body:
40 Plain{s}
41
42# octet body (each element a wire-oriented code point 0..255)
43def body.octets(bs: List<&2, U32>) -> Body:
44 Octets{bs}
45
46# BYO encode: any value to a text body via the caller's encoder
47def body.encode(~A: Data, ~to_text: A -> String, value: A) -> Body:
48 Plain{to_text(value)}
49
50# BYO decode: body text to a value via the caller's decoder
51def body.decode(~A: Data, ~from_text: String -> Maybe<&2, A>, s: String)
52 -> Maybe<&2, A>:
53 from_text(s)