Trait asdi::Collection

pub trait Collection<T> {
    fn is_empty(&self) -> bool;
    fn len(&self) -> usize;
    fn iter(&self) -> Box<dyn Iterator<Item = &T>>;
    fn contains(&self, value: &T) -> bool;
}

All collections of things in the library implement these basic methods.

Required methods

fn is_empty(&self) -> bool

fn len(&self) -> usize

fn iter(&self) -> Box<dyn Iterator<Item = &T>>

fn contains(&self, value: &T) -> bool

Implementors

impl Collection<Constant> for Fact

impl Collection<Term> for Atom

impl Collection<Fact> for Relation

impl Collection<Relation> for Relations

impl Collection<Rule> for Rules

impl<T> Collection<Attribute<T>> for Schema<T> where
    T: AttributeName,