Trait tract_hir::infer::rules::ComparableProxy [−][src]
A proxy which can be used in a solver rule.
A proxy which can be used in a solver rule.
impl ComparableProxy for DimProxy
[src]impl ComparableProxy for ElementProxy
[src]type Output = IntFactoid
impl ComparableProxy for IntProxy
[src]type Output = IntFactoid
impl ComparableProxy for ShapeProxy
[src]type Output = ShapeFactoid
impl ComparableProxy for TypeProxy
[src]type Output = TypeFactoid
impl ComparableProxy for ValueProxy
[src]impl<'a> ComparableProxy for &'a DimProxy
[src]impl<'a> ComparableProxy for &'a ElementProxy
[src]type Output = IntFactoid
impl<'a> ComparableProxy for &'a IntProxy
[src]type Output = IntFactoid
impl<'a> ComparableProxy for &'a ShapeProxy
[src]type Output = ShapeFactoid
impl<'a> ComparableProxy for &'a TypeProxy
[src]type Output = TypeFactoid
impl<'a> ComparableProxy for &'a ValueProxy
[src]