unison-parser-typechecker-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.KindInference.UVar

Documentation

data UVar v loc Source #

Constructors

UVar 

Fields

Instances

Instances details
Show v => Show (UVar v loc) Source # 
Instance details

Defined in Unison.KindInference.UVar

Methods

showsPrec :: Int -> UVar v loc -> ShowS #

show :: UVar v loc -> String #

showList :: [UVar v loc] -> ShowS #

Var v => Eq (UVar v loc) Source # 
Instance details

Defined in Unison.KindInference.UVar

Methods

(==) :: UVar v loc -> UVar v loc -> Bool #

(/=) :: UVar v loc -> UVar v loc -> Bool #

Var v => Ord (UVar v loc) Source # 
Instance details

Defined in Unison.KindInference.UVar

Methods

compare :: UVar v loc -> UVar v loc -> Ordering #

(<) :: UVar v loc -> UVar v loc -> Bool #

(<=) :: UVar v loc -> UVar v loc -> Bool #

(>) :: UVar v loc -> UVar v loc -> Bool #

(>=) :: UVar v loc -> UVar v loc -> Bool #

max :: UVar v loc -> UVar v loc -> UVar v loc #

min :: UVar v loc -> UVar v loc -> UVar v loc #