Trait tract_core::analyser::rules::ComparableProxy

pub trait ComparableProxy: Proxy {
type Output: Output;
}

A proxy which can be used in a solver rule.

Associated Types

type Output: Output

Loading content...

Implementors

impl ComparableProxy for DimProxy

type Output = DimFact

impl ComparableProxy for ElementProxy

type Output = IntFact

impl ComparableProxy for IntProxy

type Output = IntFact

impl ComparableProxy for ShapeProxy

type Output = ShapeFact

impl ComparableProxy for TypeProxy

type Output = TypeFact

impl ComparableProxy for ValueProxy

type Output = ValueFact

impl<'a> ComparableProxy for &'a DimProxy

type Output = DimFact

impl<'a> ComparableProxy for &'a ElementProxy

type Output = IntFact

impl<'a> ComparableProxy for &'a IntProxy

type Output = IntFact

impl<'a> ComparableProxy for &'a ShapeProxy

type Output = ShapeFact

impl<'a> ComparableProxy for &'a TypeProxy

type Output = TypeFact

impl<'a> ComparableProxy for &'a ValueProxy

type Output = ValueFact

Loading content...