Enum fungi_lang::bitype::TypeError
[−]
[src]
pub enum TypeError { VarNotInScope(String), NoParse(String), AnnoMism, NoSynthRule, NoCheckRule, InvalidPtr, ParamMism(usize), ParamNoSynth(usize), ParamNoCheck(usize), ExistVarMism, ProjNotProd, AppNotArrow, ValNotArrow, GetNotRef, ExpNotCons, BadCheck, DSLiteral, EmptyDT, Unimplemented, CheckFailType(Type), CheckFailCEffect(CEffect), SynthFailVal(Val), UnexpectedCEffect(CEffect), UnexpectedType(Type), LaterError, Subder, Mismatch, }
Typing error
Variants
VarNotInScope(String)
NoParse(String)
AnnoMism
NoSynthRule
NoCheckRule
InvalidPtr
ParamMism(usize)
ParamNoSynth(usize)
ParamNoCheck(usize)
ExistVarMism
ProjNotProd
AppNotArrow
ValNotArrow
GetNotRef
ExpNotCons
BadCheck
DSLiteral
EmptyDT
Unimplemented
CheckFailType(Type)
CheckFailCEffect(CEffect)
SynthFailVal(Val)
UnexpectedCEffect(CEffect)
UnexpectedType(Type)
LaterError
Subder
Mismatch
Trait Implementations
impl Clone for TypeError
[src]
fn clone(&self) -> TypeError
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Debug for TypeError
[src]
impl Eq for TypeError
[src]
impl PartialEq for TypeError
[src]
fn eq(&self, __arg_0: &TypeError) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &TypeError) -> bool
[src]
This method tests for !=
.
impl Hash for TypeError
[src]
fn hash<__H: Hasher>(&self, __arg_0: &mut __H)
[src]
Feeds this value into the given [Hasher
]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more