purescript-0.15.14: PureScript Programming Language Compiler
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.PureScript.CST.Errors

Documentation

data ParserErrorInfo a Source #

Constructors

ParserErrorInfo 

Fields

Instances

Instances details
Generic (ParserErrorInfo a) Source # 
Instance details

Defined in Language.PureScript.CST.Errors

Associated Types

type Rep (ParserErrorInfo a) :: Type -> Type #

Methods

from :: ParserErrorInfo a -> Rep (ParserErrorInfo a) x #

to :: Rep (ParserErrorInfo a) x -> ParserErrorInfo a #

Show a => Show (ParserErrorInfo a) Source # 
Instance details

Defined in Language.PureScript.CST.Errors

Methods

showsPrec :: Int -> ParserErrorInfo a -> ShowS #

show :: ParserErrorInfo a -> String #

showList :: [ParserErrorInfo a] -> ShowS #

NFData a => NFData (ParserErrorInfo a) Source # 
Instance details

Defined in Language.PureScript.CST.Errors

Methods

rnf :: ParserErrorInfo a -> () #

Eq a => Eq (ParserErrorInfo a) Source # 
Instance details

Defined in Language.PureScript.CST.Errors

Methods

(==) :: ParserErrorInfo a -> ParserErrorInfo a -> Bool #

(/=) :: ParserErrorInfo a -> ParserErrorInfo a -> Bool #

type Rep (ParserErrorInfo a) Source # 
Instance details

Defined in Language.PureScript.CST.Errors

type Rep (ParserErrorInfo a) = D1 ('MetaData "ParserErrorInfo" "Language.PureScript.CST.Errors" "purescript-0.15.14-JcflwnDm1Hv5HxS5CV5TJ2" '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 Source #

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
Generic ParserErrorType Source # 
Instance details

Defined in Language.PureScript.CST.Errors

Associated Types

type Rep ParserErrorType :: Type -> Type #

Methods

from :: ParserErrorType -> Rep ParserErrorType x #

to :: Rep ParserErrorType x -> ParserErrorType #

Show ParserErrorType Source # 
Instance details

Defined in Language.PureScript.CST.Errors

Methods

showsPrec :: Int -> ParserErrorType -> ShowS #

show :: ParserErrorType -> String #

showList :: [ParserErrorType] -> ShowS #

NFData ParserErrorType Source # 
Instance details

Defined in Language.PureScript.CST.Errors

Methods

rnf :: ParserErrorType -> () #

Eq ParserErrorType Source # 
Instance details

Defined in Language.PureScript.CST.Errors

Methods

(==) :: ParserErrorType -> ParserErrorType -> Bool #

(/=) :: ParserErrorType -> ParserErrorType -> Bool #

Ord ParserErrorType Source # 
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 Source # 
Instance details

Defined in Language.PureScript.CST.Errors

type Rep ParserErrorType = D1 ('MetaData "ParserErrorType" "Language.PureScript.CST.Errors" "purescript-0.15.14-JcflwnDm1Hv5HxS5CV5TJ2" '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 Source #

Constructors

WarnDeprecatedRowSyntax 
WarnDeprecatedForeignKindSyntax 
WarnDeprecatedKindImportSyntax 
WarnDeprecatedKindExportSyntax 
WarnDeprecatedCaseOfOffsideSyntax 

Instances

Instances details
Generic ParserWarningType Source # 
Instance details

Defined in Language.PureScript.CST.Errors

Associated Types

type Rep ParserWarningType :: Type -> Type #

Methods

from :: ParserWarningType -> Rep ParserWarningType x #

to :: Rep ParserWarningType x -> ParserWarningType #

Show ParserWarningType Source # 
Instance details

Defined in Language.PureScript.CST.Errors

Methods

showsPrec :: Int -> ParserWarningType -> ShowS #

show :: ParserWarningType -> String #

showList :: [ParserWarningType] -> ShowS #

NFData ParserWarningType Source # 
Instance details

Defined in Language.PureScript.CST.Errors

Methods

rnf :: ParserWarningType -> () #

Eq ParserWarningType Source # 
Instance details

Defined in Language.PureScript.CST.Errors

Methods

(==) :: ParserWarningType -> ParserWarningType -> Bool #

(/=) :: ParserWarningType -> ParserWarningType -> Bool #

Ord ParserWarningType Source # 
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 Source # 
Instance details

Defined in Language.PureScript.CST.Errors

type Rep ParserWarningType = D1 ('MetaData "ParserWarningType" "Language.PureScript.CST.Errors" "purescript-0.15.14-JcflwnDm1Hv5HxS5CV5TJ2" '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 Source #

type ParserWarning = ParserErrorInfo ParserWarningType Source #

prettyPrintError :: ParserError -> String Source #

prettyPrintErrorMessage :: ParserError -> String Source #

prettyPrintWarningMessage :: ParserWarning -> String Source #