Safe Haskell | None |
---|
Documentation
type TypeErrors = [TypeError]Source
TypeError [Range] [MessageLine] [(Bool, MessageBlock, MessageBlock)] [TypeErrorHint] |
type TypeErrorHint = (String, MessageBlock)Source
makeNotGeneralEnoughTypeError :: Bool -> Range -> UHA_Source -> TpScheme -> TpScheme -> TypeErrorSource
makeMissingConstraintTypeError :: Range -> Maybe UHA_Source -> TpScheme -> (Bool, Predicate) -> UHA_Source -> TypeErrorSource
makeUnresolvedOverloadingError :: UHA_Source -> String -> (TpScheme, TpScheme) -> TypeErrorSource
makeReductionError :: UHA_Source -> Either (TpScheme, Tp) (String, Maybe Tp) -> ClassEnvironment -> Predicate -> TypeErrorSource