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

io = pyimport "io"

._TemporaryFileWrapper!: ClassType
._TemporaryFileWrapper! <: FileLike!
._TemporaryFileWrapper!.
    name: Str
    delete: Bool
    file: io.BufferedRandom!
    close!: (self: ._TemporaryFileWrapper!) => NoneType

.TemporaryFile!: (
    mode := Str,
    buffering := Int,
    encoding := Str,
    newline := Str,
    suffix := Str,
    prefix := Str,
    dir := Str,
) -> ._TemporaryFileWrapper!

.NamedTemporaryFile!: (
    mode := Str,
    buffering := Int,
    encoding := Str,
    newline := Str,
    suffix := Str,
    prefix := Str,
    dir := Str,
    delete := Bool,
) -> ._TemporaryFileWrapper!

.TemporaryDirectory!: ClassType
.TemporaryDirectory!.
    name: Str
    __call__: (
        suffix := Str,
        prefix := Str,
        dir := Str,
    ) -> .TemporaryDirectory!
    cleanup!: (self: .TemporaryDirectory!) => NoneType

.mkstemp!: (
    suffix := Str,
    prefix := Str,
    dir := Str,
    text := Bool,
) -> (Nat, Str)
.mkdtemp!: (
    suffix := Str,
    prefix := Str,
    dir := Str,
) -> Str

.gettempdir!: () => Str
.gettempdirb!: () => Bytes
.gettempprefix: () -> Str
.gettempprefixb: () -> Bytes

.tempdir: Str or NoneType