pub enum InvalidDblTheory<Id> {
SrcType(Id),
TgtType(Id),
ObOpDom(Id),
ObOpCod(Id),
MorOpDom(Id),
MorOpCod(Id),
SrcOp(Id),
TgtOp(Id),
MorOpBoundary(Id),
MorTypeEq(usize, NonEmpty<InvalidPathEq>),
ObOpEq(usize, NonEmpty<InvalidPathEq>),
}
Expand description
A failure of a double theory to be well defined.
Variants§
SrcType(Id)
Morphism type with an invalid source type.
TgtType(Id)
Morphism type with an invalid target type.
ObOpDom(Id)
Object operation with an invalid domain.
ObOpCod(Id)
Object operation with an invalid codomain.
MorOpDom(Id)
Morphism operation with an invalid domain.
MorOpCod(Id)
Morphism operation with an invalid codomain.
SrcOp(Id)
Morphism operation with an invalid source operation.
TgtOp(Id)
Morphism operation with an invalid target operation.
MorOpBoundary(Id)
Morphism operation having a boundary with incompatible corners.
MorTypeEq(usize, NonEmpty<InvalidPathEq>)
Equation between morphism types with one or more errors.
ObOpEq(usize, NonEmpty<InvalidPathEq>)
Equation between object operations with one or more errors.
Trait Implementations§
Source§impl<Id: Debug> Debug for InvalidDblTheory<Id>
impl<Id: Debug> Debug for InvalidDblTheory<Id>
Source§impl<Id> From<InvalidVDblGraph<Id, Id, Id>> for InvalidDblTheory<Id>
impl<Id> From<InvalidVDblGraph<Id, Id, Id>> for InvalidDblTheory<Id>
Source§fn from(err: InvalidVDblGraph<Id, Id, Id>) -> Self
fn from(err: InvalidVDblGraph<Id, Id, Id>) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl<Id> Freeze for InvalidDblTheory<Id>where
Id: Freeze,
impl<Id> RefUnwindSafe for InvalidDblTheory<Id>where
Id: RefUnwindSafe,
impl<Id> Send for InvalidDblTheory<Id>where
Id: Send,
impl<Id> Sync for InvalidDblTheory<Id>where
Id: Sync,
impl<Id> Unpin for InvalidDblTheory<Id>where
Id: Unpin,
impl<Id> UnwindSafe for InvalidDblTheory<Id>where
Id: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.