Enum leo_asg::error::AsgConvertError[][src]

pub enum AsgConvertError {
    Error(FormattedError),
    ImportError(FormattedError),
    InternalError(String),
    SyntaxError(SyntaxError),
}

Variants

ImportError(FormattedError)
InternalError(String)
SyntaxError(SyntaxError)

Implementations

impl AsgConvertError[src]

pub fn unresolved_circuit(name: &str, span: &Span) -> Self[src]

pub fn unresolved_import(name: &str, span: &Span) -> Self[src]

pub fn unresolved_circuit_member(
    circuit_name: &str,
    name: &str,
    span: &Span
) -> Self
[src]

pub fn missing_circuit_member(
    circuit_name: &str,
    name: &str,
    span: &Span
) -> Self
[src]

pub fn overridden_circuit_member(
    circuit_name: &str,
    name: &str,
    span: &Span
) -> Self
[src]

pub fn redefined_circuit_member(
    circuit_name: &str,
    name: &str,
    span: &Span
) -> Self
[src]

pub fn extra_circuit_member(circuit_name: &str, name: &str, span: &Span) -> Self[src]

pub fn illegal_function_assign(name: &str, span: &Span) -> Self[src]

pub fn circuit_variable_call(
    circuit_name: &str,
    name: &str,
    span: &Span
) -> Self
[src]

pub fn circuit_static_call_invalid(
    circuit_name: &str,
    name: &str,
    span: &Span
) -> Self
[src]

pub fn circuit_member_mut_call_invalid(
    circuit_name: &str,
    name: &str,
    span: &Span
) -> Self
[src]

pub fn circuit_member_call_invalid(
    circuit_name: &str,
    name: &str,
    span: &Span
) -> Self
[src]

pub fn circuit_function_ref(circuit_name: &str, name: &str, span: &Span) -> Self[src]

pub fn index_into_non_array(name: &str, span: &Span) -> Self[src]

pub fn invalid_assign_index(name: &str, num: &str, span: &Span) -> Self[src]

pub fn invalid_backwards_assignment(
    name: &str,
    left: usize,
    right: usize,
    span: &Span
) -> Self
[src]

pub fn duplicate_function_definition(name: &str, span: &Span) -> Self[src]

pub fn index_into_non_tuple(name: &str, span: &Span) -> Self[src]

pub fn tuple_index_out_of_bounds(index: usize, span: &Span) -> Self[src]

pub fn array_index_out_of_bounds(index: usize, span: &Span) -> Self[src]

pub fn unknown_array_size(span: &Span) -> Self[src]

pub fn unexpected_call_argument_count(
    expected: usize,
    got: usize,
    span: &Span
) -> Self
[src]

pub fn unresolved_function(name: &str, span: &Span) -> Self[src]

pub fn unresolved_type(name: &str, span: &Span) -> Self[src]

pub fn unexpected_type(
    expected: &str,
    received: Option<&str>,
    span: &Span
) -> Self
[src]

pub fn unexpected_nonconst(span: &Span) -> Self[src]

pub fn unresolved_reference(name: &str, span: &Span) -> Self[src]

pub fn invalid_boolean(value: &str, span: &Span) -> Self[src]

pub fn invalid_int(value: &str, span: &Span) -> Self[src]

pub fn unsigned_negation(span: &Span) -> Self[src]

pub fn immutable_assignment(name: &str, span: &Span) -> Self[src]

pub fn function_missing_return(name: &str, span: &Span) -> Self[src]

pub fn function_return_validation(
    name: &str,
    description: &str,
    span: &Span
) -> Self
[src]

pub fn input_ref_needs_type(category: &str, name: &str, span: &Span) -> Self[src]

pub fn invalid_self_in_global(span: &Span) -> Self[src]

pub fn call_test_function(span: &Span) -> Self[src]

pub fn circuit_test_function(span: &Span) -> Self[src]

pub fn parse_index_error() -> Self[src]

pub fn parse_dimension_error() -> Self[src]

pub fn reference_self_outside_circuit() -> Self[src]

pub fn illegal_ast_structure(details: &str) -> Self[src]

Trait Implementations

impl Debug for AsgConvertError[src]

impl Display for AsgConvertError[src]

impl Error for AsgConvertError[src]

impl From<FormattedError> for AsgConvertError[src]

impl From<SyntaxError> for AsgConvertError[src]

impl LeoError for AsgConvertError[src]

Auto Trait Implementations

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> Instrument for T[src]

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

impl<T> ToString for T where
    T: Display + ?Sized
[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.