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

.abc = pyimport "abc"

.NamedTuple = 'namedtuple': ClassType
.NamedTuple|<: Sized|.
    __len__: (self: .NamedTuple) -> Nat
.NamedTuple.
    __call__: (typename: Str, field_names: Sequence(Str), rename := Bool) -> (*Obj, **Obj) -> NamedTuple
.Deque! = 'deque': ClassType
.Deque!|<: Sized|.
    __len__: (self: Ref .Deque!) -> Nat
.Deque!.
    maxlen: Nat or NoneType
    __call__: (iterable := Iterable(Obj)) -> Deque!
    append!: (self: RefMut(.Deque!), x: Obj) => NoneType
    appendleft!: (self: RefMut(.Deque!), x: Obj) => NoneType
    clear!: (self: RefMut .Deque!) => NoneType
    copy: (self: Ref .Deque!) -> Deque!
    count: (self: Ref(.Deque!), x: Obj) -> Nat
    extend!: (self: RefMut(.Deque!), iterable: Iterable(Obj)) => NoneType
    extendleft!: (self: RefMut(.Deque!), iterable: Iterable(Obj)) => NoneType
    index: (self: Ref(.Deque!), x: Obj, start := Nat, stop := Nat) -> Nat
    insert!: (self: RefMut(.Deque!), i: Nat, x: Obj) => NoneType
    pop!: (self: RefMut(.Deque!), i := Nat) -> Obj
    popleft!: (self: RefMut .Deque!) -> Obj
    remove!: (self: RefMut(.Deque!), value: Obj) => NoneType
    reverse!: (self: RefMut .Deque!) => NoneType
    rotate!: (self: RefMut(.Deque!), n := Int) => NoneType

.ChainMap: ClassType
.ChainMap <: {Obj: Obj}
.ChainMap.
    maps: [Mapping(Obj, Obj); _]
    parents: [ChainMap; _]
    __call__: (*maps: Mapping(Obj, Obj)) -> ChainMap
    new_child: (m := Mapping(Obj, Obj), **kwargs: Obj) -> ChainMap
.Counter!: ClassType
.Counter! <: Dict! {Obj: Int}
.Counter!.
    __call__: (iterable_or_mapping := Iterable(Obj) or Mapping(Obj, Obj), **kwargs: Obj) -> Counter!
.OrderedDict!: ClassType
.OrderedDict! <: Dict! {Obj: Obj}
.OrderedDict!.
    __call__: (mapping: Mapping(Obj, Obj)) -> OrderedDict!
    elements: (self: Ref OrderedDict!) -> Iterable(Obj)
    most_common: (self: Ref(OrderedDict!), n := Nat) -> List((Obj, Int))
    subtract!: (self: RefMut(OrderedDict!), iterable_or_mapping: Iterable(Obj) or Mapping(Obj, Obj)) => NoneType
    total: (self: Ref(OrderedDict!)) -> Nat
.DefaultDict = 'defaultDict': ClassType
.UserDict: ClassType
.UserList: ClassType
.UserString: ClassType