Struct Error

pub struct Error { /* private fields */ }

Errors generated by the compiler

Implementations

impl Error

pub fn with_pos<T: WithPos>(self, pos: &T) -> Self

pub fn with_annotation<T: WithPos, S: ToString>(self, pos: &T, msg: S) -> Self

pub fn with_annotations<T: WithPos, S: ToString>( self, pos_iter: impl Iterator<Item = (T, S)>, ) -> Self

pub fn with_post_msg(self, msg: Option<String>) -> Self

pub fn reserved_name(name: Id) -> Self

pub fn malformed_control<S: ToString>(msg: S) -> Self

pub fn malformed_structure<S: ToString>(msg: S) -> Self

pub fn pass_assumption<S: ToString, M: ToString>(pass: S, msg: M) -> Self

pub fn undefined<S: ToString>(name: Id, typ: S) -> Self

pub fn already_bound<S: ToString>(name: Id, typ: S) -> Self

pub fn unused<S: ToString>(group: Id, typ: S) -> Self

pub fn papercut<S: ToString>(msg: S) -> Self

pub fn misc<S: ToString>(msg: S) -> Self

pub fn parse_error<S: ToString>(msg: S) -> Self

pub fn invalid_file<S: ToString>(msg: S) -> Self

pub fn write_error<S: ToString>(msg: S) -> Self

pub fn location(&self) -> (&str, usize, usize)

pub fn message(&self) -> String

pub fn annotations(&self) -> Vec<(String, usize, usize)>

Trait Implementations

impl Clone for Error

fn clone(&self) -> Error

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Error

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

Formats the value using the given formatter.

impl From<Error> for Error

fn from(e: Error) -> Self

Converts to this type from the input type.

impl From<Error> for Error

fn from(e: Error) -> Self

Converts to this type from the input type.

impl From<Error> for MultiError

fn from(value: Error) -> Self

Converts to this type from the input type.

impl From<Utf8Error> for Error

fn from(err: Utf8Error) -> Self

Converts to this type from the input type.