Safe Haskell	None
Language	Haskell2010

Distribution.Parsec.Common

Contents

Diagnostics
Position

Description

Module containing small types

Synopsis

data PError = PError Position String
showPError :: FilePath -> PError -> String
data PWarning = PWarning !PWarnType !Position String
data PWarnType
- = PWTOther
- | PWTUTF
- | PWTBoolCase
- | PWTVersionTag
- | PWTNewSyntax
- | PWTOldSyntax
- | PWTDeprecatedField
- | PWTInvalidSubsection
- | PWTUnknownField
- | PWTUnknownSection
- | PWTTrailingFields
- | PWTExtraMainIs
- | PWTExtraTestModule
- | PWTExtraBenchmarkModule
- | PWTLexNBSP
- | PWTLexBOM
- | PWTLexTab
- | PWTQuirkyCabalFile
- | PWTDoubleDash
- | PWTMultipleSingularField
- | PWTBuildTypeDefault
- | PWTVersionLeadingZeros
showPWarning :: FilePath -> PWarning -> String
data Position = Position !Int !Int
incPos :: Int -> Position -> Position
retPos :: Position -> Position
showPos :: Position -> String
zeroPos :: Position

Diagnostics

data PError #

Parser error.

Constructors

PError Position String

Instances

Show PError #
Instance details Methods showsPrec :: Int -> PError -> ShowS # show :: PError -> String # showList :: [PError] -> ShowS #
Generic PError #
Instance details Associated Types type Rep PError :: * -> * # Methods from :: PError -> Rep PError x # to :: Rep PError x -> PError #
Binary PError #
Instance details Methods put :: PError -> Put # get :: Get PError # putList :: [PError] -> Put #
NFData PError #
Instance details Methods rnf :: PError -> () #
type Rep PError #
Instance details type Rep PError = D1 (MetaData "PError" "Distribution.Parsec.Common" "Cabal-2.2.0.1-JS0vobxWxH7sbYKd0omMO" False) (C1 (MetaCons "PError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Position) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

showPError :: FilePath -> PError -> String #

data PWarning #

Parser warning.

Constructors

PWarning !PWarnType !Position String

Instances

Show PWarning #
Instance details Methods showsPrec :: Int -> PWarning -> ShowS # show :: PWarning -> String # showList :: [PWarning] -> ShowS #
Generic PWarning #
Instance details Associated Types type Rep PWarning :: * -> * # Methods from :: PWarning -> Rep PWarning x # to :: Rep PWarning x -> PWarning #
Binary PWarning #
Instance details Methods put :: PWarning -> Put # get :: Get PWarning # putList :: [PWarning] -> Put #
NFData PWarning #
Instance details Methods rnf :: PWarning -> () #
type Rep PWarning #
Instance details type Rep PWarning = D1 (MetaData "PWarning" "Distribution.Parsec.Common" "Cabal-2.2.0.1-JS0vobxWxH7sbYKd0omMO" False) (C1 (MetaCons "PWarning" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 PWarnType) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Position) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))

data PWarnType #

Type of parser warning. We do classify warnings.

Different application may decide not to show some, or have fatal behaviour on others

Constructors

PWTOther	Unclassified warning
PWTUTF	Invalid UTF encoding
PWTBoolCase	`true` or `false`, not `True` or `False`
PWTVersionTag	there are version with tags
PWTNewSyntax	New syntax used, but no `cabal-version: >= 1.2` specified
PWTOldSyntax	Old syntax used, and `cabal-version >= 1.2` specified
PWTDeprecatedField
PWTInvalidSubsection
PWTUnknownField
PWTUnknownSection
PWTTrailingFields
PWTExtraMainIs	extra main-is field
PWTExtraTestModule	extra test-module field
PWTExtraBenchmarkModule	extra benchmark-module field
PWTLexNBSP
PWTLexBOM
PWTLexTab
PWTQuirkyCabalFile	legacy cabal file that we know how to patch
PWTDoubleDash	Double dash token, most likely it's a mistake - it's not a comment
PWTMultipleSingularField	e.g. name or version should be specified only once.
PWTBuildTypeDefault	Workaround for derive-package having build-type: Default. See https://github.com/haskell/cabal/issues/5020.
PWTVersionLeadingZeros	See https://github.com/haskell-infra/hackage-trustees/issues/128

Instances

Bounded PWarnType #
Instance details Methods minBound :: PWarnType # maxBound :: PWarnType #
Enum PWarnType #
Instance details Methods succ :: PWarnType -> PWarnType # pred :: PWarnType -> PWarnType # toEnum :: Int -> PWarnType # fromEnum :: PWarnType -> Int # enumFrom :: PWarnType -> [PWarnType] # enumFromThen :: PWarnType -> PWarnType -> [PWarnType] # enumFromTo :: PWarnType -> PWarnType -> [PWarnType] # enumFromThenTo :: PWarnType -> PWarnType -> PWarnType -> [PWarnType] #
Eq PWarnType #
Instance details Methods (==) :: PWarnType -> PWarnType -> Bool # (/=) :: PWarnType -> PWarnType -> Bool #
Ord PWarnType #
Instance details Methods compare :: PWarnType -> PWarnType -> Ordering # (<) :: PWarnType -> PWarnType -> Bool # (<=) :: PWarnType -> PWarnType -> Bool # (>) :: PWarnType -> PWarnType -> Bool # (>=) :: PWarnType -> PWarnType -> Bool # max :: PWarnType -> PWarnType -> PWarnType # min :: PWarnType -> PWarnType -> PWarnType #
Show PWarnType #
Instance details Methods showsPrec :: Int -> PWarnType -> ShowS # show :: PWarnType -> String # showList :: [PWarnType] -> ShowS #
Generic PWarnType #
Instance details Associated Types type Rep PWarnType :: * -> * # Methods from :: PWarnType -> Rep PWarnType x # to :: Rep PWarnType x -> PWarnType #
Binary PWarnType #
Instance details Methods put :: PWarnType -> Put # get :: Get PWarnType # putList :: [PWarnType] -> Put #
NFData PWarnType #
Instance details Methods rnf :: PWarnType -> () #
type Rep PWarnType #
Instance details type Rep PWarnType = D1 (MetaData "PWarnType" "Distribution.Parsec.Common" "Cabal-2.2.0.1-JS0vobxWxH7sbYKd0omMO" False) ((((C1 (MetaCons "PWTOther" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "PWTUTF" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "PWTBoolCase" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "PWTVersionTag" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "PWTNewSyntax" PrefixI False) (U1 :: -> )))) :+: ((C1 (MetaCons "PWTOldSyntax" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "PWTDeprecatedField" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "PWTInvalidSubsection" PrefixI False) (U1 :: -> ))) :+: (C1 (MetaCons "PWTUnknownField" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "PWTUnknownSection" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "PWTTrailingFields" PrefixI False) (U1 :: -> ))))) :+: (((C1 (MetaCons "PWTExtraMainIs" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "PWTExtraTestModule" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "PWTExtraBenchmarkModule" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "PWTLexNBSP" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "PWTLexBOM" PrefixI False) (U1 :: -> )))) :+: ((C1 (MetaCons "PWTLexTab" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "PWTQuirkyCabalFile" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "PWTDoubleDash" PrefixI False) (U1 :: -> ))) :+: (C1 (MetaCons "PWTMultipleSingularField" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "PWTBuildTypeDefault" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "PWTVersionLeadingZeros" PrefixI False) (U1 :: -> *))))))

showPWarning :: FilePath -> PWarning -> String #

Position

data Position #

1-indexed row and column positions in a file.

Constructors

Position !Int !Int

Instances

Eq Position #
Instance details Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Ord Position #
Instance details Methods compare :: Position -> Position -> Ordering # (<) :: Position -> Position -> Bool # (<=) :: Position -> Position -> Bool # (>) :: Position -> Position -> Bool # (>=) :: Position -> Position -> Bool # max :: Position -> Position -> Position # min :: Position -> Position -> Position #
Show Position #
Instance details Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
Generic Position #
Instance details Associated Types type Rep Position :: * -> * # Methods from :: Position -> Rep Position x # to :: Rep Position x -> Position #
Binary Position #
Instance details Methods put :: Position -> Put # get :: Get Position # putList :: [Position] -> Put #
NFData Position #
Instance details Methods rnf :: Position -> () #
type Rep Position #
Instance details type Rep Position = D1 (MetaData "Position" "Distribution.Parsec.Common" "Cabal-2.2.0.1-JS0vobxWxH7sbYKd0omMO" False) (C1 (MetaCons "Position" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int)))

incPos :: Int -> Position -> Position #

Shift position by n columns to the right.

retPos :: Position -> Position #

Shift position to beginning of next row.

showPos :: Position -> String #

zeroPos :: Position #