Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.KindInference.Constraint.Context

Synopsis

Documentation

The context in which the constraint was generated. This is useful when generating user-facing error messages.

Constructors

AppAbs !(UVar v loc) !(UVar v loc)
AppArg !(UVar v loc) !(UVar v loc) !(UVar v loc)
AppArrow loc !(Type v loc) !(Type v loc)
Annotation
EffectsList
ScopeReference
TypeAnnotation
DeclDefinition
Builtin
ContextLookup

Instances details

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