TyTTP.HTTP.Protocol

(source)

Definitions

data Method : Type

Totality: total
Visibility: public export
Constructors:

OPTIONS : Method
GET : Method
HEAD : Method
POST : Method
PUT : Method
DELETE : Method
TRACE : Method
CONNECT : Method
OtherMethod : String -> Method

Hints:

Eq Method
Show Method

parseMethod : String -> Method

Visibility: export

data Version : Type

Totality: total
Visibility: public export
Constructors:

Version_1_0 : Version
Version_1_1 : Version
Version_2 : Version
OtherVersion : String -> Version

Hints:

Eq Version
Show Version

parseVersion : String -> Version

Visibility: export

StringHeaders : Type

Visibility: public export

interface HasContentType : Type -> Type

Parameters: a
Methods:

getContentType : a -> Maybe String

Implementation:

HasContentType StringHeaders

getContentType : HasContentType a => a -> Maybe String

Visibility: public export

HttpRequest : Type -> Type -> Type -> Type

Visibility: public export

mkRequest : Method -> p -> Version -> h -> a -> HttpRequest p h a

Visibility: export

data Status : Type

Totality: total
Visibility: public export
Constructors:

CONTINUE : Status
SWITCHING_PROTOCOLS : Status
PROCESSING : Status
EARLY_HINTS : Status
OK : Status
CREATED : Status
ACCEPTED : Status
NON_AUTHORITATIVE_INFORMATION : Status
NO_CONTENT : Status
RESET_CONTENT : Status
PARTIAL_CONTENT : Status
MULTI_STATUS : Status
ALREADY_REPORTED : Status
IM_USED : Status
MULTIPLE_CHOICES : Status
MOVED_PERMANENTLY : Status
FOUND : Status
SEE_OTHER : Status
NOT_MODIFIED : Status
USE_PROXY : Status
TEMPORARY_REDIRECT : Status
PERMANENT_REDIRECT : Status
BAD_REQUEST : Status
UNAUTHORIZED : Status
PAYMENT_REQUIRED : Status
FORBIDDEN : Status
NOT_FOUND : Status
METHOD_NOT_ALLOWED : Status
NOT_ACCEPTABLE : Status
PROXY_AUTHENTICATION_REQUIRED : Status
REQUEST_TIMEOUT : Status
CONFLICT : Status
GONE : Status
LENGTH_REQUIRED : Status
PRECONDITION_FAILED : Status
PAYLOAD_TOO_LARGE : Status
URI_TOO_LONG : Status
UNSUPPORTED_MEDIA_TYPE : Status
RANGE_NOT_SATISFIABLE : Status
EXPECTATION_FAILED : Status
TEAPOT : Status
MISDIRECTED_REQUEST : Status
UNPROCESSABLE_ENTITY : Status
LOCKED : Status
FAILED_DEPENDENCY : Status
TOO_EARLY : Status
UPGRADE_REQUIRED : Status
PRECONDITION_REQUIRED : Status
TOO_MANY_REQUESTS : Status
REQUEST_HEADER_FIELDS_TOO_LARGE : Status
UNAVAILABLE_FOR_LEGAL_REASONS : Status
INTERNAL_SERVER_ERROR : Status
NOT_IMPLEMENTED : Status
BAD_GATEWAY : Status
SERVICE_UNAVAILABLE : Status
GATEWAY_TIMEOUT : Status
HTTP_VERSION_NOT_SUPPORTED : Status
VARIANT_ALSO_NEGOTIATES : Status
INSUFFICIENT_STORAGE : Status
LOOP_DETECTED : Status
BANDWIDTH_LIMIT_EXCEEDED : Status
NOT_EXTENDED : Status
NETWORK_AUTHENTICATION_REQUIRED : Status

.code : Status -> Int

Visibility: export