Enum weresocool_ast::term::Term

pub enum Term {
    Op(Op),
    Nf(NormalForm),
    FunDef(FunDef),
    Lop(ListOp),
    Gen(GenOp),
}

Variants

Op(Op)

Nf(NormalForm)

FunDef(FunDef)

Lop(ListOp)

Gen(GenOp)

Trait Implementations

impl Clone for Term

fn clone(&self) -> Term

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Term

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

Formats the value using the given formatter.

impl From<Term> for TermVector

fn from(term: Term) -> Self

Converts to this type from the input type.

impl GetLengthRatio<Term> for GenOp

fn get_length_ratio( &self, normal_form: &NormalForm, defs: &mut Defs<Term> ) -> Result<Rational64, Error>

impl GetLengthRatio<Term> for ListOp

fn get_length_ratio( &self, normal_form: &NormalForm, defs: &mut Defs<Term> ) -> Result<Rational64, Error>

impl GetLengthRatio<Term> for NormalForm

fn get_length_ratio( &self, _normal_form: &NormalForm, _defs: &mut Defs<Term> ) -> Result<Rational64, Error>

impl GetLengthRatio<Term> for Op

fn get_length_ratio( &self, normal_form: &NormalForm, defs: &mut Defs<Term> ) -> Result<Rational64, Error>

impl GetLengthRatio<Term> for Term

fn get_length_ratio( &self, normal_form: &NormalForm, defs: &mut Defs<Term> ) -> Result<Rational64, Error>

impl Hash for Term

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 Normalize<Term> for GenOp

fn apply_to_normal_form( &self, input: &mut NormalForm, defs: &mut Defs<Term> ) -> Result<(), Error>

impl Normalize<Term> for ListOp

fn apply_to_normal_form( &self, input: &mut NormalForm, defs: &mut Defs<Term> ) -> Result<(), Error>

impl Normalize<Term> for NormalForm

fn apply_to_normal_form( &self, input: &mut NormalForm, _defs: &mut Defs<Term> ) -> Result<(), Error>

impl Normalize<Term> for Op

fn apply_to_normal_form( &self, input: &mut NormalForm, defs: &mut Defs<Term> ) -> Result<(), Error>

impl Normalize<Term> for Term

fn apply_to_normal_form( &self, input: &mut NormalForm, defs: &mut Defs<Term> ) -> Result<(), Error>

impl PartialEq<Term> for Term

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Substitute<Term> for GenOp

fn substitute( &self, _normal_form: &mut NormalForm, defs: &mut Defs<Term> ) -> Result<Term, Error>

impl Substitute<Term> for ListOp

fn substitute( &self, normal_form: &mut NormalForm, defs: &mut Defs<Term> ) -> Result<Term, Error>

impl Substitute<Term> for NormalForm

fn substitute( &self, _normal_form: &mut NormalForm, _defs: &mut Defs<Term> ) -> Result<Term, Error>

impl Substitute<Term> for Op

fn substitute( &self, normal_form: &mut NormalForm, defs: &mut Defs<Term> ) -> Result<Term, Error>

impl Substitute<Term> for Term

fn substitute( &self, normal_form: &mut NormalForm, defs: &mut Defs<Term> ) -> Result<Term, Error>

impl StructuralPartialEq for Term