Enum IKun 

pub enum IKun {
    Constant(i64),
    FloatConstant(u64),
    BooleanConstant(bool),
    StringConstant(String),
    None,
    Symbol(String),
    Import(String, String),
    Export(String, Id),
    Module(String, Vec<Id>),
    Map(Id, Id),
    Filter(Id, Id),
    Reduce(Id, Id, Id),
    StateUpdate(Id, Id),
    Choice(Id, Id, Id),
    Repeat(Id, Id),
    LifeCycle(Id, Id),
    Meta(Id),
    Trap(Id),
    Return(Id),
    Seq(Vec<Id>),
    Compose(Id, Id),
    WithContext(Id, Id),
    WithConstraint(Id, Id),
    CpuContext,
    GpuContext,
    AsyncContext,
    SpatialContext,
    ComptimeContext,
    ResourceContext,
    SafeContext,
    EffectConstraint(Effect),
    OwnershipConstraint(Ownership),
    TypeConstraint(String),
    AtomicConstraint,
    Extension(String, Vec<Id>),
    CrossLangCall(CrossLanguageCall),
    SoALayout(Id),
    AoSLayout(Id),
    Tiled(usize, Id),
    Unrolled(usize, Id),
    Vectorized(usize, Id),
    TiledMap(usize, Id, Id),
    VectorizedMap(usize, Id, Id),
    UnrolledMap(usize, Id, Id),
    SoAMap(Id, Id),
    GpuMap(Id, Id),
    CpuMap(Id, Id),
    Pipe(Id, Id),
    Reg(Id),
    Lambda(Vec<String>, Id),
    Apply(Id, Vec<Id>),
    Closure(Id, Vec<Id>),
    ResourceClone(Id),
    ResourceDrop(Id),
    AddrOf(Id),
    Deref(Id),
    PtrOffset(Id, Id),
    ClassDef(String, Vec<Id>, Id),
    Table(Vec<Id>),
    Pair(Id, Id),
    GetIndex(Id, Id),
    SetIndex(Id, Id, Id),
    BinaryOp(String, Id, Id),
    UnaryOp(String, Id),
    StaticAccess(Id, usize),
    WitnessAccess(Id, Id, usize),
    DynamicAccess(Id, String, u32),
    StaticCall(Id, Vec<Id>),
    WitnessCall(Id, Id, usize, Vec<Id>),
    DynamicCall(Id, String, Vec<Id>, u32),
}

Variants

Constant(i64)

FloatConstant(u64)

BooleanConstant(bool)

StringConstant(String)

None

None/Nil/Null constant

Symbol(String)

Import(String, String)

Import a symbol from another module: (ModuleName, SymbolName)

Export(String, Id)

Export a symbol: (SymbolName, Body)

Module(String, Vec<Id>)

A module container: (ModuleName, Items)

Map(Id, Id)

Filter(Id, Id)

Reduce(Id, Id, Id)

StateUpdate(Id, Id)

State update: (key, value)

Choice(Id, Id, Id)

Repeat(Id, Id)

LifeCycle(Id, Id)

LifeCycle: (setup, cleanup)

Meta(Id)

Meta: (body) for compile-time execution

Trap(Id)

Trap: (body) for error handling/interruption

Return(Id)

Return: (value) for returning from a function

Seq(Vec<Id>)

Compose(Id, Id)

WithContext(Id, Id)

WithConstraint(Id, Id)

CpuContext

GpuContext

AsyncContext

SpatialContext

ComptimeContext

ResourceContext

SafeContext

EffectConstraint(Effect)

OwnershipConstraint(Ownership)

TypeConstraint(String)

AtomicConstraint

Extension(String, Vec<Id>)

CrossLangCall(CrossLanguageCall)

Cross-language call

SoALayout(Id)

AoSLayout(Id)

Tiled(usize, Id)

Unrolled(usize, Id)

Vectorized(usize, Id)

TiledMap(usize, Id, Id)

Tiled version of a Map: (size, f, x)

VectorizedMap(usize, Id, Id)

Vectorized version of a Map: (width, f, x)

UnrolledMap(usize, Id, Id)

Unrolled version of a Map: (factor, f, x)

SoAMap(Id, Id)

SoA Layout applied to a Map: (f, x)

GpuMap(Id, Id)

CpuMap(Id, Id)

Pipe(Id, Id)

Declare a pipeline stage: (body, metadata)

Reg(Id)

Explicit register: (value)

Lambda(Vec<String>, Id)

Lambda definition: (params, body)

Apply(Id, Vec<Id>)

Function application: (func, args)

Closure(Id, Vec<Id>)

Closure capture: (body, captured_vars)

ResourceClone(Id)

Explicit Reference Count Clone: (target)

ResourceDrop(Id)

Explicit Reference Count Drop: (target)

AddrOf(Id)

Take address of a symbol/location: (target)

Deref(Id)

Dereference a pointer: (pointer)

PtrOffset(Id, Id)

Pointer arithmetic: (base, offset)

ClassDef(String, Vec<Id>, Id)

Class definition: (name, bases, body)

Table(Vec<Id>)

Table/Object initialization: (pairs)

Pair(Id, Id)

Key-value pair for table: (key, value)

GetIndex(Id, Id)

Get index: (receiver, index)

SetIndex(Id, Id, Id)

Set index: (receiver, index, value)

BinaryOp(String, Id, Id)

Binary operation: (op_name, left, right)

UnaryOp(String, Id)

Unary operation: (op_name, operand)

StaticAccess(Id, usize)

Static access: (receiver, offset)

WitnessAccess(Id, Id, usize)

Witness access: (receiver, witness_table, index)

DynamicAccess(Id, String, u32)

Dynamic access: (receiver, symbol_name, call_site_id)

StaticCall(Id, Vec<Id>)

Static call: (function, args)

WitnessCall(Id, Id, usize, Vec<Id>)

Witness call: (receiver, witness_table, index, args)

DynamicCall(Id, String, Vec<Id>, u32)

Dynamic call: (receiver, symbol_name, args, call_site_id)

Trait Implementations

impl Analysis<IKun> for ConstraintAnalysis

type Data = ConstraintSet

fn make(egraph: &EGraph<IKun, Self>, enode: &IKun) -> Self::Data

fn merge(&mut self, to: &mut Self::Data, from: Self::Data) -> bool

fn is_compatible(&self, data1: &Self::Data, data2: &Self::Data) -> bool

fn on_add(&self, _data: &mut Self::Data, _loc: Loc)

impl Clone for IKun

fn clone(&self) -> IKun

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IKun

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IKun

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for IKun

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

Formats the value using the given formatter.

impl Hash for IKun

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Language for IKun

fn children(&self) -> Vec<Id>

fn map_children(&self, f: impl FnMut(Id) -> Id) -> Self

impl Ord for IKun

fn cmp(&self, other: &IKun) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for IKun

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for IKun

fn partial_cmp(&self, other: &IKun) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for IKun

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for IKun

impl StructuralPartialEq for IKun