Struct PicusCodegen 

pub struct PicusCodegen { /* private fields */ }

Code generator for PCL.

Trait Implementations

impl Clone for PicusCodegen

fn clone(&self) -> PicusCodegen

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'c: 's, 's> Codegen<'c, 's> for PicusCodegen

type FuncOutput = PicusModuleLowering

Implementation of the lowering behavior.

type Output = Program<VarKey>

Final output of the code generator.

type State = Rc<RefCell<PicusCodegenInner>>

Internal state of the code generator.

type Error = PicusCodegenError

Error type of the code generator.

fn initialize(state: &'s Self::State) -> Self

Initializes the code generator.

fn set_prime_field(&self, prime: Prime) -> Result<(), PicusCodegenError>

Sets the prime field used by the circuit.

fn define_main_function( &self, advice_io: &AdviceIO, instance_io: &InstanceIO, ) -> Result<Self::FuncOutput, PicusCodegenError>

Defines the entrypoint function of the circuit.

fn on_scope_end( &self, _scope: Self::FuncOutput, ) -> Result<(), PicusCodegenError>

Callback called when a scope ends.

fn generate_output(self) -> Result<Self::Output, PicusCodegenError>

Consumes the code generator and returns the final output.

fn define_function( &self, name: &str, inputs: usize, outputs: usize, ) -> Result<Self::FuncOutput, PicusCodegenError>

Defines an empty function.

fn define_function_with_body<FN, L, I>( &self, name: &str, inputs: usize, outputs: usize, f: FN, ) -> Result<(), Self::Error>

where FN: FnOnce(&Self::FuncOutput, &[Slot], &[Slot]) -> Result<I, Self::Error>, I: IntoIterator<Item = L>, L: LowerableStmt,

Defines a function filled with the given body.

fn define_main_function_with_body<L>( &self, advice_io: &CircuitIO<Advice>, instance_io: &CircuitIO<Instance>, stmts: impl IntoIterator<Item = L>, ) -> Result<(), Self::Error>

where L: LowerableStmt + Debug,

Defines the entrypoint function of the circuit and fills it with the given body.

impl Debug for PicusCodegen

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.