Enum Exp 

pub enum Exp<A> {
    Id(A),
    Ref(A),
    Bool(bool),
    Bits(B64),
    String(String),
    Unit,
    I64(i64),
    I128(i128),
    Undefined(Ty<A>),
    Struct(A, Vec<(A, Exp<A>)>),
    Kind(A, Box<Exp<A>>),
    Unwrap(A, Box<Exp<A>>),
    Field(Box<Exp<A>>, A),
    Call(Op, Vec<Exp<A>>),
}

Variants

Id(A)

Ref(A)

Bool(bool)

Bits(B64)

String(String)

Unit

I64(i64)

I128(i128)

Undefined(Ty<A>)

Struct(A, Vec<(A, Exp<A>)>)

Kind(A, Box<Exp<A>>)

Unwrap(A, Box<Exp<A>>)

Field(Box<Exp<A>>, A)

Call(Op, Vec<Exp<A>>)

Implementations

impl<A: Hash + Eq + Clone> Exp<A>

pub fn variables(&mut self) -> Variables<'_, A>

Trait Implementations

impl<A: Clone> Clone for Exp<A>

fn clone(&self) -> Exp<A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Debug> Debug for Exp<A>

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

Formats the value using the given formatter.

impl<'de, A> Deserialize<'de> for Exp<A>

where A: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<A> Serialize for Exp<A>

where A: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.