Enum ExpressionPrimitive

pub enum ExpressionPrimitive {
    String(String),
    Integer(i64),
    Float(f64),
    Boolean(bool),
}

Represents a primitive eFLINT type.

This, too, has multiple variants; one for every literal type (strings, integer, float and booleans).

Note that the specification makes no difference between integers and floating-point numbers. As such, any number without fractions are parsed as integers, and numbers with are parsed as floats.

For example:

"Amy"
42
42.0
true

Variants

String(String)

String literals, e.g.:

"Amy"

Integer(i64)

Integer literals, e.g.:

42

Float(f64)

Floating-point literals, e.g.:

42.0

Boolean(bool)

Boolean literals, e.g.:

true

Trait Implementations

impl Clone for ExpressionPrimitive

fn clone(&self) -> ExpressionPrimitive

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExpressionPrimitive

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExpressionPrimitive

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl EnumDebug for ExpressionPrimitive

fn type_name() -> &'static str

Returns the static name of the type used for EnumDebug-printing.

fn variant_names() -> &'static [&'static str]

Returns all variants in the trait as a list of names.

fn variant_name(&self) -> &'static str

Returns the static name of the variant.

fn variant(&self) -> EnumDebugFormatter<'_, Self>

Returns a formatter for this enum that writes its variant name.

fn variants() -> Copied<Iter<'static, &'static str>>

Returns an iterator over all variants in this enum.

impl Serialize for ExpressionPrimitive

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

where __S: Serializer,

Serialize this value into the given Serde serializer.