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 Source #

Parser error.

Constructors

PError Position String

Instances

Show PError Source #
Instance details Methods showsPrec :: Int -> PError -> ShowS # show :: PError -> String # showList :: [PError] -> ShowS #
Generic PError Source #
Instance details Associated Types type Rep PError :: * -> * # Methods from :: PError -> Rep PError x # to :: Rep PError x -> PError #
Binary PError Source #
Instance details Methods put :: PError -> Put # get :: Get PError # putList :: [PError] -> Put #
NFData PError Source #
Instance details Methods rnf :: PError -> () #
type Rep PError Source #
Instance details type Rep PError = D1 (MetaData "PError" "Distribution.Parsec.Common" "Cabal-2.2.0.0-inplace" 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 Source #

data PWarning Source #

Parser warning.

Constructors

PWarning !PWarnType !Position String

Instances

Show PWarning Source #
Instance details Methods showsPrec :: Int -> PWarning -> ShowS # show :: PWarning -> String # showList :: [PWarning] -> ShowS #
Generic PWarning Source #
Instance details Associated Types type Rep PWarning :: * -> * # Methods from :: PWarning -> Rep PWarning x # to :: Rep PWarning x -> PWarning #
Binary PWarning Source #
Instance details Methods put :: PWarning -> Put # get :: Get PWarning # putList :: [PWarning] -> Put #
NFData PWarning Source #
Instance details Methods rnf :: PWarning -> () #
type Rep PWarning Source #
Instance details type Rep PWarning = D1 (MetaData "PWarning" "Distribution.Parsec.Common" "Cabal-2.2.0.0-inplace" 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 Source #

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 Source #
Instance details Methods minBound :: PWarnType # maxBound :: PWarnType #
Enum PWarnType Source #
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 Source #
Instance details Methods (==) :: PWarnType -> PWarnType -> Bool # (/=) :: PWarnType -> PWarnType -> Bool #
Ord PWarnType Source #
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 Source #
Instance details Methods showsPrec :: Int -> PWarnType -> ShowS # show :: PWarnType -> String # showList :: [PWarnType] -> ShowS #
Generic PWarnType Source #
Instance details Associated Types type Rep PWarnType :: * -> * # Methods from :: PWarnType -> Rep PWarnType x # to :: Rep PWarnType x -> PWarnType #
Binary PWarnType Source #
Instance details Methods put :: PWarnType -> Put # get :: Get PWarnType # putList :: [PWarnType] -> Put #
NFData PWarnType Source #
Instance details Methods rnf :: PWarnType -> () #
type Rep PWarnType Source #
Instance details type Rep PWarnType = D1 (MetaData "PWarnType" "Distribution.Parsec.Common" "Cabal-2.2.0.0-inplace" 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 Source #

Position

data Position Source #

1-indexed row and column positions in a file.

Constructors

Position !Int !Int

Instances

Eq Position Source #
Instance details Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Ord Position Source #
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 Source #
Instance details Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
Generic Position Source #
Instance details Associated Types type Rep Position :: * -> * # Methods from :: Position -> Rep Position x # to :: Rep Position x -> Position #
Binary Position Source #
Instance details Methods put :: Position -> Put # get :: Get Position # putList :: [Position] -> Put #
NFData Position Source #
Instance details Methods rnf :: Position -> () #
type Rep Position Source #
Instance details type Rep Position = D1 (MetaData "Position" "Distribution.Parsec.Common" "Cabal-2.2.0.0-inplace" 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 Source #

Shift position by n columns to the right.

retPos :: Position -> Position Source #

Shift position to beginning of next row.

showPos :: Position -> String Source #

zeroPos :: Position Source #