Struct ConstraintGraph 

pub struct ConstraintGraph { /* private fields */ }

Implementations

impl ConstraintGraph

pub fn add_dependency_of_constraint_vertex_constraint_vertex( &mut self, dependency: ConstraintVertex, target: ConstraintVertex, ) -> bool

impl ConstraintGraph

pub fn add_dependency_of_constraint_constraint( &mut self, dependency: &mut Constraint, target: &mut Constraint, ) -> bool

impl ConstraintGraph

pub fn clear_reverse_dependencies_of(&mut self, vertex: ConstraintVertex)

impl ConstraintGraph

pub fn constraint_graph(&mut self, builtin_types: NonNull<BuiltinTypes>)

impl ConstraintGraph

pub fn copy_dependencies_of_type_id(&mut self, source: TypeId, target: TypeId)

pub fn copy_dependencies_of_type_pack_id( &mut self, source: TypePackId, target: TypePackId, )

impl ConstraintGraph

pub fn copy_dependencies_to_reachable_types( &mut self, original_vertex: Option<ConstraintVertex>, source_dependencies: NonNull<ConstraintList>, mutated_types: TypeIds, mutated_type_packs: TypePackIds, )

impl ConstraintGraph

pub fn dump(&mut self)

impl ConstraintGraph

pub fn dump_blocked( &mut self, c: NonNull<Constraint>, opts: &mut ToStringOptions, )

impl ConstraintGraph

pub fn dump_with( &mut self, unsolved_constraints: &Vec<NonNull<Constraint>>, opts: &mut ToStringOptions, )

impl ConstraintGraph

pub fn find_dependency_list( &mut self, vertex: ConstraintVertex, ) -> NonNull<ConstraintList>

impl ConstraintGraph

pub fn find_reverse_dependency_list( &mut self, vertex: ConstraintVertex, ) -> NonNull<ConstraintList>

impl ConstraintGraph

pub fn has_strictly_more_than_one_dependency( &mut self, vertex: ConstraintVertex, ) -> bool

impl ConstraintGraph

pub fn has_unsolved_dependencies(&mut self, vertex: ConstraintVertex) -> bool

impl ConstraintGraph

pub fn inherit_blocks( &mut self, existing_vertex: ConstraintVertex, new_vertex: ConstraintVertex, )

impl ConstraintGraph

pub fn repair_type_references_type_id(&mut self, ty: TypeId)

pub fn repair_type_references_type_pack_id(&mut self, ty: TypePackId)

impl ConstraintGraph

pub fn shift_references_type_id(&mut self, source: TypeId, target: TypeId)

pub fn shift_references_type_pack_id( &mut self, source: TypePackId, target: TypePackId, )

impl ConstraintGraph

pub fn unblock_constraint(&mut self, c: NonNull<Constraint>) -> UnblockedTypes

impl ConstraintGraph

pub fn unblock_type_or_pack_type_id(&mut self, vertex: TypeId)

impl ConstraintGraph

pub fn unblock_type_or_pack_type_pack_id(&mut self, vertex: TypePackId)

Trait Implementations

impl Clone for ConstraintGraph

fn clone(&self) -> ConstraintGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstraintGraph

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

Formats the value using the given formatter.