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

.Differ: ClassType

.HTMLDiff: ClassType

.SequenceMatcher: ClassType

.context_diff: (
    a: Sequence(Str),
    b: Sequence(Str),
    fromfile := Str,
    tofile := Str,
    fromfiledate := Str,
    tofiledate := Str,
    n := Nat,
    lineterm := Str,
) -> Iterator Str
.get_close_matches: (
    word: Str,
    possibilities: Sequence(Str),
    n := Nat,
    cutoff := Float,
) -> [Str; _]
.ndiff: (
    a: Sequence(Str),
    b: Sequence(Str),
    linejunk := Str -> Bool,
    charjunk := Str -> Bool,
) -> Iterator Str
.restore: (sequence: Iterator(Str), which: Nat) -> Str
.unified_diff: (
    a: Sequence(Str),
    b: Sequence(Str),
    fromfile := Str,
    tofile := Str,
    fromfiledate := Str,
    tofiledate := Str,
    n := Nat,
    lineterm := Str,
) -> Iterator Str
.diff_bytes: (
    dfunc: ((
        a: Sequence(Str),
        b: Sequence(Str),
        fromfile: Str,
        tofile: Str,
        fromfiledate: Str,
        tofiledate: Str,
        n: Nat,
        lineterm: Str,
    ) -> Iterator Str),
    a: Sequence(Bytes),
    b: Sequence(Bytes),
    fromfile := Bytes,
    tofile := Bytes,
    fromfiledate := Bytes,
    tofiledate := Bytes,
    n := Nat,
    lineterm := Bytes,
) -> Iterator Bytes

.IS_LINE_JUNK: Str -> Bool
.IS_CHARACTER_JUNK: Str -> Bool