erg_compiler 0.6.23

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

class Dict(dict):
    def concat(self, other):
        return Dict({**self, **other})
    def diff(self, other):
        return Dict({k: v for k, v in self.items() if k not in other})
    # other: Iterable
    def update(self, other, conflict_resolver=None):
        if conflict_resolver == None:
            super().update(other)
        elif isinstance(other, dict):
            self.merge(other, conflict_resolver)
        else:
            for k, v in other:
                if k in self:
                    self[k] = conflict_resolver(self[k], v)
                else:
                    self[k] = v
    # other: Dict
    def merge(self, other, conflict_resolver=None):
        self.update(other, conflict_resolver)
    def insert(self, key, value):
        self[key] = value
    def remove(self, key):
        res = self.get(key)
        if res != None:
            del self[key]
        return res