Trait TyCtx

pub trait TyCtx {
    // Required methods
    fn local_bind_of(&self, _var: &Interned<TypeVar>) -> Option<Ty>;
    fn global_bounds(
        &self,
        _var: &Interned<TypeVar>,
        _pol: bool,
    ) -> Option<DynTypeBounds>;
}

A type context.

Required Methods

fn local_bind_of(&self, _var: &Interned<TypeVar>) -> Option<Ty>

Get local binding of a variable.

fn global_bounds( &self, _var: &Interned<TypeVar>, _pol: bool, ) -> Option<DynTypeBounds>

Get the type of a variable.

Implementations on Foreign Types

impl TyCtx for ()

fn local_bind_of(&self, _var: &Interned<TypeVar>) -> Option<Ty>

fn global_bounds( &self, _var: &Interned<TypeVar>, _pol: bool, ) -> Option<DynTypeBounds>

Implementors

impl TyCtx for TypeInfo

impl<'a> TyCtx for IfaceCheckDriver<'a>

impl<'a> TyCtx for SigCheckDriver<'a>

impl<'a, T: ApplyChecker> TyCtx for ApplySigChecker<'a, T>

impl<'a, T: TyCtx> TyCtx for SelectKeyChecker<'a, T>

impl<'a, T: TyCtx, F> TyCtx for BoundPred<'a, T, F>