Struct Composite

Source

pub struct Composite {
    pub identifier: Identifier,
    pub const_parameters: Vec<ConstParameter>,
    pub members: Vec<Member>,
    pub external: Option<Symbol>,
    pub is_record: bool,
    pub span: Span,
    pub id: NodeID,
}

Expand description

A composite type definition, e.g., struct Foo { my_field: Bar } and record Token { owner: address, amount: u64}. In some languages these are called structs.

Type identity is decided by the full path including struct_name, as the record is nominal, not structural. The fields are named so struct Foo(u8, u16) is not allowed.

Fields§

§identifier: Identifier

The name of the type in the type system in this module.

§const_parameters: Vec<ConstParameter>

The composite’s const parameters.

§members: Vec<Member>

The fields, constant variables, and functions of this structure.

§external: Option<Symbol>

The external program the struct is defined in.

§is_record: bool

Was this a record Foo { ... }? If so, it wasn’t a composite.

§span: Span

The entire span of the composite definition.

§id: NodeID

The ID of the node.

Struct Composite Copy item path

Fields§

Implementations§

impl Composite

pub fn name(&self) -> Symbol

pub fn from_external_record<N: Network>( input: &RecordType<N>, external_program: Symbol, ) -> Self

pub fn from_snarkvm<N: Network>(input: &StructType<N>) -> Self

Trait Implementations§

impl Clone for Composite

fn clone(&self) -> Composite

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

impl Debug for Composite

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

impl<'de> Deserialize<'de> for Composite

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

impl Display for Composite

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

impl Node for Composite

fn span(&self) -> Span

fn set_span(&mut self, span: Span)

fn id(&self) -> NodeID

fn set_id(&mut self, id: NodeID)

impl PartialEq for Composite

fn eq(&self, other: &Self) -> bool

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

impl Serialize for Composite

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

impl Eq for Composite

Auto Trait Implementations§

impl Freeze for Composite

impl RefUnwindSafe for Composite

impl Send for Composite

impl Sync for Composite

impl Unpin for Composite

impl UnwindSafe for Composite

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<'de, T> DeserializeExt<'de> for Twhere T: DeserializeOwned,

fn take_from_value<D>( value: &mut Value, field: &str, ) -> Result<T, <D as Deserializer<'de>>::Error>where D: Deserializer<'de>,

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> PolicyExt for Twhere T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>where T: Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>where T: Policy<B, E>, P: Policy<B, E>,

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T> ToSmolStr for Twhere T: Display + ?Sized,

fn to_smolstr(&self) -> SmolStr

impl<T> ToString for Twhere T: Display + ?Sized,

fn to_string(&self) -> String

impl<T> ToStringFallible for Twhere T: Display,

fn try_to_string(&self) -> Result<String, TryReserveError>

Struct Composite

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<'de, T> DeserializeExt<'de> for T
where T: DeserializeOwned,

fn take_from_value<D>( value: &mut Value, field: &str, ) -> Result<T, <D as Deserializer<'de>>::Error>
where D: Deserializer<'de>,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> PolicyExt for T
where T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

impl<T> ToOwned for T
where T: Clone,

impl<T> ToSmolStr for T
where T: Display + ?Sized,

impl<T> ToString for T
where T: Display + ?Sized,

impl<T> ToStringFallible for T
where T: Display,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

impl<T> ErasedDestructor for T
where T: 'static,