Trait IntoError 

pub trait IntoError {
    // Required method
    fn into_err(self) -> Error;
}

Generate an Error.

Required Methods

fn into_err(self) -> Error

Produce the sequence of spans and help messages.

Implementors

impl IntoError for Basic

impl IntoError for Raw

impl<It, slow, implicit, extra> IntoError for ClkTooSlowExpectImplicit<slow, implicit, extra>

where slow: Display + TrySpan + TryDefSite, implicit: TrySpan, extra: IntoIterator<Item = It>, It: Display,

impl<Its, head, items> IntoError for Cycle<head, items>

where head: Display + TrySpan, items: IntoIterator<Item = Its>, Its: TrySpan + Display,

impl<attr, construct, site> IntoError for InapplicableAttribute<attr, construct, site>

where attr: Display, construct: Display, site: TrySpan,

impl<expr> IntoError for NotAClock<expr>

where expr: Display + TrySpan,

impl<expr> IntoError for ShallowPre<expr>

where expr: TrySpan,

impl<first, second, whole> IntoError for ClkNotComparable<first, second, whole>

where first: Display + TrySpan + TryDefSite, second: Display + TrySpan + TryDefSite, whole: TrySpan,

impl<first, second, whole> IntoError for ClkNotIdentical<first, second, whole>

where first: Display + TrySpan + TryDefSite, second: Display + TrySpan + TryDefSite, whole: TrySpan,

impl<fun> IntoError for FunNotFound<fun>

where fun: Display + TrySpan,

impl<oper1, first, site, second, third, oper2> IntoError for CmpNotAssociative<oper1, first, site, second, third, oper2>

where oper1: Display, first: Display, site: TrySpan, second: Display, third: Display, oper2: Display,

impl<oper, expect, site, inner> IntoError for UnopMismatch<oper, expect, site, inner>

where oper: Display, expect: Display, site: TrySpan, inner: Display + TrySpan,

impl<oper, site, expect, left, right> IntoError for BinopMismatch<oper, site, expect, left, right>

where oper: Display, site: TrySpan, expect: Display, left: Display + TrySpan, right: Display + TrySpan,

impl<reason, inputs_nonempty, inputs, outputs_nonempty, outputs, site> IntoError for ExecutableNodeSig<reason, inputs_nonempty, inputs, outputs_nonempty, outputs, site>

where reason: Display, inputs_nonempty: Condition, inputs: TrySpan, outputs_nonempty: Condition, outputs: TrySpan, site: TrySpan,

impl<site> IntoError for UnhandledLitType<site>

where site: TrySpan,

impl<source, left, right, msg> IntoError for TypeMismatch<source, left, right, msg>

where source: TrySpan, left: Display + TrySpan, right: Display + TrySpan, msg: Display,

impl<typ> IntoError for ScalarNotTuple<typ>

where typ: Display + TrySpan,

impl<undeclared> IntoError for UndeclaredGeneric<undeclared>

where undeclared: Display + TrySpan,

impl<unit> IntoError for GraphUnitUndeclared<unit>

where unit: Display + TrySpan,

impl<unit, def_site, usage> IntoError for GraphUnitDependsOnItself<unit, def_site, usage>

where unit: Display, def_site: TrySpan, usage: TrySpan,

impl<unit, new_site, prior, prior_site> IntoError for GraphUnitDeclTwice<unit, new_site, prior, prior_site>

where unit: Display, new_site: TrySpan, prior: Display, prior_site: TrySpan,

impl<unused, inputs> IntoError for UnusedGeneric<unused, inputs>

where unused: Display + TrySpan, inputs: TrySpan,

impl<var, site, available_depth, attempted_depth> IntoError for NotPositive<var, site, available_depth, attempted_depth>

where var: Display, site: TrySpan, available_depth: Display, attempted_depth: Display,

impl<var, suggest1, suggest2> IntoError for VarNotFound<var, suggest1, suggest2>

where var: Display + TrySpan, suggest1: Display, suggest2: Display,

impl<var, suggest> IntoError for TyVarNotFound<var, suggest>

where var: Display + TrySpan, suggest: Display,

impl<variable, previous, new, context> IntoError for UnsatGenericConstraint<variable, previous, new, context>

where variable: Display, previous: Display + TrySpan, new: Display + TrySpan, context: TrySpan,

impl<what, site> IntoError for NotConst<what, site>

where what: Display, site: TrySpan,

impl<what, site, inner> IntoError for BoolRequired<what, site, inner>

where what: Display, site: TrySpan, inner: Display + TrySpan,