Enum isla_lib::ir::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 copy 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.