Language.PureScript.CST.Errors

Documentation

data ParserErrorInfo a

Constructors

ParserErrorInfo

Fields

• errRange :: SourceRange
• errToks :: [SourceToken]
• errStack :: LayoutStack
• errType :: a

Instances

Generic (ParserErrorInfo a)

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)

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)

Defined in Language.PureScript.CST.Errors

Methods

rnf :: ParserErrorInfo a -> ()

Eq a => Eq (ParserErrorInfo a)

Defined in Language.PureScript.CST.Errors

Methods

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

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

type Rep (ParserErrorInfo a)

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

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

Generic ParserErrorType

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

Defined in Language.PureScript.CST.Errors

Methods

showsPrec :: Int -> ParserErrorType -> ShowS

show :: ParserErrorType -> String

showList :: [ParserErrorType] -> ShowS

NFData ParserErrorType

Defined in Language.PureScript.CST.Errors

Methods

rnf :: ParserErrorType -> ()

Eq ParserErrorType

Defined in Language.PureScript.CST.Errors

Methods

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

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

Ord ParserErrorType

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

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

Constructors

WarnDeprecatedRowSyntax

WarnDeprecatedForeignKindSyntax

WarnDeprecatedKindImportSyntax

WarnDeprecatedKindExportSyntax

WarnDeprecatedCaseOfOffsideSyntax

Instances

Generic ParserWarningType

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

Defined in Language.PureScript.CST.Errors

Methods

showsPrec :: Int -> ParserWarningType -> ShowS

show :: ParserWarningType -> String

showList :: [ParserWarningType] -> ShowS

NFData ParserWarningType

Defined in Language.PureScript.CST.Errors

Methods

rnf :: ParserWarningType -> ()

Eq ParserWarningType

Defined in Language.PureScript.CST.Errors

Methods

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

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

Ord ParserWarningType

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

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

type ParserWarning = ParserErrorInfo ParserWarningType

prettyPrintError :: ParserError -> String

prettyPrintErrorMessage :: ParserError -> String

prettyPrintWarningMessage :: ParserWarning -> String