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

.CLOCK_BOOTTIME: Nat
.CLOCK_MONOTONIC: Nat
.CLOCK_MONOTONIC_RAW: Nat
.CLOCK_PROCESS_CPUTIME_ID: Nat
.CLOCK_PROF: Nat
.CLOCK_REALTIME: Nat

.altzone: Int
.daylight: Int
.timezone: Int
.tzname: (Str, Str)

.asctime!: (tm := StructTime) => Str
.clock!: () => Float
.clock_getres!: (clock_id: Nat) => Float
.clock_gettime!: (clock_id: Nat) => Float
.clock_gettime_ns!: (clock_id: Nat) => Int
.clock_settime!: (clock_id: Nat, time: Float) => NoneType
.clock_settime_ns!: (clock_id: Nat, time: Int) => NoneType
.ctime!: (secs := Float) => Str
.gmtime!: (secs := Float) => StructTime
.localtime!: (secs := Float) => StructTime
.mktime!: (tm: StructTime) => Float
.monotonic!: () => Float
.monotonic_ns!: () => Int
.perf_counter!: () => Float
.perf_counter_ns!: () => Int
.process_time!: () => Float
.process_time_ns!: () => Int
.sleep!: Float => NoneType
.strftime!: (format: Str, tm := StructTime) => Str
.strptime!: (string: Str, format := Str) => StructTime
.time!: () => Float
.time_ns!: () => Int
.thread_time!: () => Float
.thread_time_ns!: () => Int
.tzset!: () => NoneType

.StructTime = 'struct_time': ClassType
.StructTime.
    tm_year: Nat
    tm_mon: Nat
    tm_mday: Nat
    tm_hour: Nat
    tm_min: Nat
    tm_sec: Nat
    tm_wday: Nat
    tm_yday: Nat
    tm_isdst: Nat
    tm_zone: Str
    tm_gmtoff: Nat