pub struct ViewCore<N: Network> { /* private fields */ }Expand description
A view function: a top-level, externally-callable, read-only block that returns typed values.
Views share the finalize command set (so they can get, get.or_use, contains against
mappings), but cannot mutate state, schedule futures, or call other functions.
Implementations§
Source§impl<N: Network> ViewCore<N>
impl<N: Network> ViewCore<N>
Sourcepub fn new(name: Identifier<N>) -> Self
pub fn new(name: Identifier<N>) -> Self
Initializes a new view function with the given name.
Sourcepub const fn name(&self) -> &Identifier<N>
pub const fn name(&self) -> &Identifier<N>
Returns the name of the view function.
Sourcepub fn input_types(&self) -> Vec<FinalizeType<N>>
pub fn input_types(&self) -> Vec<FinalizeType<N>>
Returns the view input types.
Sourcepub fn output_types(&self) -> Vec<FinalizeType<N>>
pub fn output_types(&self) -> Vec<FinalizeType<N>>
Returns the view output types.
Sourcepub const fn positions(&self) -> &HashMap<Identifier<N>, usize>
pub const fn positions(&self) -> &HashMap<Identifier<N>, usize>
Returns the mapping of Positions to their index in commands.
Sourcepub fn exceeds_max_array_size(&self, max_array_size: u32) -> bool
pub fn exceeds_max_array_size(&self, max_array_size: u32) -> bool
Returns true if the view contains an array type with a size that exceeds the given maximum.
Mirrors Finalize::exceeds_max_array_size and additionally walks outputs, since views
declare typed outputs.
Sourcepub fn contains_external_struct(&self) -> bool
pub fn contains_external_struct(&self) -> bool
Returns true if the view refers to an external struct in its inputs, body, or outputs.
Sourcepub fn contains_string_type(&self) -> bool
pub fn contains_string_type(&self) -> bool
Returns true if the view contains a string type. Mirrors Finalize::contains_string_type
and additionally walks outputs.
Trait Implementations§
Source§impl<N: Network> FromBytes for ViewCore<N>
impl<N: Network> FromBytes for ViewCore<N>
Source§fn from_bytes_le(bytes: &[u8]) -> Result<Self, Error>where
Self: Sized,
fn from_bytes_le(bytes: &[u8]) -> Result<Self, Error>where
Self: Sized,
Self from a byte array in little-endian order.Source§fn from_bytes_le_unchecked(bytes: &[u8]) -> Result<Self, Error>where
Self: Sized,
fn from_bytes_le_unchecked(bytes: &[u8]) -> Result<Self, Error>where
Self: Sized,
Self::from_bytes_le but avoids costly checks.
This shall only be called when deserializing from a trusted source, such as local storage. Read moreSource§fn read_le_unchecked<R>(reader: R) -> Result<Self, Error>
fn read_le_unchecked<R>(reader: R) -> Result<Self, Error>
Self::read_le but avoids costly checks.
This shall only be called when deserializing from a trusted source, such as local storage. Read moreSource§impl<N: Network> Parser for ViewCore<N>
impl<N: Network> Parser for ViewCore<N>
Source§fn parse(string: &str) -> ParserResult<'_, Self>
fn parse(string: &str) -> ParserResult<'_, Self>
Parses a string into a view function.
Source§impl<N: PartialEq + Network> PartialEq for ViewCore<N>
impl<N: PartialEq + Network> PartialEq for ViewCore<N>
impl<N: Eq + Network> Eq for ViewCore<N>
impl<N: Network> StructuralPartialEq for ViewCore<N>
Auto Trait Implementations§
impl<N> Freeze for ViewCore<N>
impl<N> RefUnwindSafe for ViewCore<N>where
<N as Environment>::Field: RefUnwindSafe,
N: RefUnwindSafe,
<N as Environment>::Projective: RefUnwindSafe,
<N as Environment>::Scalar: RefUnwindSafe,
impl<N> Send for ViewCore<N>
impl<N> Sync for ViewCore<N>
impl<N> Unpin for ViewCore<N>where
<N as Environment>::Field: Unpin,
N: Unpin,
<N as Environment>::Projective: Unpin,
<N as Environment>::Scalar: Unpin,
impl<N> UnsafeUnpin for ViewCore<N>
impl<N> UnwindSafe for ViewCore<N>where
<N as Environment>::Field: UnwindSafe,
N: UnwindSafe,
<N as Environment>::Projective: UnwindSafe,
<N as Environment>::Scalar: UnwindSafe,
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
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§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
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>
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>
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