Crate leo_compiler

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