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