Enum IrPrimitiveType 

pub enum IrPrimitiveType {
    String,
    Int,
    Float,
    Bool,
    Null,
    Duration,
    Time,
    Image,
    Audio,
    Pdf,
    Video,
    Secret,
}

Variants

String

Int

Float

Bool

Null

Duration

Time

Image

Audio

Pdf

Video

Secret

DR-0053 §5: the carrier of credential custody. A secret value can be bound, passed, stored in a field, and placed in an effect position — and no operation anywhere in the language or runtime yields its material (models/maude/credential-no-eliminator.maude).

Trait Implementations

impl Clone for IrPrimitiveType

fn clone(&self) -> IrPrimitiveType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IrPrimitiveType

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

Formats the value using the given formatter.

impl Eq for IrPrimitiveType

impl PartialEq for IrPrimitiveType

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for IrPrimitiveType