src/http.bend checks
raw source on the hub · import 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/http.bend as Http
1 import
import Base
Types
type Header source · line 4 · raw
Data
Pure request policy. Network effects are supplied by the native backend.
Header@name:String -> @value:String -> Header
type Request source · line 7 · raw
Data
Request@method:String -> @url:String -> @body:String -> @timeout_ms:U32 -> @max_bytes:U32 -> @headers:List<&2, Header> -> Request
Definitions
def get source · line 10 · raw
@url:String -> Request
def post_json source · line 13 · raw
@url:String -> @body:String -> Request
def put_json source · line 16 · raw
@url:String -> @body:String -> Request
def patch_json source · line 19 · raw
@url:String -> @body:String -> Request
def delete source · line 22 · raw
@url:String -> Request
def head source · line 25 · raw
@url:String -> Request
def with_timeout source · line 28 · raw
@ms:U32 -> @request:Request -> Request
def with_max_bytes source · line 33 · raw
@bytes:U32 -> @request:Request -> Request
def timeout source · line 38 · raw
@request:Request -> U32
def body_limit source · line 43 · raw
@request:Request -> U32
def is_success source · line 48 · raw
@+status:U32 -> Bool
def with_header source · line 52 · raw
@name:String -> @value:String -> @request:Request -> Request
Latest call wins for the same case-insensitive name at the native boundary.
def with_bearer source · line 57 · raw
@token:String -> @request:Request -> Request