Enum fungi_lang::bitype::TypeError
[−]
[src]
pub enum TypeError { 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), SynthFailVal(Val), UnexpectedCEffect(CEffect), UnexpectedType(Type), EffectError(Error), LaterError, Subder, Mismatch, MismatchSort(Sort, Sort), SubsumptionFailure(CEffect, CEffect), }
Typing error
Variants
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)
SynthFailVal(Val)
UnexpectedCEffect(CEffect)
UnexpectedType(Type)
EffectError(Error)
LaterError
Subder
Mismatch
MismatchSort(Sort, Sort)
SubsumptionFailure(CEffect, CEffect)
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]
fn fmt(&self, __arg_0: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more
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