Struct Definitions 

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

Context term definitions.

Implementations

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

pub fn into_parts(self) -> DefinitionParts<T, B>

Consumes this Definitions, returning its parts.

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: ?Sized + Hash + Eq, 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: ?Sized + Hash + Eq, 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: ?Sized + Hash + Eq, Key: Borrow<Q>, KeywordType: Borrow<Q>,

Checks whether the given term is defined.

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>

where T: Clone, B: Clone,

Rewrites every IRI and identifier of this definition with the given functions.

Trait Implementations

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

fn clone(&self) -> Self

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() -> Self

Returns the “default value” for a type.

impl<T: Eq, B: Eq> Eq for Definitions<T, B>

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) -> Self::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) -> Self::IntoIter

Creates an iterator from a value.

impl<T: PartialEq, B: PartialEq> PartialEq for Definitions<T, B>

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

Equality operator ==.

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

Inequality operator !=.

impl<T: PartialEq, B: PartialEq> StructuralPartialEq for Definitions<T, B>