Struct Definitions 

pub struct Definitions<'c> {
    pub here: &'c [&'c Definition<DefinitionBody>],
    pub conds: &'c [&'c Definition<Box<Subst<BooleanContext>>>],
    pub earlier: Option<&'c Definitions<'c>>,
}

Fields

here: &'c [&'c Definition<DefinitionBody>]

conds: &'c [&'c Definition<Box<Subst<BooleanContext>>>]

earlier: Option<&'c Definitions<'c>>

Implementations

impl<'c> Definitions<'c>

pub fn iter<B>(&'c self) -> DefinitionsIter<'c, B>

where Definitions<'c>: AsRef<[&'c Definition<B>]>,

pub fn find_raw<B>(&'c self, name: &DefinitionName) -> Option<&'c Definition<B>>

where Definitions<'c>: AsRef<[&'c Definition<B>]>, B: 'static,

Find the definition of name as a B, without recursion checking

The caller is responsible for preventing unbounded recursion.

Trait Implementations

impl<'c> AsRef<[&'c Definition<Box<Subst<BooleanContext>>>]> for Definitions<'c>

fn as_ref(&self) -> &[&'c Definition<Box<Subst<BooleanContext>>>]

Converts this type into a shared reference of the (usually inferred) input type.

impl<'c> AsRef<[&'c Definition<DefinitionBody>]> for Definitions<'c>

fn as_ref(&self) -> &[&'c Definition<DefinitionBody>]

Converts this type into a shared reference of the (usually inferred) input type.

impl<'c> Clone for Definitions<'c>

fn clone(&self) -> Definitions<'c>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'c> Debug for Definitions<'c>

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

Formats the value using the given formatter.

impl<'c> Default for Definitions<'c>

fn default() -> Definitions<'c>

Returns the “default value” for a type.

impl<'c> Copy for Definitions<'c>