Enum weresocool_ast::lists::ListOp

pub enum ListOp {
    Const {
        terms: Vec<Term>,
    },
    Named {
        name: String,
    },
    ListOpIndexed {
        list_op: Box<ListOp>,
        indices: Indices,
        direction: Direction,
    },
    GenOp {
        gen: GenOp,
    },
    Concat {
        listops: Vec<ListOp>,
    },
}

Variants

Const

Fields

terms: Vec<Term>

Named

Fields

name: String

ListOpIndexed

Fields

list_op: Box<ListOp>

indices: Indices

direction: Direction

GenOp

Fields

gen: GenOp

Concat

Fields

listops: Vec<ListOp>

Implementations

impl ListOp

pub fn term_vectors( &self, defs: &mut Defs<Term> ) -> Result<Vec<TermVector>, Error>

impl ListOp

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

Trait Implementations

impl Clone for ListOp

fn clone(&self) -> ListOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ListOp

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

Formats the value using the given formatter.

impl GetLengthRatio<Term> for ListOp

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

impl Hash for ListOp

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 ListOp

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

impl PartialEq<ListOp> for ListOp

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

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

impl StructuralPartialEq for ListOp