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

.SafeUUID: ClassType
.SafeUUID.
    safe: .SafeUUID
    unsafe: .SafeUUID
    unknown: .SafeUUID

.UUID: ClassType
.UUID.
    __call__: (
        hex := Str,
        bytes := Bytes,
        bytes_le := Bytes,
        fields := (Nat, Nat, Nat, Nat, Nat, Nat),
        int := Nat,
        version := 1..5,
        is_safe := SafeUUID,
    ) -> .UUID
    bytes: .UUID
    bytes_le: .UUID
    fields: (Nat, Nat, Nat, Nat, Nat, Nat)
    time_low: Nat
    time_mid: Nat
    time_hi_version: Nat
    clock_seq_hi_variant: Nat
    clock_seq_low: Nat
    node: Nat
    time: Nat
    clock_seq: Nat
    hex: Str
    int: Nat
    urn: Str
    variant: Str
    version: 1..5 or NoneType
    is_safe: SafeUUID

.getnode!: () => Nat
.uuid1!: (node := Nat, clock_seq := Nat) => .UUID
.uuid3: (namespace: .UUID, name: Str) -> .UUID
.uuid4!: () => .UUID
.uuid5: (namespace: .UUID, name: Str) -> .UUID

.NAMESPACE_DNS: .UUID
.NAMESPACE_URL: .UUID
.NAMESPACE_OID: .UUID
.NAMESPACE_X500: .UUID
.RESERVED_NCS: Str
.RFC_4122: Str
.RESERVED_MICROSOFT: Str
.RESERVED_FUTURE: Str