provekit_noirc_driver 1.0.0-beta.20-alpha.1

Noir compiler driver.
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

use crate::option::Option;

impl Module {
    #[builtin(module_has_named_attribute)]
    // docs:start:has_named_attribute
    pub comptime fn has_named_attribute<let N: u32>(self, name: str<N>) -> bool {}
    // docs:end:has_named_attribute

    #[builtin(module_is_contract)]
    // docs:start:is_contract
    pub comptime fn is_contract(self) -> bool {}
    // docs:end:is_contract

    #[builtin(module_functions)]
    // docs:start:functions
    pub comptime fn functions(self) -> [FunctionDefinition] {}
    // docs:end:functions

    #[builtin(module_structs)]
    // docs:start:structs
    pub comptime fn structs(self) -> [TypeDefinition] {}
    // docs:end:structs

    #[builtin(module_child_modules)]
    // docs:start:child_modules
    pub comptime fn child_modules(self) -> [Module] {}
    // docs:end:child_modules

    #[builtin(module_name)]
    // docs:start:name
    pub comptime fn name(self) -> Quoted {}
    // docs:end:name

    #[builtin(module_parent)]
    // docs:start:parent
    pub comptime fn parent(self) -> Option<Module> {}
    // docs:end:parent
}

impl crate::hash::Hash for Module {
    comptime fn hash<H>(self, state: &mut H)
    where
        H: crate::hash::Hasher,
    {
        state.write(module_hash(self))
    }
}

impl crate::cmp::Eq for Module {
    comptime fn eq(self, other: Self) -> bool {
        module_eq(self, other)
    }
}

#[builtin(module_eq)]
comptime fn module_eq(_first: Module, _second: Module) -> bool {}

#[builtin(module_hash)]
comptime fn module_hash(_module: Module) -> Field {}