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

# The ABCs in this file are not defined as a collection of traits.
# Use `std/abc` instead.
.Container: ClassType
.Container.
    __getitem__: (ty := Type) -> Type
.Generator: ClassType
.Generator.
    __getitem__: (t: (Type, Type, Type)) -> Type
.Hashable: ClassType
.Sized: ClassType
.Callable: ClassType
.Callable.
    __getitem__: (Type or HomogenousTuple(Type), Type) -> Type
.Iterable: ClassType
.Iterable.
    __getitem__: (ty := Type) -> Type
.Collection: ClassType
.Collection.
    __getitem__: (ty := Type) -> Type
.Iterator: ClassType
.Iterator.
    __getitem__: (ty := Type) -> Type
.Reversible: ClassType
.Sequence: ClassType
.Sequence.
    __getitem__: (ty := Type) -> Type
.MutableSequence: ClassType
.MutableSequence.
    __getitem__: (ty := Type) -> Type
.MutableSet: ClassType
.MutableSet.
    __getitem__: (ty := Type) -> Type
.ByteString: ClassType
.Set: ClassType
.Set.
    __getitem__: (ty := Type) -> Type
.Mapping: ClassType
.Mapping.
    __getitem__: (kv: (Type, Type)) -> Type
.MutableMapping: ClassType
.MutableMapping.
    __getitem__: (kv: (Type, Type)) -> Type
.MappingView: ClassType
.ItemsView: ClassType
.KeysView: ClassType
.ValuesView: ClassType
.Awaitable: ClassType
.Awaitable.
    __getitem__: (ty := Type) -> Type
.Coroutine: ClassType
.Coroutine.
    __getitem__: (t := (Type, Type, Type)) -> Type
.AsyncIterable: ClassType
.AsyncIterable.
    __getitem__: (ty := Type) -> Type
.AsyncIterator: ClassType
.AsyncIterator.
    __getitem__: (ty := Type) -> Type
.AsyncGenerator: ClassType
.AsyncGenerator.
    __getitem__: (t := (Type, Type, Type)) -> Type
.ContextManager: ClassType
.ContextManager.
    __enter__: (self: ContextManager) -> ContextManager
    __exit__: (self: ContextManager, exc_type: Type, exc_value: Obj, traceback: Obj) -> NoneType
.AsyncContextManager: ClassType
.AsyncContextManager.
    __aenter__: (self: AsyncContextManager) -> AsyncContextManager
    __aexit__: (self: AsyncContextManager, exc_type: Type, exc_value: Obj, traceback: Obj) -> NoneType
.Buffer: ClassType