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

.Thread!: ClassType
.Thread!.
    name: Str
    daemon: Bool
    ident: Nat or NoneType # TODO: Pos or NoneType
    native_id: Nat or NoneType
    start!: (self: .Thread!) => NoneType
    run!: (self: .Thread!) => NoneType
    join!: (self: .Thread!, timeout := Nat or NoneType) => NoneType
    is_alive: (self: .Thread!) -> Bool

.Local! = 'local': ClassType

.Lock!: ClassType
.RLock!: ClassType
.Condition!: ClassType
.Semaphore!: ClassType
.BoundedSemaphore!: ClassType
.Event!: ClassType
.Timer!: ClassType
.Barrier!: ClassType
.BrokenBarrierError: ClassType

.active_count!: () => Nat