Crate leo_compiler[−][src]
The compiler for Leo programs.
The [Compiler] type compiles Leo programs into R1CS circuits.
Re-exports
pub use self::console::*; |
pub use self::constraints::*; |
pub use self::expression::*; |
pub use self::function::*; |
pub use self::output::*; |
pub use self::program::*; |
pub use self::statement::*; |
pub use self::prelude::*; |
pub use self::value::*; |
pub use self::stage::*; |
Modules
| compiler | Compiles a Leo program from a file path. |
| console | |
| constraints | Module containing methods to enforce constraints in an Leo program |
| definition | |
| errors | |
| expression | Methods to enforce expressions in a compiled Leo program. |
| function | Methods to enforce constraints on functions in a compiled Leo program. |
| output | |
| prelude | |
| program | |
| stage | |
| statement | Methods to enforce constraints on statements in a Leo program. |
| value | Methods to enforce constraints on values in a Leo program. |
Macros
| match_integer | Useful macros to avoid duplicating |
| match_integers | |
| match_integers_span | |
| match_signed_integer | |
| match_unsigned_integer |