mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-16 09:35:19 +00:00
94 lines
2.7 KiB
Python
94 lines
2.7 KiB
Python
.client = pyimport "client"
|
|
.cookies = pyimport "cookies"
|
|
.cookiejar = pyimport "cookiejar"
|
|
.server = pyimport "server"
|
|
{.IntEnum; .StrEnum} = pyimport "enum"
|
|
|
|
.HTTPStatus: ClassType
|
|
.HTTPStatus <: IntEnum
|
|
.HTTPStatus.
|
|
value: Nat
|
|
phrase: Str
|
|
description: Str
|
|
is_success: Bool
|
|
is_client_error: Bool
|
|
is_informational: Bool
|
|
is_redirect: Bool
|
|
is_server_error: Bool
|
|
CONTINUE: .HTTPStatus
|
|
SWITCHING_PROTOCOLS: .HTTPStatus
|
|
PROCESSING: .HTTPStatus
|
|
EARLY_HINTS: .HTTPStatus
|
|
OK: .HTTPStatus
|
|
CREATED: .HTTPStatus
|
|
ACCEPTED: .HTTPStatus
|
|
NON_AUTHORITATIVE_INFORMATION: .HTTPStatus
|
|
NO_CONTENT: .HTTPStatus
|
|
RESET_CONTENT: .HTTPStatus
|
|
PARTIAL_CONTENT: .HTTPStatus
|
|
MULTI_STATUS: .HTTPStatus
|
|
ALREADY_REPORTED: .HTTPStatus
|
|
IM_USED: .HTTPStatus
|
|
MULTIPLE_CHOICES: .HTTPStatus
|
|
MOVED_PERMANENTLY: .HTTPStatus
|
|
FOUND: .HTTPStatus
|
|
SEE_OTHER: .HTTPStatus
|
|
NOT_MODIFIED: .HTTPStatus
|
|
USE_PROXY: .HTTPStatus
|
|
TEMPORARY_REDIRECT: .HTTPStatus
|
|
PERMANENT_REDIRECT: .HTTPStatus
|
|
BAD_REQUEST: .HTTPStatus
|
|
UNAUTHORIZED: .HTTPStatus
|
|
PAYMENT_REQUIRED: .HTTPStatus
|
|
FORBIDDEN: .HTTPStatus
|
|
NOT_FOUND: .HTTPStatus
|
|
METHOD_NOT_ALLOWED: .HTTPStatus
|
|
NOT_ACCEPTABLE: .HTTPStatus
|
|
PROXY_AUTHENTICATION_REQUIRED: .HTTPStatus
|
|
REQUEST_TIMEOUT: .HTTPStatus
|
|
CONFLICT: .HTTPStatus
|
|
GONE: .HTTPStatus
|
|
LENGTH_REQUIRED: .HTTPStatus
|
|
PRECONDITION_FAILED: .HTTPStatus
|
|
REQUEST_ENTITY_TOO_LARGE: .HTTPStatus
|
|
REQUEST_URI_TOO_LONG: .HTTPStatus
|
|
UNSUPPORTED_MEDIA_TYPE: .HTTPStatus
|
|
REQUESTED_RANGE_NOT_SATISFIABLE: .HTTPStatus
|
|
EXPECTATION_FAILED: .HTTPStatus
|
|
IM_A_TEAPOT: .HTTPStatus
|
|
MISDIRECTED_REQUEST: .HTTPStatus
|
|
UNPROCESSABLE_ENTITY: .HTTPStatus
|
|
LOCKED: .HTTPStatus
|
|
FAILED_DEPENDENCY: .HTTPStatus
|
|
TOO_EARLY: .HTTPStatus
|
|
UPGRADE_REQUIRED: .HTTPStatus
|
|
PRECONDITION_REQUIRED: .HTTPStatus
|
|
TOO_MANY_REQUESTS: .HTTPStatus
|
|
REQUEST_HEADER_FIELDS_TOO_LARGE: .HTTPStatus
|
|
UNAVAILABLE_FOR_LEGAL_REASONS: .HTTPStatus
|
|
INTERNAL_SERVER_ERROR: .HTTPStatus
|
|
NOT_IMPLEMENTED: .HTTPStatus
|
|
BAD_GATEWAY: .HTTPStatus
|
|
SERVICE_UNAVAILABLE: .HTTPStatus
|
|
GATEWAY_TIMEOUT: .HTTPStatus
|
|
HTTP_VERSION_NOT_SUPPORTED: .HTTPStatus
|
|
VARIANT_ALSO_NEGOTIATES: .HTTPStatus
|
|
INSUFFICIENT_STORAGE: .HTTPStatus
|
|
LOOP_DETECTED: .HTTPStatus
|
|
NOT_EXTENDED: .HTTPStatus
|
|
NETWORK_AUTHENTICATION_REQUIRED: .HTTPStatus
|
|
|
|
.HTTPMethod: ClassType
|
|
.HTTPMethod <: StrEnum
|
|
.HTTPMethod.
|
|
value: Nat
|
|
description: Str
|
|
GET: .HTTPMethod
|
|
HEAD: .HTTPMethod
|
|
POST: .HTTPMethod
|
|
PUT: .HTTPMethod
|
|
DELETE: .HTTPMethod
|
|
CONNECT: .HTTPMethod
|
|
OPTIONS: .HTTPMethod
|
|
TRACE: .HTTPMethod
|
|
PATCH: .HTTPMethod
|