pub struct ExpressionConstructorApp {
pub identifier: String,
pub operands: ConstructorInput,
}
Expand description
Defines a constructor application in eFLINT.
For example:
citizen("Amy")
Fields§
§identifier: String
The name of the type we’re instantiating.
operands: ConstructorInput
The list of operands to instantiate, as a ConstructorInput
.
This because there can be multiple ways of instantiation:
// Array syntax
citizen("Amy")
// Map syntax
citizen(string="Amy")
Trait Implementations§
Source§impl Clone for ExpressionConstructorApp
impl Clone for ExpressionConstructorApp
Source§fn clone(&self) -> ExpressionConstructorApp
fn clone(&self) -> ExpressionConstructorApp
Returns a copy 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 ExpressionConstructorApp
impl Debug for ExpressionConstructorApp
Source§impl<'de> Deserialize<'de> for ExpressionConstructorApp
impl<'de> Deserialize<'de> for ExpressionConstructorApp
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations§
impl Freeze for ExpressionConstructorApp
impl RefUnwindSafe for ExpressionConstructorApp
impl Send for ExpressionConstructorApp
impl Sync for ExpressionConstructorApp
impl Unpin for ExpressionConstructorApp
impl UnwindSafe for ExpressionConstructorApp
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