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
95
96
97
98
99
100
101
102
103
104
105
106
107

.CHECK_CRC32: Nat
.CHECK_CRC64: Nat
.CHECK_ID_MAX: Nat
.CHECK_NONE: Nat
.CHECK_SHA256: Nat
.CHECK_UNKNOWN: Nat
.FILTER_LZMA1: Nat
.FILTER_LZMA2: Nat
.FILTER_DELTA: Nat
.FILTER_X86: Nat
.FILTER_IA64: Nat
.FILTER_ARM: Nat
.FILTER_ARMTHUMB: Nat
.FILTER_POWERPC: Nat
.FILTER_SPARC: Nat
.FORMAT_ALONE: Nat
.FORMAT_AUTO: Nat
.FORMAT_RAW: Nat
.FORMAT_XZ: Nat
.MF_BT2: Nat
.MF_BT3: Nat
.MF_BT4: Nat
.MF_HC3: Nat
.MF_HC4: Nat
.MODE_FAST: Nat
.MODE_NORMAL: Nat
.PRESET_DEFAULT: Nat
.PRESET_EXTREME: Nat

.LZMAError: ClassType
.LZMAError <: Exception

.LZMAFile!: ClassType
.LZMAFile! <: FileLike!
.LZMAFile!.
    mode: Str
    name: Str
    __call__: (
        path: PathLike or FileLike!,
        mode := Str,
        format := Int,
        check := Int,
        preset := Int,
        filters := [Int; _],
    ) => LZMAFile!
    read!: (self: RefMut(LZMAFile!), size := Int) => Bytes
    write!: (self: RefMut(LZMAFile!), data: Bytes) => NoneType
    close!: (self: LZMAFile!) => NoneType
    peek: (self: Ref(LZMAFile!), size := Int) -> Bytes

.LZMACompressor: ClassType
.LZMACompressor.
    check: Int
    eof: Bool
    unused_data: Bytes
    need_input: Bool
    __call__: (
        format := Int,
        check := Int,
        preset := Int,
        filters := [Int; _],
    ) => LZMACompressor
    decompress: (
        self: Ref(LZMACompressor),
        max_length := Int,
    ) -> Bytes

.LZMADecompressor: ClassType
.LZMADecompressor.
    eof: Bool
    unused_data: Bytes
    need_input: Bool
    __call__: (
        format := Int,
        memlimit := Nat,
        filters := [Int; _],
    ) => LZMADecompressor
    decompress: (
        self: Ref(LZMADecompressor),
        max_length := Int,
    ) -> Bytes

.open!: (
    path: PathLike or FileLike!,
    mode := Str,
    format := Int,
    check := Int,
    preset := Int,
    filters := [Int; _],
    encoding := Str,
    errors := Str,
    newline := Str,
) => .LZMAFile!
.compress: (
    data: Bytes,
    format := Int,
    check := Int,
    preset := Int,
    filters := [Int; _],
) -> Bytes
.decompress: (
    data: Bytes,
    format := Int,
    memlimit := Nat,
    filters := [Int; _],
) -> Bytes
.is_check_supported!: (check: Int) => Bool