Goal
Fields goalSource :: ConstraintSource With it is about goalRange :: Range Part of source code that caused goal goal :: Prop What needs to be proved

Instances

Show Goal
TVars Goal
FVS Goal
IsFact Goal
PP (WithNames Goal)

data HasGoal Source

Constructors

HasGoal
Fields hasName :: !Int hasGoal :: Goal

Instances

Show HasGoal
TVars HasGoal

data DelayedCt Source

Delayed implication constraints, arising from user-specified type sigs.

Constructors

DelayedCt
Fields dctSource :: LQName Signature that gave rise to this constraint dctForall :: [TParam] dctAsmps :: [Prop] dctGoals :: [Goal]

Instances

Show DelayedCt
TVars DelayedCt
FVS DelayedCt
PP (WithNames DelayedCt)

data Solved Source

Constructors

Solved (Maybe Subst) [Goal]	Solved, assumeing the sub-goals.
Unsolved	We could not solved the goal.
Unsolvable	The goal can never be solved

Instances

Show Solved
PP Solved

data Warning Source

Constructors

DefaultingKind TParam Kind
DefaultingWildType Kind
DefaultingTo Doc Type

Instances

Show Warning
PP Warning
TVars Warning
FVS Warning
PP (WithNames Warning)

data Error Source

Various errors that might happen during type checking/inference

Constructors

ErrorMsg Doc	Just say this
KindMismatch Kind Kind	Expected kind, inferred kind
TooManyTypeParams Int Kind	Number of extra parameters, kind of resut (which should not be of the form `_ -> _`)
TooManyTySynParams QName Int	Type-synonym, number of extra params
TooFewTySynParams QName Int	Type-synonym, number of missing params
RepeatedTyParams [TParam]	Type parameters with the same name (in definition)
RepeatedDefinitions QName [Range]	Multiple definitions for the same name
RecursiveTypeDecls [LQName]	The type synonym declarations are recursive
UndefinedTypeSynonym QName	Use of a type synonym that was not defined
UndefinedVariable QName	Use of a variable that was not defined
UndefinedTypeParam QName	Attempt to explicitly instantiate a non-existent param.
MultipleTypeParamDefs QName [Range]	Multiple definitions for the same type parameter
TypeMismatch Type Type	Expected type, inferred type
RecursiveType Type Type	Unification results in a recursive type
UnsolvedGoal Goal	A constraint that we could not solve
UnsolvedDelcayedCt DelayedCt	A constraint (with context) that we could not solve
UnexpectedTypeWildCard	Type wild cards are not allowed in this context (e.g., definitions of type synonyms).
TypeVariableEscaped Type [TVar]	Unification variable depends on quantified variables that are not in scope.
NotForAll TVar Type	Quantified type variables (of kind *) needs to match the given type, so it does not work for all types.
UnusableFunction QName Prop	The given constraint causes the signature of the function to be not-satisfiable.
TooManyPositionalTypeParams	Too many positional type arguments, in an explicit type instantiation
CannotMixPositionalAndNamedTypeParams
AmbiguousType [QName]

Instances

Show Error
PP Error
TVars Error
FVS Error
PP (WithNames Error)

data ConstraintSource Source

Information about how a constraint came to be, used in error reporting.

Constructors

CtComprehension	Computing shape of list comprehension
CtSplitPat	Use of a split pattern
CtTypeSig	A type signature in a pattern or expression
CtInst Expr	Instantiation of this expreesion
CtSelector
CtExactType
CtEnumeration
CtDefaulting	Just defaulting on the command line
CtPartialTypeFun TyFunName	Use of a partial type function.

Instances

Show ConstraintSource
PP ConstraintSource
TVars ConstraintSource

data TyFunName Source

Constructors

UserTyFun QName
BuiltInTyFun TFun

Instances

Show TyFunName
PP TyFunName

cppKind :: Kind -> Doc Source

For use in error messages

addTVarsDescs :: FVS t => NameMap -> t -> Doc -> Doc Source

ppUse :: Expr -> Doc Source