Enum IKunTree 

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

Recursive tree structure for Backends

Variants

Constant(i64)

FloatConstant(u64)

BooleanConstant(bool)

StringConstant(String)

None

Symbol(String)

Map(Box<IKunTree>, Box<IKunTree>)

Filter(Box<IKunTree>, Box<IKunTree>)

Reduce(Box<IKunTree>, Box<IKunTree>, Box<IKunTree>)

StateUpdate(Box<IKunTree>, Box<IKunTree>)

Choice(Box<IKunTree>, Box<IKunTree>, Box<IKunTree>)

Repeat(Box<IKunTree>, Box<IKunTree>)

LifeCycle(Box<IKunTree>, Box<IKunTree>)

Meta(Box<IKunTree>)

Trap(Box<IKunTree>)

Return(Box<IKunTree>)

Seq(Vec<IKunTree>)

Compose(Box<IKunTree>, Box<IKunTree>)

WithContext(Box<IKunTree>, Box<IKunTree>)

WithConstraint(Box<IKunTree>, Box<IKunTree>)

CpuContext

GpuContext

AsyncContext

SpatialContext

ComptimeContext

ResourceContext

SafeContext

EffectConstraint(Effect)

OwnershipConstraint(Ownership)

TypeConstraint(String)

AtomicConstraint

Extension(String, Vec<IKunTree>)

CrossLangCall

Fields

language: String

module_path: String

function_name: String

arguments: Vec<IKunTree>

GpuMap(Box<IKunTree>, Box<IKunTree>)

CpuMap(Box<IKunTree>, Box<IKunTree>)

TiledMap(usize, Box<IKunTree>, Box<IKunTree>)

VectorizedMap(usize, Box<IKunTree>, Box<IKunTree>)

UnrolledMap(usize, Box<IKunTree>, Box<IKunTree>)

SoAMap(Box<IKunTree>, Box<IKunTree>)

SoALayout(Box<IKunTree>)

AoSLayout(Box<IKunTree>)

Tiled(usize, Box<IKunTree>)

Unrolled(usize, Box<IKunTree>)

Vectorized(usize, Box<IKunTree>)

Pipe(Box<IKunTree>, Box<IKunTree>)

Reg(Box<IKunTree>)

Lambda(Vec<String>, Box<IKunTree>)

Apply(Box<IKunTree>, Vec<IKunTree>)

Closure(Box<IKunTree>, Vec<IKunTree>)

ResourceClone(Box<IKunTree>)

ResourceDrop(Box<IKunTree>)

AddrOf(Box<IKunTree>)

Deref(Box<IKunTree>)

PtrOffset(Box<IKunTree>, Box<IKunTree>)

ClassDef(String, Vec<IKunTree>, Box<IKunTree>)

Table(Vec<IKunTree>)

Pair(Box<IKunTree>, Box<IKunTree>)

GetIndex(Box<IKunTree>, Box<IKunTree>)

SetIndex(Box<IKunTree>, Box<IKunTree>, Box<IKunTree>)

BinaryOp(String, Box<IKunTree>, Box<IKunTree>)

UnaryOp(String, Box<IKunTree>)

Import(String, String)

Export(String, Box<IKunTree>)

Module(String, Vec<IKunTree>)

StaticAccess(Box<IKunTree>, usize)

Static access: (receiver, offset)

WitnessAccess(Box<IKunTree>, Box<IKunTree>, usize)

Witness access: (receiver, witness_table, index)

DynamicAccess(Box<IKunTree>, String, u32)

Dynamic access: (receiver, symbol_name, call_site_id)

StaticCall(Box<IKunTree>, Vec<IKunTree>)

Static call: (function, args)

WitnessCall(Box<IKunTree>, Box<IKunTree>, usize, Vec<IKunTree>)

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

DynamicCall(Box<IKunTree>, String, Vec<IKunTree>, u32)

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

Source(Loc, Box<IKunTree>)

Source location information for debugging

Implementations

impl IKunTree

pub fn to_egraph<A: Analysis<IKun>>(&self, egraph: &mut EGraph<IKun, A>) -> Id

Trait Implementations

impl Clone for IKunTree

fn clone(&self) -> IKunTree

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IKunTree

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

Formats the value using the given formatter.

impl Default for IKunTree

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for IKunTree

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for IKunTree

fn eq(&self, other: &IKunTree) -> 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 Serialize for IKunTree

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 IKunTree

impl StructuralPartialEq for IKunTree