purescript-0.15.15: PureScript Programming Language Compiler

Safe Haskell | None
Language | Haskell2010

Language.PureScript.CST.Errors

# Documentation

data ParserErrorInfo a #

Constructors

ParserErrorInfo |
Fields errRange :: SourceRange errToks :: [SourceToken] errStack :: LayoutStack errType :: a

#### Instances

Instances details

NFData a => NFData (ParserErrorInfo a) # |
Instance details Defined in Language.PureScript.CST.Errors Methods rnf :: ParserErrorInfo a -> () #
Generic (ParserErrorInfo a) # |
Instance details Defined in Language.PureScript.CST.Errors Associated Types
type Rep (ParserErrorInfo a) |
Instance details Defined in Language.PureScript.CST.Errors type Rep (ParserErrorInfo a) = D1 ('MetaData "ParserErrorInfo" "Language.PureScript.CST.Errors" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "ParserErrorInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "errRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceRange) :*: S1 ('MetaSel ('Just "errToks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SourceToken])) :*: (S1 ('MetaSel ('Just "errStack") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LayoutStack) :*: S1 ('MetaSel ('Just "errType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))
Methods from :: ParserErrorInfo a -> Rep (ParserErrorInfo a) x # to :: Rep (ParserErrorInfo a) x -> ParserErrorInfo a #
Show a => Show (ParserErrorInfo a) # |
Instance details Defined in Language.PureScript.CST.Errors Methods showsPrec :: Int -> ParserErrorInfo a -> ShowS # show :: ParserErrorInfo a -> String # showList :: [ParserErrorInfo a] -> ShowS #
Eq a => Eq (ParserErrorInfo a) # |
Instance details Defined in Language.PureScript.CST.Errors Methods (==) :: ParserErrorInfo a -> ParserErrorInfo a -> Bool # (/=) :: ParserErrorInfo a -> ParserErrorInfo a -> Bool #
type Rep (ParserErrorInfo a) # |
Instance details Defined in Language.PureScript.CST.Errors type Rep (ParserErrorInfo a) = D1 ('MetaData "ParserErrorInfo" "Language.PureScript.CST.Errors" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "ParserErrorInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "errRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceRange) :*: S1 ('MetaSel ('Just "errToks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SourceToken])) :*: (S1 ('MetaSel ('Just "errStack") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LayoutStack) :*: S1 ('MetaSel ('Just "errType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

data ParserErrorType #

Constructors

ErrWildcardInType |
ErrConstraintInKind |
ErrHoleInType |
ErrExprInBinder |
ErrExprInDeclOrBinder |
ErrExprInDecl |
ErrBinderInDecl |
ErrRecordUpdateInCtr |
ErrRecordPunInUpdate |
ErrRecordCtrInUpdate |
ErrTypeInConstraint |
ErrElseInDecl |
ErrInstanceNameMismatch |
ErrUnknownFundep |
ErrImportInDecl |
ErrGuardInLetBinder |
ErrKeywordVar |
ErrKeywordSymbol |
ErrQuotedPun |
ErrToken |
ErrLineFeedInString |
ErrAstralCodePointInChar |
ErrCharEscape |
ErrNumberOutOfRange |
ErrLeadingZero |
ErrExpectedFraction |
ErrExpectedExponent |
ErrExpectedHex |
ErrReservedSymbol |
ErrCharInGap Char |
ErrModuleName |
ErrQualifiedName |
ErrEmptyDo |
ErrLexeme (Maybe String) [String] |
ErrConstraintInForeignImportSyntax |
ErrEof |
ErrCustom String |

#### Instances

Instances details

NFData ParserErrorType # |
Instance details Defined in Language.PureScript.CST.Errors Methods rnf :: ParserErrorType -> () #
Generic ParserErrorType # |
Instance details Defined in Language.PureScript.CST.Errors Associated Types
type Rep ParserErrorType |
Instance details Defined in Language.PureScript.CST.Errors type Rep ParserErrorType = D1 ('MetaData "ParserErrorType" "Language.PureScript.CST.Errors" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (((((C1 ('MetaCons "ErrWildcardInType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrConstraintInKind" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrHoleInType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrExprInBinder" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ErrExprInDeclOrBinder" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrExprInDecl" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrBinderInDecl" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ErrRecordUpdateInCtr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrRecordPunInUpdate" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "ErrRecordCtrInUpdate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrTypeInConstraint" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrElseInDecl" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrInstanceNameMismatch" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ErrUnknownFundep" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrImportInDecl" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrGuardInLetBinder" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ErrKeywordVar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrKeywordSymbol" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "ErrQuotedPun" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrToken" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrLineFeedInString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrAstralCodePointInChar" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ErrCharEscape" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrNumberOutOfRange" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrLeadingZero" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ErrExpectedFraction" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrExpectedExponent" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "ErrExpectedHex" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrReservedSymbol" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrCharInGap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char)) :+: (C1 ('MetaCons "ErrModuleName" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrQualifiedName" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ErrEmptyDo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrLexeme" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String]))) :+: (C1 ('MetaCons "ErrConstraintInForeignImportSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ErrEof" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrCustom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))))))
Methods from :: ParserErrorType -> Rep ParserErrorType x # to :: Rep ParserErrorType x -> ParserErrorType #
Show ParserErrorType # |
Instance details Defined in Language.PureScript.CST.Errors Methods showsPrec :: Int -> ParserErrorType -> ShowS # show :: ParserErrorType -> String # showList :: [ParserErrorType] -> ShowS #
Eq ParserErrorType # |
Instance details Defined in Language.PureScript.CST.Errors Methods (==) :: ParserErrorType -> ParserErrorType -> Bool # (/=) :: ParserErrorType -> ParserErrorType -> Bool #
Ord ParserErrorType # |
Instance details Defined in Language.PureScript.CST.Errors Methods compare :: ParserErrorType -> ParserErrorType -> Ordering # (<) :: ParserErrorType -> ParserErrorType -> Bool # (<=) :: ParserErrorType -> ParserErrorType -> Bool # (>) :: ParserErrorType -> ParserErrorType -> Bool # (>=) :: ParserErrorType -> ParserErrorType -> Bool # max :: ParserErrorType -> ParserErrorType -> ParserErrorType # min :: ParserErrorType -> ParserErrorType -> ParserErrorType #
type Rep ParserErrorType # |
Instance details Defined in Language.PureScript.CST.Errors type Rep ParserErrorType = D1 ('MetaData "ParserErrorType" "Language.PureScript.CST.Errors" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (((((C1 ('MetaCons "ErrWildcardInType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrConstraintInKind" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrHoleInType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrExprInBinder" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ErrExprInDeclOrBinder" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrExprInDecl" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrBinderInDecl" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ErrRecordUpdateInCtr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrRecordPunInUpdate" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "ErrRecordCtrInUpdate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrTypeInConstraint" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrElseInDecl" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrInstanceNameMismatch" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ErrUnknownFundep" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrImportInDecl" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrGuardInLetBinder" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ErrKeywordVar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrKeywordSymbol" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "ErrQuotedPun" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrToken" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrLineFeedInString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrAstralCodePointInChar" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ErrCharEscape" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrNumberOutOfRange" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrLeadingZero" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ErrExpectedFraction" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrExpectedExponent" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "ErrExpectedHex" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrReservedSymbol" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrCharInGap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char)) :+: (C1 ('MetaCons "ErrModuleName" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrQualifiedName" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ErrEmptyDo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrLexeme" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String]))) :+: (C1 ('MetaCons "ErrConstraintInForeignImportSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ErrEof" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrCustom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))))))

data ParserWarningType #

Constructors

WarnDeprecatedRowSyntax |
WarnDeprecatedForeignKindSyntax |
WarnDeprecatedKindImportSyntax |
WarnDeprecatedKindExportSyntax |
WarnDeprecatedCaseOfOffsideSyntax |

#### Instances

Instances details

NFData ParserWarningType # |
Instance details Defined in Language.PureScript.CST.Errors Methods rnf :: ParserWarningType -> () #
Generic ParserWarningType # |
Instance details Defined in Language.PureScript.CST.Errors Associated Types
type Rep ParserWarningType |
Instance details Defined in Language.PureScript.CST.Errors type Rep ParserWarningType = D1 ('MetaData "ParserWarningType" "Language.PureScript.CST.Errors" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) ((C1 ('MetaCons "WarnDeprecatedRowSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WarnDeprecatedForeignKindSyntax" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "WarnDeprecatedKindImportSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "WarnDeprecatedKindExportSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WarnDeprecatedCaseOfOffsideSyntax" 'PrefixI 'False) (U1 :: Type -> Type))))
Methods from :: ParserWarningType -> Rep ParserWarningType x # to :: Rep ParserWarningType x -> ParserWarningType #
Show ParserWarningType # |
Instance details Defined in Language.PureScript.CST.Errors Methods showsPrec :: Int -> ParserWarningType -> ShowS # show :: ParserWarningType -> String # showList :: [ParserWarningType] -> ShowS #
Eq ParserWarningType # |
Instance details Defined in Language.PureScript.CST.Errors Methods (==) :: ParserWarningType -> ParserWarningType -> Bool # (/=) :: ParserWarningType -> ParserWarningType -> Bool #
Ord ParserWarningType # |
Instance details Defined in Language.PureScript.CST.Errors Methods compare :: ParserWarningType -> ParserWarningType -> Ordering # (<) :: ParserWarningType -> ParserWarningType -> Bool # (<=) :: ParserWarningType -> ParserWarningType -> Bool # (>) :: ParserWarningType -> ParserWarningType -> Bool # (>=) :: ParserWarningType -> ParserWarningType -> Bool # max :: ParserWarningType -> ParserWarningType -> ParserWarningType # min :: ParserWarningType -> ParserWarningType -> ParserWarningType #
type Rep ParserWarningType # |
Instance details Defined in Language.PureScript.CST.Errors type Rep ParserWarningType = D1 ('MetaData "ParserWarningType" "Language.PureScript.CST.Errors" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) ((C1 ('MetaCons "WarnDeprecatedRowSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WarnDeprecatedForeignKindSyntax" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "WarnDeprecatedKindImportSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "WarnDeprecatedKindExportSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WarnDeprecatedCaseOfOffsideSyntax" 'PrefixI 'False) (U1 :: Type -> Type))))

type ParserError = ParserErrorInfo ParserErrorType #

type ParserWarning = ParserErrorInfo ParserWarningType #

prettyPrintError :: ParserError -> String #

prettyPrintErrorMessage :: ParserError -> String #

prettyPrintWarningMessage :: ParserWarning -> String #