[−][src]Enum smt2::client::error::InternalError

pub enum InternalError<L, C: Clone + PartialEq, F: Function> {
    IO(Error),
    Server(String),
    Syntax(Located<Error>),
    Compile(Located<Error<Internal<L, C, F>>>),
}

Variants

IO(Error)
Server(String)
Syntax(Located<Error>)
Compile(Located<Error<Internal<L, C, F>>>)

Trait Implementations

impl<L, C: Clone + PartialEq, F: Function> From<Error> for InternalError<L, C, F>[src]

impl<L, C: Clone + PartialEq, F: Function> From<Located<Error<Internal<L, C, F>>>> for InternalError<L, C, F>[src]

impl<L, C: Clone + PartialEq, F: Function> From<Located<Error>> for InternalError<L, C, F>[src]

Auto Trait Implementations

impl<L, C, F> !RefUnwindSafe for InternalError<L, C, F>

impl<L, C, F> Send for InternalError<L, C, F>

impl<L, C, F> Sync for InternalError<L, C, F>

impl<L, C, F> Unpin for InternalError<L, C, F>

impl<L, C, F> !UnwindSafe for InternalError<L, C, F>

Blanket Implementations

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

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

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

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

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

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

type Error = Infallible

The type returned in the event of a conversion error.

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

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

The type returned in the event of a conversion error.