pub enum WeftError {
Type(String),
EffectNotDeclared(EffectKind),
UnknownCall(String),
UnknownEntry,
FuelExhausted,
ContractViolated(&'static str),
}Variants§
Type(String)
A type mismatch, with a machine-usable description.
EffectNotDeclared(EffectKind)
A constructed effect kind not covered by the declared row.
UnknownCall(String)
A Call names a hash the module doesn’t contain.
UnknownEntry
FuelExhausted
Runtime guard only — verified code cannot reach it (bound is static).
ContractViolated(&'static str)
A contract evaluated to false.
Trait Implementations§
impl Eq for WeftError
Source§impl Error for WeftError
impl Error for WeftError
1.30.0 · Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0:
use the Display impl or to_string()
impl StructuralPartialEq for WeftError
Auto Trait Implementations§
impl Freeze for WeftError
impl RefUnwindSafe for WeftError
impl Send for WeftError
impl Sync for WeftError
impl Unpin for WeftError
impl UnsafeUnpin for WeftError
impl UnwindSafe for WeftError
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more