Language.PureScript.Errors

Documentation

data SimpleErrorMessage

A type of error messages

Constructors

ErrorParsingFFIModule FilePath

ErrorParsingModule ParseError

MissingFFIModule ModuleName

MultipleFFIModules ModuleName [FilePath]

UnnecessaryFFIModule ModuleName FilePath

CannotGetFileInfo FilePath

CannotReadFile FilePath

CannotWriteFile FilePath

InfiniteType Type

InfiniteKind Kind

MultipleFixities Ident

OrphanTypeDeclaration Ident

OrphanFixityDeclaration String

RedefinedModule ModuleName [SourceSpan]

RedefinedIdent Ident

OverlappingNamesInLet

UnknownModule ModuleName

UnknownType (Qualified (ProperName TypeName))

UnknownTypeClass (Qualified (ProperName ClassName))

UnknownValue (Qualified Ident)

UnknownDataConstructor (Qualified (ProperName ConstructorName)) (Maybe (Qualified (ProperName ConstructorName)))

UnknownTypeConstructor (Qualified (ProperName TypeName))

UnknownImportType ModuleName (ProperName TypeName)

UnknownExportType (ProperName TypeName)

UnknownImportTypeClass ModuleName (ProperName ClassName)

UnknownExportTypeClass (ProperName ClassName)

UnknownImportValue ModuleName Ident

UnknownExportValue Ident

UnknownExportModule ModuleName

UnknownImportDataConstructor ModuleName (ProperName TypeName) (ProperName ConstructorName)

UnknownExportDataConstructor (ProperName TypeName) (ProperName ConstructorName)

ScopeConflict String [ModuleName]

ScopeShadowing String (Maybe ModuleName) [ModuleName]

ConflictingTypeDecls (ProperName TypeName)

ConflictingCtorDecls (ProperName ConstructorName)

TypeConflictsWithClass (ProperName TypeName)

CtorConflictsWithClass (ProperName ConstructorName)

ClassConflictsWithType (ProperName ClassName)

ClassConflictsWithCtor (ProperName ClassName)

DuplicateModuleName ModuleName

DuplicateClassExport (ProperName ClassName)

DuplicateValueExport Ident

DuplicateTypeArgument String

InvalidDoBind

InvalidDoLet

CycleInDeclaration Ident

CycleInTypeSynonym (Maybe (ProperName TypeName))

CycleInModules [ModuleName]

NameIsUndefined Ident

UndefinedTypeVariable (ProperName TypeName)

PartiallyAppliedSynonym (Qualified (ProperName TypeName))

EscapedSkolem (Maybe Expr)

TypesDoNotUnify Type Type

KindsDoNotUnify Kind Kind

ConstrainedTypeUnified Type Type

OverlappingInstances (Qualified (ProperName ClassName)) [Type] [Qualified Ident]

NoInstanceFound (Qualified (ProperName ClassName)) [Type]

PossiblyInfiniteInstance (Qualified (ProperName ClassName)) [Type]

CannotDerive (Qualified (ProperName ClassName)) [Type]

CannotFindDerivingType (ProperName TypeName)

DuplicateLabel String (Maybe Expr)

DuplicateValueDeclaration Ident

ArgListLengthsDiffer Ident

OverlappingArgNames (Maybe Ident)

MissingClassMember Ident

ExtraneousClassMember Ident (Qualified (ProperName ClassName))

ExpectedType Type Kind

IncorrectConstructorArity (Qualified (ProperName ConstructorName))

ExprDoesNotHaveType Expr Type

PropertyIsMissing String

AdditionalProperty String

CannotApplyFunction Type Expr

TypeSynonymInstance

OrphanInstance Ident (Qualified (ProperName ClassName)) [Type]

InvalidNewtype (ProperName TypeName)

InvalidInstanceHead Type

TransitiveExportError DeclarationRef [DeclarationRef]

TransitiveDctorExportError DeclarationRef (ProperName ConstructorName)

ShadowedName Ident

ShadowedTypeVar String

UnusedTypeVar String

WildcardInferredType Type

MissingTypeDeclaration Ident Type

NotExhaustivePattern [[Binder]] Bool

OverlappingPattern [[Binder]] Bool

IncompleteExhaustivityCheck

ClassOperator (ProperName ClassName) Ident

MisleadingEmptyTypeImport ModuleName (ProperName TypeName)

ImportHidingModule ModuleName

UnusedImport ModuleName

UnusedExplicitImport ModuleName [String] (Maybe ModuleName) [DeclarationRef]

UnusedDctorImport (ProperName TypeName)

UnusedDctorExplicitImport (ProperName TypeName) [ProperName ConstructorName]

DeprecatedOperatorDecl String

DeprecatedOperatorSection Expr (Either Expr Expr)

DeprecatedQualifiedSyntax ModuleName ModuleName

DeprecatedClassImport ModuleName (ProperName ClassName)

DeprecatedClassExport (ProperName ClassName)

RedundantUnqualifiedImport ModuleName ImportDeclarationType

DuplicateSelectiveImport ModuleName

DuplicateImport ModuleName ImportDeclarationType (Maybe ModuleName)

DuplicateImportRef String

DuplicateExportRef String

IntOutOfRange Integer String Integer Integer

RedundantEmptyHidingImport ModuleName

ImplicitQualifiedImport ModuleName ModuleName [DeclarationRef]

ImplicitImport ModuleName [DeclarationRef]

HidingImport ModuleName [DeclarationRef]

CaseBinderLengthDiffers Int [Binder]

IncorrectAnonymousArgument

InvalidOperatorInBinder Ident Ident

Instances

Show SimpleErrorMessage

data ErrorMessageHint

Error message hints, providing more detailed information about failure.

Constructors

ErrorUnifyingTypes Type Type

ErrorInExpression Expr

ErrorInModule ModuleName

ErrorInInstance (Qualified (ProperName ClassName)) [Type]

ErrorInSubsumption Type Type

ErrorCheckingAccessor Expr String

ErrorCheckingType Expr Type

ErrorCheckingKind Type

ErrorCheckingGuard

ErrorInferringType Expr

ErrorInApplication Expr Type Expr

ErrorInDataConstructor (ProperName ConstructorName)

ErrorInTypeConstructor (ProperName TypeName)

ErrorInBindingGroup [Ident]

ErrorInDataBindingGroup

ErrorInTypeSynonym (ProperName TypeName)

ErrorInValueDeclaration Ident

ErrorInTypeDeclaration Ident

ErrorInForeignImport Ident

PositionedError SourceSpan

Instances

Show ErrorMessageHint

data HintCategory

Categories of hints

Constructors

ExprHint

KindHint

CheckHint

PositionHint

OtherHint

Instances

Eq HintCategory

Show HintCategory

data ErrorMessage

Constructors

ErrorMessage [ErrorMessageHint] SimpleErrorMessage

Instances

Show ErrorMessage

newtype ErrorSuggestion

Constructors

ErrorSuggestion String

errorSpan :: ErrorMessage -> Maybe SourceSpan

Get the source span for an error

errorModule :: ErrorMessage -> Maybe ModuleName

Get the module name for an error

findHint :: (ErrorMessageHint -> Maybe a) -> ErrorMessage -> Maybe a

stripModuleAndSpan :: ErrorMessage -> ErrorMessage

Remove the module name and span hints from an error

errorCode :: ErrorMessage -> String

Get the error code for a particular error type

newtype MultipleErrors

A stack trace for an error

Constructors

MultipleErrors

Fields

runMultipleErrors :: [ErrorMessage]

Instances

Show MultipleErrors

Monoid MultipleErrors

MonadError MultipleErrors Make

MonadWriter MultipleErrors Make

nonEmpty :: MultipleErrors -> Bool

Check whether a collection of errors is empty or not.

errorMessage :: SimpleErrorMessage -> MultipleErrors

Create an error set from a single simple error message

singleError :: ErrorMessage -> MultipleErrors

Create an error set from a single error message

onErrorMessages :: (ErrorMessage -> ErrorMessage) -> MultipleErrors -> MultipleErrors

Lift a function on ErrorMessage to a function on MultipleErrors

addHint :: ErrorMessageHint -> MultipleErrors -> MultipleErrors

Add a hint to an error message

data TypeMap

A map from rigid type variable name/unknown variable pairs to new variables.

Constructors

TypeMap

Fields

umSkolemMap :: Map Int (String, Int, Maybe SourceSpan)

umNextSkolem :: Int

umUnknownMap :: Map Int Int

umNextUnknown :: Int

Instances

Show TypeMap

defaultUnknownMap :: TypeMap

data Level

How critical the issue is

Constructors

Error

Warning

Instances

Show Level

unwrapErrorMessage :: ErrorMessage -> SimpleErrorMessage

Extract nested error messages from wrapper errors

replaceUnknowns :: Type -> State TypeMap Type

onTypesInErrorMessageM :: Applicative m => (Type -> m Type) -> ErrorMessage -> m ErrorMessage

wikiUri :: ErrorMessage -> String

errorSuggestion :: SimpleErrorMessage -> Maybe ErrorSuggestion

showSuggestion :: SimpleErrorMessage -> String

prettyPrintSingleError :: Bool -> Level -> Bool -> ErrorMessage -> Box

Pretty print a single error, simplifying if necessary

prettyPrintExport :: DeclarationRef -> String

prettyPrintImport :: ModuleName -> ImportDeclarationType -> Maybe ModuleName -> String

prettyPrintRef :: DeclarationRef -> String

prettyPrintMultipleErrors :: Bool -> MultipleErrors -> String

Pretty print multiple errors

prettyPrintMultipleWarnings :: Bool -> MultipleErrors -> String

Pretty print multiple warnings

prettyPrintMultipleWarningsBox :: Bool -> MultipleErrors -> Box

Pretty print warnings as a Box

prettyPrintMultipleErrorsBox :: Bool -> MultipleErrors -> Box

Pretty print errors as a Box

prettyPrintMultipleErrorsWith :: Level -> String -> String -> Bool -> MultipleErrors -> Box

prettyPrintParseError :: ParseError -> Box

Pretty print a Parsec ParseError as a Box

prettyPrintParseErrorMessages :: String -> String -> String -> String -> String -> [Message] -> Box

Pretty print ParseError detail messages.

Adapted from showErrorMessages, see https://github.com/aslatter/parsec/blob/v3.1.9/Text/Parsec/Error.hs#L173.

indent :: Box -> Box

Indent to the right, and pad on top and bottom.

line :: String -> Box

renderBox :: Box -> String

rethrow :: MonadError e m => (e -> e) -> m a -> m a

Rethrow an error with a more detailed error message in the case of failure

reifyErrors :: (Functor m, MonadError e m) => m a -> m (Either e a)

reflectErrors :: MonadError e m => m (Either e a) -> m a

warnAndRethrow :: (MonadError e m, MonadWriter e m) => (e -> e) -> m a -> m a

rethrowWithPosition :: MonadError MultipleErrors m => SourceSpan -> m a -> m a

Rethrow an error with source position information

warnWithPosition :: MonadWriter MultipleErrors m => SourceSpan -> m a -> m a

warnAndRethrowWithPosition :: (MonadError MultipleErrors m, MonadWriter MultipleErrors m) => SourceSpan -> m a -> m a

withPosition :: SourceSpan -> ErrorMessage -> ErrorMessage

parU :: (MonadError MultipleErrors m, Functor m) => [a] -> (a -> m b) -> m [b]

Collect errors in in parallel