Struct snarkvm_synthesizer_program::ClosureCore

pub struct ClosureCore<N: Network, Instruction: InstructionTrait<N>> { /* private fields */ }

Implementations

impl<N: Network, Instruction: InstructionTrait<N>> ClosureCore<N, Instruction>

pub fn new(name: Identifier<N>) -> Self

Initializes a new closure with the given name.

pub const fn name(&self) -> &Identifier<N>

Returns the name of the closure.

pub const fn inputs(&self) -> &IndexSet<Input<N>>

Returns the closure inputs.

pub fn instructions(&self) -> &[Instruction]

Returns the closure instructions.

pub const fn outputs(&self) -> &IndexSet<Output<N>>

Returns the closure outputs.

impl<N: Network, Instruction: InstructionTrait<N>> ClosureCore<N, Instruction>

pub fn add_instruction(&mut self, instruction: Instruction) -> Result<()>

Adds the given instruction to the closure.

Errors

This method will halt if there are output statements already. This method will halt if the maximum number of instructions has been reached.

Trait Implementations

impl<N: Clone + Network, Instruction: Clone + InstructionTrait<N>> Clone for ClosureCore<N, Instruction>

fn clone(&self) -> ClosureCore<N, Instruction>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: Network, Instruction: InstructionTrait<N>> Debug for ClosureCore<N, Instruction>

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

Prints the closure as a string.

impl<N: Network, Instruction: InstructionTrait<N>> Display for ClosureCore<N, Instruction>

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

Prints the closure as a string.

impl<N: Network, Instruction: InstructionTrait<N>> FromBytes for ClosureCore<N, Instruction>

fn read_le<R: Read>(reader: R) -> IoResult<Self>

Reads the closure from a buffer.

fn from_bytes_le(bytes: &[u8]) -> Result<Self, Error>where Self: Sized,

Returns Self from a byte array in little-endian order.

impl<N: Network, Instruction: InstructionTrait<N>> FromStr for ClosureCore<N, Instruction>

fn from_str(string: &str) -> Result<Self>

Returns a closure from a string literal.

type Err = Error

The associated error which can be returned from parsing.

impl<N: Network, Instruction: InstructionTrait<N>> Parser for ClosureCore<N, Instruction>

fn parse(string: &str) -> ParserResult<'_, Self>

Parses a string into a closure.

impl<N: PartialEq + Network, Instruction: PartialEq + InstructionTrait<N>> PartialEq for ClosureCore<N, Instruction>

fn eq(&self, other: &ClosureCore<N, Instruction>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<N: Network, Instruction: InstructionTrait<N>> ToBytes for ClosureCore<N, Instruction>

fn write_le<W: Write>(&self, writer: W) -> IoResult<()>

Writes the closure to a buffer.

fn to_bytes_le(&self) -> Result<Vec<u8>, Error>where Self: Sized,

Returns self as a byte array in little-endian order.

impl<N: Network, Instruction: InstructionTrait<N>> TypeName for ClosureCore<N, Instruction>

fn type_name() -> &'static str

Returns the type name as a string.

impl<N: Eq + Network, Instruction: Eq + InstructionTrait<N>> Eq for ClosureCore<N, Instruction>

impl<N: Network, Instruction: InstructionTrait<N>> StructuralEq for ClosureCore<N, Instruction>

impl<N: Network, Instruction: InstructionTrait<N>> StructuralPartialEq for ClosureCore<N, Instruction>