http.bend relies on unsafe/foreign
raw source on the hub · import 0x0fcbfd752798596b0c5c3cea4816dd08/http.bend as Http
2 imports
import Base import ./url.bend as Url
Types
type Method source · line 4 · raw
Data
GETMethod
POSTMethod
PUTMethod
PATCHMethod
DELETEMethod
type Hdr source · line 11 · raw
Data
Hdr@name:String -> @value:String -> Hdr
type Reply source · line 14 · raw
Data
Reply@status:U32 -> @headers:String -> @body:String -> Reply
Definitions
def Method.show source · line 17 · raw
@m:Method -> String
def Method.is_get source · line 30 · raw
@m:Method -> Bool
def Hdr.line source · line 43 · raw
@h:Hdr -> String
def Hdr.block source · line 48 · raw
@xs:List<&2, Hdr> -> String
def Hdr.json source · line 55 · raw
Hdr
def Hdr.accept source · line 58 · raw
Hdr
def Hdr.bearer source · line 61 · raw
@+token:String -> Hdr
def Hdr.org source · line 64 · raw
@+org:String -> Hdr
def Http.ok source · line 67 · raw
@+status:U32 -> Bool
def Http.unauthorized source · line 70 · raw
@+status:U32 -> Bool
def Http.pack source · line 79 · raw
@r:Result<&1, &1, Pair(U32, String), Pair(U32, Pair(String, String))> -> Result<&1, &1, Pair(U32, String), Reply>
def Http.send source · line 88 · raw
@method:Method -> @url:String -> @headers:List<&2, Hdr> -> @body:String -> IO(Result<&1, &1, Pair(U32, String), Reply>)
def Http.call source · line 96 · raw
@+base:String -> @method:Method -> @+path:String -> @headers:List<&2, Hdr> -> @body:String -> IO(Result<&1, &1, Pair(U32, String), Reply>)
Effects (foreign code)
effect Http.fetch source · line 73 · raw
@method:String -> @url:String -> @headers:String -> @body:String -> IO(Result<&1, &1, Pair(U32, String), Pair(U32, Pair(String, String))>)
foreign: http_fetch.c, http_fetch.js