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

.FileInput: ClassType
.FileInput.
    __call__: (
        files := Sequence(Str),
        inplace := Bool,
        backup := Str,
        mode := Str,
        openhook := GenericCallable,
        encoding := Str,
        errors := Str,
    ) -> FileInput
    filename!: (self: FileInput) => Str
    fileno!: (self: FileInput) => Nat or {-1}
    lineno!: (self: FileInput) => Nat
    filelineno!: (self: FileInput) => Nat
    isfirstline!: (self: FileInput) => Bool
    isstdin!: (self: FileInput) => Bool
    nextfile!: (self: FileInput) => NoneType
    close!: (self: FileInput) => NoneType
    readline!: (self: FileInput) => Str

.input: (
    files := Sequence(Str),
    inplace := Bool,
    backup := Str,
    mode := Str,
    openhook := GenericCallable,
    encoding := Str,
    errors := Str,
) -> FileInput
.filename!: () => Str
.fileno!: () => Nat or {-1}
.lineno!: () => Nat
.filelineno!: () => Nat
.isfirstline!: () => Bool
.isstdin!: () => Bool
.nextfile!: () => NoneType
.close!: () => NoneType
.hook_compressed!: (
    filename: Str,
    mode: Str,
    encoding := Str,
    errors := Str,
) => NoneType
.hook_encoded!: (
    encoding := Str,
    errors := Str,
) => NoneType