erg_compiler 0.6.53

Centimetre: the Erg compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94

.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