Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.KindInference.Constraint.Solved

Synopsis

Documentation

Solved constraints

These constraints are associated with unification variables during kind inference.

Constructors

Instances details

(Show v, Show loc, Show uv) => Show (Constraint uv v loc) Source #
Instance details Defined in Unison.KindInference.Constraint.Solved Methods showsPrec :: Int -> Constraint uv v loc -> ShowS # show :: Constraint uv v loc -> String # showList :: [Constraint uv v loc] -> ShowS #
(Var v, Eq loc, Eq uv) => Eq (Constraint uv v loc) Source #
Instance details Defined in Unison.KindInference.Constraint.Solved Methods (==) :: Constraint uv v loc -> Constraint uv v loc -> Bool # (/=) :: Constraint uv v loc -> Constraint uv v loc -> Bool #
(Var v, Ord loc, Ord uv) => Ord (Constraint uv v loc) Source #
Instance details Defined in Unison.KindInference.Constraint.Solved Methods compare :: Constraint uv v loc -> Constraint uv v loc -> Ordering # (<) :: Constraint uv v loc -> Constraint uv v loc -> Bool # (<=) :: Constraint uv v loc -> Constraint uv v loc -> Bool # (>) :: Constraint uv v loc -> Constraint uv v loc -> Bool # (>=) :: Constraint uv v loc -> Constraint uv v loc -> Bool # max :: Constraint uv v loc -> Constraint uv v loc -> Constraint uv v loc # min :: Constraint uv v loc -> Constraint uv v loc -> Constraint uv v loc #