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 |