Struct TypeGraph 

pub struct TypeGraph { /* private fields */ }

Implementations

impl TypeGraph

pub fn with_cast_order(cast_order: TypeCastOrder) -> Self

pub fn instantiate_principal(&mut self, binding: &Binding) -> PrincipalInstance

pub fn collect_runtime_bounds( &mut self, template: &Type, bounds: &RuntimeBounds, ) -> MonomorphizeResult<()>

pub fn collect_runtime_lower( &mut self, template: &Type, lower: &RuntimeType, ) -> MonomorphizeResult<()>

pub fn collect_runtime_upper( &mut self, template: &Type, upper: &RuntimeType, ) -> MonomorphizeResult<()>

pub fn fresh_hole(&mut self, prefix: &str) -> Type

pub fn constrain_subtype( &mut self, lower: Type, upper: Type, ) -> MonomorphizeResult<()>

pub fn default_unbound_lower( &mut self, vars: BTreeSet<TypeVar>, lower: Type, ) -> MonomorphizeResult<()>

pub fn solve(self) -> GraphSolution

pub fn slot(&self, var: &TypeVar) -> Option<&TypeVarBounds>

Trait Implementations

impl Clone for TypeGraph

fn clone(&self) -> TypeGraph

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeGraph

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for TypeGraph

fn default() -> TypeGraph

Returns the “default value” for a type.

impl PartialEq for TypeGraph

fn eq(&self, other: &TypeGraph) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TypeGraph

impl StructuralPartialEq for TypeGraph