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

.BadGzipFile: ClassType
.BadGzipFile <: OSError

.GzipFile!: ClassType
.GzipFile! <: File!
.GzipFile!.
    mode: Str
    mtime: Float
    name: Str
    __call__: (
        filename: PathLike,
        mode := Str,
        compresslevel := Nat,
        fileobj := FileLike,
        mtime := Float,
    ) -> GzipFile!
    peek: (self: Ref(GzipFile!), n: Nat) -> Bytes

.open!: (
    filename: PathLike,
    mode := Str,
    compresslevel := Nat,
    encoding := Str,
    errors := Str,
    newline := Str,
) => GzipFile!
.compress!: (
    data: Bytes or ByteArray!,
    compresslevel := Nat,
    mtime := Float,
) => Bytes
.decompress!: (
    data: Bytes or ByteArray!,
    mtime := Float,
) => Bytes