Struct Terms 

pub struct Terms<'a> { /* private fields */ }

One instruction of a function, as the terms a rule could match.

Implementations

impl<'a> Terms<'a>

pub fn new(func: &'a Func, root: Inst, plan: Plan) -> Self

The instruction, shown the way the plan says.

pub fn root(&self) -> Inst

The instruction this is about.

pub fn name(&self, inst: Inst) -> Option<&'static str>

What the root, or an instruction one of its operands was expanded into, is called in a rule file.

pub fn constant(&self, value: Value) -> Option<i128>

What a value is, if it is a constant.

Trait Implementations

impl<'a> Debug for Terms<'a>

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

Formats the value using the given formatter.

impl Subject for Terms<'_>

type Node = Term

What this subject calls one of its terms.

fn head(&self, node: Term) -> Option<(&str, usize)>

The head of a term and how many arguments it has, or nothing if the term is not an application. An IR instruction answers with its opcode and its width, spelled the way the rule file spells it.

fn arg(&self, node: Term, index: usize) -> Term

One argument of a term, counted from zero. Only ever asked for an argument the answer to Subject::head said was there.

fn int(&self, node: Term) -> Option<i128>

The value of a term that is a constant, or nothing if it is not one. This is what a pattern matching a literal is asking, and what a guard reads.