| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.PureScript.TypeChecker.Entailment.IntCompare
Description
Graph-based solver for comparing type-level numbers with respect to reflexivity, symmetry, and transitivity properties.
Documentation
Instances
| Functor Relation # | |
| Show a => Show (Relation a) # | |
| Eq a => Eq (Relation a) # | |
| Ord a => Ord (Relation a) # | |
Defined in Language.PureScript.TypeChecker.Entailment.IntCompare | |
type PSOrdering = Qualified (ProperName 'TypeName) #
solveRelation :: Ord a => Context a -> a -> a -> Maybe PSOrdering #