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

.QUOTE_ALL: Nat
.QUOTE_MINIMAL: Nat
.QUOTE_NONNUMERIC: Nat
.QUOTE_NONE: Nat
.QUOTE_NOTNULL: Nat
.QUOTE_STRINGS: Nat

.Dialect: ClassType
.Dialect.
    delimiter: Str
    doublequote: Bool
    escapechar: Str
    lineterminator: Str
    quotechar: Str
    quoting: Nat
    skipinitialspace: Bool
    strict: Bool
.Excel = 'excel': ClassType
.Excel <: .Dialect
.UnixDialect = 'unix_dialect': ClassType
.UnixDialect <: .Dialect

.Sniffer: ClassType
.Sniffer.
    has_header: (self: .Sniffer, sample: Iterable(Str)) -> Bool
    sniff: (self: .Sniffer, sample: Iterable(Str), delimiters := Iterable(Str)) -> .Dialect

.Reader = 'reader': ClassType
.Reader <: Iterator({Str: Str})
.Reader.
    dialect: .Dialect
    line_num: Nat
    __call__: (
        csvfile: FileLike or Iterable(Str),
        dialect := Str,
        **Str
    ) -> .Reader
.Writer! = 'writer': ClassType
.Writer!.
    dialect: .Dialect
    __call__: (
        csvfile: Writable!,
        dialect := Str,
        **Str
    ) -> .Writer!
    writerow!: (self: RefMut(.Writer!), row: Obj) => Obj
    writerows!: (self: RefMut(.Writer!), rows: Iterable(Obj)) => Obj
    writeheader!: (self: RefMut(.Writer!)) => Obj

.DictReader: ClassType
.DictReader <: .Reader
.DictReader.
    reader: .Reader
    __call__: (
        csvfile: FileLike or Iterable(Str),
        fieldnames := Iterable(Str),
        restkey := Str,
        restval := Str,
        dialect := Str,
        **Str
    ) -> .DictReader

.DictWriter!: ClassType
.DictWriter! <: .Writer!
.DictWriter!.
    extrasaction: Str
    fieldnames: Iterable(Str)
    restval: Str
    writer: .Writer!
    __call__: (
        csvfile: FileLike,
        fieldnames := Iterable(Str),
        restval := Str,
        extrasaction := Str,
        dialect := Str,
        **Str
    ) -> .DictWriter!

.reader: (
    csvfile: FileLike or Iterable(Str),
    dialect := Str,
    **Str
) -> .Reader
.writer: (
    csvfile: FileLike,
    dialect := Str,
    **Str
) -> .Writer!