Language.PureScript.TypeChecker.Entailment.IntCompare

Graph-based solver for comparing type-level numbers with respect to reflexivity, symmetry, and transitivity properties.

Documentation

data Relation a

Constructors

Equal a a

LessThan a a

Instances

Functor Relation

Defined in Language.PureScript.TypeChecker.Entailment.IntCompare

Methods

fmap :: (a -> b) -> Relation a -> Relation b

(<$) :: a -> Relation b -> Relation a

Show a => Show (Relation a)

Defined in Language.PureScript.TypeChecker.Entailment.IntCompare

Methods

showsPrec :: Int -> Relation a -> ShowS

show :: Relation a -> String

showList :: [Relation a] -> ShowS

Eq a => Eq (Relation a)

Defined in Language.PureScript.TypeChecker.Entailment.IntCompare

Methods

(==) :: Relation a -> Relation a -> Bool

(/=) :: Relation a -> Relation a -> Bool

Ord a => Ord (Relation a)

Defined in Language.PureScript.TypeChecker.Entailment.IntCompare

Methods

compare :: Relation a -> Relation a -> Ordering

(<) :: Relation a -> Relation a -> Bool

(<=) :: Relation a -> Relation a -> Bool

(>) :: Relation a -> Relation a -> Bool

(>=) :: Relation a -> Relation a -> Bool

max :: Relation a -> Relation a -> Relation a

min :: Relation a -> Relation a -> Relation a

type Context a = [Relation a]

type PSOrdering = Qualified (ProperName 'TypeName)

solveRelation :: forall a. Ord a => Context a -> a -> a -> Maybe PSOrdering

mkRelation :: Type a -> Type a -> Type a -> Maybe (Relation (Type a))

mkFacts :: [[Type a]] -> [Relation (Type a)]