Enum InvalidFpCategory

pub enum InvalidFpCategory<E, EqKey> {
    Dom(E),
    Cod(E),
    EqLhs(EqKey),
    EqRhs(EqKey),
    EqSrc(EqKey),
    EqTgt(EqKey),
}

A failure of a finite presentation of a category to be well defined.

Variants

Dom(E)

Morphism generator assigned a domain not contained in the category.

Cod(E)

Morphism generator assigned a codomain not contained in the category.

EqLhs(EqKey)

Path in left hand side of equation not contained in the category.

EqRhs(EqKey)

Path in right hand side of equation not contained in the category.

EqSrc(EqKey)

Sources of left and right hand sides of path equation are not equal.

EqTgt(EqKey)

Targets of left and right hand sides of path equation are not equal.

Trait Implementations

impl<E: Debug, EqKey: Debug> Debug for InvalidFpCategory<E, EqKey>

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

Formats the value using the given formatter.

impl<E, EqKey> Display for InvalidFpCategory<E, EqKey>

where E: Display, EqKey: Display,

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

Formats the value using the given formatter.

impl<E, EqKey> Error for InvalidFpCategory<E, EqKey>

where Self: Debug + Display,

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.