Crate leo_compiler[][src]

Expand description

The compiler for Leo programs.

The [Compiler] type compiles Leo programs into R1CS circuits.

Re-exports

pub use console::*;
pub use constraints::*;
pub use expression::*;
pub use function::*;
pub use output::*;
pub use program::*;
pub use statement::*;
pub use prelude::*;
pub use value::*;
pub use phase::*;
pub use phases::*;
pub use option::*;

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.

option
output
phase
phases

Compiles a Leo program from a file path.

prelude
program
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 constructions.

match_integers
match_integers_span
match_signed_integer
match_unsigned_integer