pub struct ConstsInfo {
pub segments: OrderedHashMap<u32, ConstSegment>,
pub total_segments_size: usize,
pub circuit_segments: OrderedHashMap<ConcreteTypeId, u32>,
}Expand description
The information about the constants used in the program.
Fields§
§segments: OrderedHashMap<u32, ConstSegment>§total_segments_size: usize§circuit_segments: OrderedHashMap<ConcreteTypeId, u32>Maps a circuit to its segment id.
Implementations§
Source§impl ConstsInfo
impl ConstsInfo
Sourcepub fn new<'a>(
program_info: &ProgramRegistryInfo,
libfunc_ids: impl Iterator<Item = &'a ConcreteLibfuncId> + Clone,
circuit_infos: &OrderedHashMap<ConcreteTypeId, CircuitInfo>,
const_segments_max_size: usize,
) -> Result<Self, CompilationError>
pub fn new<'a>( program_info: &ProgramRegistryInfo, libfunc_ids: impl Iterator<Item = &'a ConcreteLibfuncId> + Clone, circuit_infos: &OrderedHashMap<ConcreteTypeId, CircuitInfo>, const_segments_max_size: usize, ) -> Result<Self, CompilationError>
Creates a new ConstSegmentsInfo from the given libfuncs.
Trait Implementations§
Source§impl Clone for ConstsInfo
impl Clone for ConstsInfo
Source§fn clone(&self) -> ConstsInfo
fn clone(&self) -> ConstsInfo
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ConstsInfo
impl Debug for ConstsInfo
Source§impl Default for ConstsInfo
impl Default for ConstsInfo
Source§fn default() -> ConstsInfo
fn default() -> ConstsInfo
Returns the “default value” for a type. Read more
Source§impl PartialEq for ConstsInfo
impl PartialEq for ConstsInfo
impl Eq for ConstsInfo
impl StructuralPartialEq for ConstsInfo
Auto Trait Implementations§
impl Freeze for ConstsInfo
impl RefUnwindSafe for ConstsInfo
impl Send for ConstsInfo
impl Sync for ConstsInfo
impl Unpin for ConstsInfo
impl UnwindSafe for ConstsInfo
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more