Struct Composite

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

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.

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.

Implementations

impl Composite

pub fn name(&self) -> Symbol

Returns the composite name as a 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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Composite

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

Formats the value using the given formatter.

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

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Composite

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

Formats the value using the given formatter.

impl Node for Composite

fn span(&self) -> Span

Returns the span of the node.

fn set_span(&mut self, span: Span)

Sets the span of the node.

fn id(&self) -> NodeID

Returns the ID of the node.

fn set_id(&mut self, id: NodeID)

Sets the ID of the node.

impl PartialEq for Composite

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for Composite

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Composite