Struct arithmetic_typing::error::Errors

pub struct Errors<Prim: PrimitiveType> { /* private fields */ }

List of Errors.

Examples

let buggy_code = Annotated::<F32Grammar>::parse_statements(r#"
    numbers: ['T; _] = (1, 2, 3);
    numbers.filter(|x| x, 1)
"#)?;
let mut env: TypeEnvironment = Prelude::iter().collect();
let errors: Errors<_> = env.process_statements(&buggy_code).unwrap_err();
assert_eq!(errors.len(), 3);

let messages: HashSet<_> = errors.iter().map(ToString::to_string).collect();
assert!(messages
    .iter()
    .any(|msg| msg.contains("Type param `T` is not scoped by function definition")));
assert!(messages
    .contains("3:20: Type `Num` is not assignable to type `Bool`"));
assert!(messages
    .contains("3:5: Function expects 2 args, but is called with 3 args"));

Implementations

impl<Prim: PrimitiveType> Errors<Prim>

pub fn len(&self) -> usize

Returns the number of errors in this list.

pub fn is_empty(&self) -> bool

Checks if this list is empty (there are no errors).

pub fn iter(&self) -> impl Iterator<Item = &Error<Prim>> + '_

Iterates over errors contained in this list.

pub fn first_failing_statement(&self) -> usize

Returns the index of the first failing statement within a Block that has errored. If the error is in the return value, this index will be equal to the number of statements in the block.

Trait Implementations

impl<Prim: Clone + PrimitiveType> Clone for Errors<Prim>

fn clone(&self) -> Errors<Prim>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Prim: Debug + PrimitiveType> Debug for Errors<Prim>

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

Formats the value using the given formatter.

impl<Prim: PrimitiveType> Display for Errors<Prim>

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

Formats the value using the given formatter.

impl<Prim: PrimitiveType> Error for Errors<Prim>

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

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.

impl<Prim: PrimitiveType> IntoIterator for Errors<Prim>

type Item = Error<Prim>

The type of the elements being iterated over.

type IntoIter = IntoIter<<Errors<Prim> as IntoIterator>::Item, Global>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.