src/io.bend relies on unsafe/foreign
raw source on the hub · import 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/io.bend as Io
3 imports
import Base import ./http.bend as Http import ./json.bend as Json
Types
type ResponseHeader source · line 5 · raw
Data
ResponseHeader@name:String -> @value:String -> ResponseHeader
type Response source · line 8 · raw
Data
Response@status:U32 -> @body:String -> @headers:List<&2, ResponseHeader> -> Response
type HttpResult source · line 34 · raw
Data
HttpOk@response:Response -> HttpResult
HttpError@code:String -> @message:String -> HttpResult
type JsonResult source · line 38 · raw
Data
JsonOk@status:U32 -> @value:0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json -> JsonResult
JsonError@code:String -> @message:String -> JsonResult
Definitions
def header_step source · line 12 · raw
@equal:Bool -> @value:String -> @rest:(@_:Unit -> Maybe<&1, String>) -> Maybe<&1, String>
Names from the transport are lowercase. Pass a lowercase lookup name.
def header source · line 17 · raw
@+name:String -> @headers:List<&2, ResponseHeader> -> Maybe<&1, String>
def header_values_step source · line 23 · raw
@equal:Bool -> @value:String -> @rest:List<&1, String> -> List<&1, String>
def header_values source · line 28 · raw
@+name:String -> @headers:List<&2, ResponseHeader> -> List<&1, String>
def finish_json source · line 45 · raw
@status:U32 -> @result:0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.ParseResult -> IO(JsonResult)
def decode_response source · line 52 · raw
@result:HttpResult -> IO(JsonResult)
def Stiff.send_json source · line 61 · raw
@request:0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/http.Request -> IO(JsonResult)
Effects (foreign code)
effect Stiff.send source · line 42 · raw
@request:0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/http.Request -> IO(HttpResult)
foreign: src/effects/stiff.c