Enum trivial_kernel::error::Kind[−][src]

pub enum Kind {
    InvalidHeapIndex,
    InvalidProofIndex,
    InvalidTheorem,
    InvalidStoreIndex,
    InvalidStoreType,
    InvalidTerm,
    InvalidStoreExpr,
    InvalidSort,
    InvalidBinderIndices,
    InvalidUnifyCommandIndex,
    InvalidStackType,
    IncompatibleTypes,
    DependencyOverflow,
    UnifyStackUnderflow,
    CantSaveConvertabilityObligation,
    UnifyRefFailure,
    UnifyTermFailure,
    ProofStackUnderflow,
    SortNotProvable,
    SortIsStrict,
    SortIsPure,
    StackHasMoreThanOne,
    UnaccountedDependencies,
    BadReturnType,
    TypeError,
    TooManyBoundVariables,
    HypStackUnderflow,
    DummyCommandInTheorem,
    CongUnifyError,
    BindDep,
    DisjointVariableViolation,
    UnknownCommand,
    UnfinishedHypStack,
    UnfinishedUnifyStack,
    HypInDefStatement,
    InvalidOpcodeInDef,
    Impossible,
    TheoremOutOfRange,
    TermOutOfRange,
    SortOutOfRange,
    StreamExhausted,
    MissingProofStream,
}

Variants

InvalidHeapIndex

InvalidProofIndex

InvalidTheorem

InvalidStoreIndex

InvalidStoreType

InvalidTerm

InvalidStoreExpr

InvalidSort

InvalidBinderIndices

InvalidUnifyCommandIndex

InvalidStackType

IncompatibleTypes

DependencyOverflow

UnifyStackUnderflow

CantSaveConvertabilityObligation

UnifyRefFailure

UnifyTermFailure

ProofStackUnderflow

SortNotProvable

SortIsStrict

SortIsPure

StackHasMoreThanOne

UnaccountedDependencies

BadReturnType

TypeError

TooManyBoundVariables

HypStackUnderflow

DummyCommandInTheorem

CongUnifyError

BindDep

DisjointVariableViolation

UnknownCommand

UnfinishedHypStack

UnfinishedUnifyStack

HypInDefStatement

InvalidOpcodeInDef

Impossible

TheoremOutOfRange

TermOutOfRange

SortOutOfRange

StreamExhausted

MissingProofStream

Trait Implementations

`impl Clone for Kind`[src]

`fn clone(&self) -> Kind`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Copy for Kind`[src]

`impl Debug for Kind`[src]

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

Auto Trait Implementations

`impl RefUnwindSafe for Kind`

`impl Send for Kind`

`impl Sync for Kind`

`impl Unpin for Kind`

`impl UnwindSafe for Kind`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

Enum trivial_kernel::error::Kind[−][src]

Variants

Trait Implementations

`impl Clone for Kind`[src]

`fn clone(&self) -> Kind`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Copy for Kind`[src]

`impl Debug for Kind`[src]

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

Auto Trait Implementations

`impl RefUnwindSafe for Kind`

`impl Send for Kind`

`impl Sync for Kind`

`impl Unpin for Kind`

`impl UnwindSafe for Kind`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

Enum trivial_kernel::error::Kind[−][src]

Variants

Trait Implementations

impl Clone for Kind[src]

fn clone(&self) -> Kind[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Copy for Kind[src]

impl Debug for Kind[src]

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

Auto Trait Implementations

impl RefUnwindSafe for Kind

impl Send for Kind

impl Sync for Kind

impl Unpin for Kind

impl UnwindSafe for Kind

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

impl<T, U> Into<U> for T where U: From<T>, [src]

pub fn into(self) -> U[src]

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

pub fn to_owned(&self) -> T[src]

pub fn clone_into(&self, target: &mut T)[src]

impl<T, U> TryFrom<U> for T where U: Into<T>, [src]

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

impl<T, U> TryInto<U> for T where U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

`impl Clone for Kind`[src]

`fn clone(&self) -> Kind`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Copy for Kind`[src]

`impl Debug for Kind`[src]

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

`impl RefUnwindSafe for Kind`

`impl Send for Kind`

`impl Sync for Kind`

`impl Unpin for Kind`

`impl UnwindSafe for Kind`

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]