Struct Definitions

pub struct Definitions<T, B> { /* private fields */ }

Context term definitions.

Implementations

impl<T, B> Definitions<T, B>

pub fn into_parts( self, ) -> (HashMap<Key, NormalTermDefinition<T, B>>, Option<TypeTermDefinition>)

pub fn len(&self) -> usize

Returns the number of defined terms.

pub fn is_empty(&self) -> bool

Checks if no terms are defined.

pub fn get<Q>(&self, term: &Q) -> Option<TermDefinitionRef<'_, T, B>>

where Q: Hash + Eq + ?Sized, Key: Borrow<Q>, KeywordType: Borrow<Q>,

Returns a reference to the definition of the given term, if any.

pub fn get_normal<Q>(&self, term: &Q) -> Option<&NormalTermDefinition<T, B>>

where Q: Hash + Eq + ?Sized, Key: Borrow<Q>,

Returns a reference to the normal definition of the given term, if any.

pub fn get_type(&self) -> Option<&TypeTermDefinition>

Returns a reference to the @type definition, if any.

pub fn contains_term<Q>(&self, term: &Q) -> bool

where Q: Hash + Eq + ?Sized, Key: Borrow<Q>, KeywordType: Borrow<Q>,

pub fn insert(&mut self, binding: Binding<T, B>) -> Option<TermDefinition<T, B>>

Inserts the given binding.

pub fn insert_normal( &mut self, term: Key, definition: NormalTermDefinition<T, B>, ) -> Option<NormalTermDefinition<T, B>>

Defines the given normal term.

pub fn insert_type( &mut self, definition: TypeTermDefinition, ) -> Option<TypeTermDefinition>

Inserts the given @type definition.

pub fn set_normal( &mut self, term: Key, definition: Option<NormalTermDefinition<T, B>>, ) -> Option<NormalTermDefinition<T, B>>

Sets the given term normal definition.

pub fn set_type( &mut self, definition: Option<TypeTermDefinition>, ) -> Option<TypeTermDefinition>

Sets the given @type definition.

pub fn iter(&self) -> Iter<'_, T, B>

Returns an iterator over the term definitions.

pub fn map_ids<U, C>( self, map_iri: impl FnMut(T) -> U, map_id: impl FnMut(Id<T, B>) -> Id<U, C>, ) -> Definitions<U, C>

Trait Implementations

impl<T, B> Clone for Definitions<T, B>

where T: Clone, B: Clone,

fn clone(&self) -> Definitions<T, B>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T, B> Default for Definitions<T, B>

fn default() -> Definitions<T, B>

Returns the “default value” for a type.

impl<'a, T, B> IntoIterator for &'a Definitions<T, B>

type Item = BindingRef<'a, T, B>

The type of the elements being iterated over.

type IntoIter = Iter<'a, T, B>

Which kind of iterator are we turning this into?

fn into_iter(self) -> <&'a Definitions<T, B> as IntoIterator>::IntoIter

Creates an iterator from a value.

impl<T, B> IntoIterator for Definitions<T, B>

type Item = Binding<T, B>

The type of the elements being iterated over.

type IntoIter = IntoIter<T, B>

Which kind of iterator are we turning this into?

fn into_iter(self) -> <Definitions<T, B> as IntoIterator>::IntoIter

Creates an iterator from a value.