Struct skiff::type_inferencer::constraint_gen::InferenceContext [−][src]
pub struct InferenceContext<'a> {
pub env: TypeEnv,
pub func_table: &'a TypeEnv,
pub data_decl_table: &'a DataDeclTable,
}
Fields
env: TypeEnv
func_table: &'a TypeEnv
data_decl_table: &'a DataDeclTable
Implementations
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl<'a> RefUnwindSafe for InferenceContext<'a>
impl<'a> Send for InferenceContext<'a>
impl<'a> Sync for InferenceContext<'a>
impl<'a> Unpin for InferenceContext<'a>
impl<'a> UnwindSafe for InferenceContext<'a>
Blanket Implementations
Mutably borrows from an owned value. Read more
type Output = T
type Output = T
Should always be Self