Enum ErrorKind

pub enum ErrorKind {
    Io(Error),
    Msg(String),
    Unknown,
    Timeout,
    Unsupported,
    IoError(String),
    SolverError(String),
    ParseError(String, String),
    // some variants omitted
}

The kind of an error.

Variants

Io(Error)

IO error.

Msg(String)

A convenient variant for String.

Unknown

The solver reported unknown.

Timeout

The solver reported timeout.

Unsupported

The solver reported unsupported.

IoError(String)

IO error.

SolverError(String)

The solver reported an error.

ParseError(String, String)

Parse error, contains the s-expression on which the error happened

Implementations

impl ErrorKind

pub fn description(&self) -> &str

A string describing the error kind.

impl ErrorKind

pub fn is_unknown(&self) -> bool

True if the error is Unknown.

pub fn is_timeout(&self) -> bool

True if the error is Timeout.

Trait Implementations

impl Debug for ErrorKind

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

Formats the value using the given formatter.

impl Display for ErrorKind

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

Formats the value using the given formatter.

impl<'a> From<&'a str> for ErrorKind

fn from(s: &'a str) -> Self

Converts to this type from the input type.

impl From<Error> for ErrorKind

fn from(e: Error) -> Self

Converts to this type from the input type.

impl From<ErrorKind> for Error

fn from(e: ErrorKind) -> Self

Converts to this type from the input type.

impl From<String> for ErrorKind

fn from(s: String) -> Self

Converts to this type from the input type.