Safe Haskell	None
Language	Haskell2010

Distribution.Parsec

Contents

CabalParsing and and diagnostics
- Warnings
- Errors
Position
Utilities

Synopsis

class Parsec a where
newtype ParsecParser a = PP {
- unPP :: CabalSpecVersion -> Parsec FieldLineStream [PWarning] a
}
runParsecParser :: ParsecParser a -> FilePath -> FieldLineStream -> Either ParseError a
runParsecParser' :: CabalSpecVersion -> ParsecParser a -> FilePath -> FieldLineStream -> Either ParseError a
simpleParsec :: Parsec a => String -> Maybe a
lexemeParsec :: (CabalParsing m, Parsec a) => m a
eitherParsec :: Parsec a => String -> Either String a
explicitEitherParsec :: ParsecParser a -> String -> Either String a
class (CharParsing m, MonadPlus m, MonadFail m) => CabalParsing m where
data PWarnType
- = PWTOther
- | PWTUTF
- | PWTBoolCase
- | PWTVersionTag
- | PWTNewSyntax
- | PWTOldSyntax
- | PWTDeprecatedField
- | PWTInvalidSubsection
- | PWTUnknownField
- | PWTUnknownSection
- | PWTTrailingFields
- | PWTExtraMainIs
- | PWTExtraTestModule
- | PWTExtraBenchmarkModule
- | PWTLexNBSP
- | PWTLexBOM
- | PWTLexTab
- | PWTQuirkyCabalFile
- | PWTDoubleDash
- | PWTMultipleSingularField
- | PWTBuildTypeDefault
data PWarning = PWarning !PWarnType !Position String
showPWarning :: FilePath -> PWarning -> String
data PError = PError Position String
showPError :: FilePath -> PError -> String
data Position = Position !Int !Int
incPos :: Int -> Position -> Position
retPos :: Position -> Position
showPos :: Position -> String
zeroPos :: Position
parsecToken :: CabalParsing m => m String
parsecToken' :: CabalParsing m => m String
parsecFilePath :: CabalParsing m => m FilePath
parsecQuoted :: CabalParsing m => m a -> m a
parsecMaybeQuoted :: CabalParsing m => m a -> m a
parsecCommaList :: CabalParsing m => m a -> m [a]
parsecLeadingCommaList :: CabalParsing m => m a -> m [a]
parsecOptCommaList :: CabalParsing m => m a -> m [a]
parsecLeadingOptCommaList :: CabalParsing m => m a -> m [a]
parsecStandard :: (CabalParsing m, Parsec ver) => (ver -> String -> a) -> m a
parsecUnqualComponentName :: CabalParsing m => m String

Documentation

class Parsec a where #

Class for parsing with parsec. Mainly used for .cabal file fields.

For parsing .cabal like file structure, see Distribution.Fields.

Minimal complete definition

parsec

Methods

parsec :: CabalParsing m => m a #

Instances

Parsec Bool #
Instance details Defined in Distribution.Parsec Methods parsec :: CabalParsing m => m Bool #
Parsec Version #
Instance details Defined in Distribution.Types.Version Methods parsec :: CabalParsing m => m Version #
Parsec VersionRange #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods parsec :: CabalParsing m => m VersionRange #
Parsec RepoType #
Instance details Defined in Distribution.Types.SourceRepo Methods parsec :: CabalParsing m => m RepoType #
Parsec RepoKind #
Instance details Defined in Distribution.Types.SourceRepo Methods parsec :: CabalParsing m => m RepoKind #
Parsec PkgconfigVersion #	`>>>` `simpleParsec "1.0.2n" :: Maybe PkgconfigVersion`Just (PkgconfigVersion "1.0.2n") `>>>` `simpleParsec "0.3.5+ds" :: Maybe PkgconfigVersion`Nothing
Instance details Defined in Distribution.Types.PkgconfigVersion Methods parsec :: CabalParsing m => m PkgconfigVersion #
Parsec PkgconfigVersionRange #
Instance details Defined in Distribution.Types.PkgconfigVersionRange Methods parsec :: CabalParsing m => m PkgconfigVersionRange #
Parsec PkgconfigName #
Instance details Defined in Distribution.Types.PkgconfigName Methods parsec :: CabalParsing m => m PkgconfigName #
Parsec PkgconfigDependency #
Instance details Defined in Distribution.Types.PkgconfigDependency Methods parsec :: CabalParsing m => m PkgconfigDependency #
Parsec PackageName #
Instance details Defined in Distribution.Types.PackageName Methods parsec :: CabalParsing m => m PackageName #
Parsec UnqualComponentName #
Instance details Defined in Distribution.Types.UnqualComponentName Methods parsec :: CabalParsing m => m UnqualComponentName #
Parsec PackageVersionConstraint #
Instance details Defined in Distribution.Types.PackageVersionConstraint Methods parsec :: CabalParsing m => m PackageVersionConstraint #
Parsec LibraryVisibility #
Instance details Defined in Distribution.Types.LibraryVisibility Methods parsec :: CabalParsing m => m LibraryVisibility #
Parsec MungedPackageName #	`>>>` `simpleParsec "servant" :: Maybe MungedPackageName`Just (MungedPackageName (PackageName "servant") LMainLibName) `>>>` `simpleParsec "z-servant-z-lackey" :: Maybe MungedPackageName`Just (MungedPackageName (PackageName "servant") (LSubLibName (UnqualComponentName "lackey"))) `>>>` `simpleParsec "z-servant-zz" :: Maybe MungedPackageName`Just (MungedPackageName (PackageName "z-servant-zz") LMainLibName)
Instance details Defined in Distribution.Types.MungedPackageName Methods parsec :: CabalParsing m => m MungedPackageName #
Parsec ForeignLibType #
Instance details Defined in Distribution.Types.ForeignLibType Methods parsec :: CabalParsing m => m ForeignLibType #
Parsec ForeignLibOption #
Instance details Defined in Distribution.Types.ForeignLibOption Methods parsec :: CabalParsing m => m ForeignLibOption #
Parsec FlagName #
Instance details Defined in Distribution.Types.Flag Methods parsec :: CabalParsing m => m FlagName #
Parsec ExecutableScope #
Instance details Defined in Distribution.Types.ExecutableScope Methods parsec :: CabalParsing m => m ExecutableScope #
Parsec ComponentName #
Instance details Defined in Distribution.Types.ComponentName Methods parsec :: CabalParsing m => m ComponentName #
Parsec ComponentId #
Instance details Defined in Distribution.Types.ComponentId Methods parsec :: CabalParsing m => m ComponentId #
Parsec BuildType #
Instance details Defined in Distribution.Types.BuildType Methods parsec :: CabalParsing m => m BuildType #
Parsec AbiHash #
Instance details Defined in Distribution.Types.AbiHash Methods parsec :: CabalParsing m => m AbiHash #
Parsec Platform #
Instance details Defined in Distribution.System Methods parsec :: CabalParsing m => m Platform #
Parsec Arch #
Instance details Defined in Distribution.System Methods parsec :: CabalParsing m => m Arch #
Parsec OS #
Instance details Defined in Distribution.System Methods parsec :: CabalParsing m => m OS #
Parsec LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference Methods parsec :: CabalParsing m => m LicenseRef #
Parsec LicenseId #	`>>>` `eitherParsec "BSD-3-Clause" :: Either String LicenseId`Right BSD_3_Clause `>>>` `eitherParsec "BSD3" :: Either String LicenseId`Left "...Unknown SPDX license identifier: 'BSD3' Do you mean BSD-3-Clause?"
Instance details Defined in Distribution.SPDX.LicenseId Methods parsec :: CabalParsing m => m LicenseId #
Parsec LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods parsec :: CabalParsing m => m LicenseExceptionId #
Parsec SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods parsec :: CabalParsing m => m SimpleLicenseExpression #
Parsec LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods parsec :: CabalParsing m => m LicenseExpression #
Parsec License #	`>>>` `eitherParsec "BSD-3-Clause AND MIT" :: Either String License`Right (License (EAnd (ELicense (ELicenseId BSD_3_Clause) Nothing) (ELicense (ELicenseId MIT) Nothing))) `>>>` `eitherParsec "NONE" :: Either String License`Right NONE
Instance details Defined in Distribution.SPDX.License Methods parsec :: CabalParsing m => m License #
Parsec ModuleName #
Instance details Defined in Distribution.ModuleName Methods parsec :: CabalParsing m => m ModuleName #
Parsec ModuleRenaming #
Instance details Defined in Distribution.Types.ModuleRenaming Methods parsec :: CabalParsing m => m ModuleRenaming #
Parsec IncludeRenaming #
Instance details Defined in Distribution.Types.IncludeRenaming Methods parsec :: CabalParsing m => m IncludeRenaming #
Parsec Mixin #
Instance details Defined in Distribution.Types.Mixin Methods parsec :: CabalParsing m => m Mixin #
Parsec ModuleReexport #
Instance details Defined in Distribution.Types.ModuleReexport Methods parsec :: CabalParsing m => m ModuleReexport #
Parsec TestType #
Instance details Defined in Distribution.Types.TestType Methods parsec :: CabalParsing m => m TestType #
Parsec PackageIdentifier #	`>>>` `simpleParsec "foo-bar-0" :: Maybe PackageIdentifier`Just (PackageIdentifier {pkgName = PackageName "foo-bar", pkgVersion = mkVersion [0]}) `>>>` `simpleParsec "foo-bar" :: Maybe PackageIdentifier`Just (PackageIdentifier {pkgName = PackageName "foo-bar", pkgVersion = mkVersion []}) Note: Stricter than `Text` instance `>>>` `simpleParsec "foo-bar-0-0" :: Maybe PackageIdentifier`Nothing `>>>` `simpleParsec "foo-bar.0" :: Maybe PackageIdentifier`Nothing `>>>` `simpleParsec "foo-bar.4-2" :: Maybe PackageIdentifier`Nothing `>>>` `simpleParsec "1.2.3" :: Maybe PackageIdentifier`Nothing
Instance details Defined in Distribution.Types.PackageId Methods parsec :: CabalParsing m => m PackageIdentifier #
Parsec DefUnitId #
Instance details Defined in Distribution.Types.UnitId Methods parsec :: CabalParsing m => m DefUnitId #
Parsec UnitId #	The textual format for `UnitId` coincides with the format GHC accepts for `-package-id`.
Instance details Defined in Distribution.Types.UnitId Methods parsec :: CabalParsing m => m UnitId #
Parsec Module #
Instance details Defined in Distribution.Types.Module Methods parsec :: CabalParsing m => m Module #
Parsec OpenModule #	`>>>` `eitherParsec "Includes2-0.1.0.0-inplace-mysql:Database.MySQL" :: Either String OpenModule`Right (OpenModule (DefiniteUnitId (DefUnitId {unDefUnitId = UnitId "Includes2-0.1.0.0-inplace-mysql"})) (ModuleName ["Database","MySQL"]))
Instance details Defined in Distribution.Backpack Methods parsec :: CabalParsing m => m OpenModule #
Parsec OpenUnitId #	`>>>` `eitherParsec "foobar" :: Either String OpenUnitId`Right (DefiniteUnitId (DefUnitId {unDefUnitId = UnitId "foobar"})) `>>>` `eitherParsec "foo[Str=text-1.2.3:Data.Text.Text]" :: Either String OpenUnitId`Right (IndefFullUnitId (ComponentId "foo") (fromList [(ModuleName ["Str"],OpenModule (DefiniteUnitId (DefUnitId {unDefUnitId = UnitId "text-1.2.3"})) (ModuleName ["Data","Text","Text"]))]))
Instance details Defined in Distribution.Backpack Methods parsec :: CabalParsing m => m OpenUnitId #
Parsec ExposedModule #
Instance details Defined in Distribution.Types.ExposedModule Methods parsec :: CabalParsing m => m ExposedModule #
Parsec MungedPackageId #	`>>>` `simpleParsec "foo-bar-0" :: Maybe MungedPackageId`Just (MungedPackageId {mungedName = MungedPackageName (PackageName "foo-bar") LMainLibName, mungedVersion = mkVersion [0]}) `>>>` `simpleParsec "foo-bar" :: Maybe MungedPackageId`Just (MungedPackageId {mungedName = MungedPackageName (PackageName "foo-bar") LMainLibName, mungedVersion = mkVersion []}) `>>>` `simpleParsec "z-foo-bar-z-baz-0" :: Maybe MungedPackageId`Just (MungedPackageId {mungedName = MungedPackageName (PackageName "foo-bar") (LSubLibName (UnqualComponentName "baz")), mungedVersion = mkVersion [0]}) `>>>` `simpleParsec "foo-bar-0-0" :: Maybe MungedPackageId`Nothing `>>>` `simpleParsec "foo-bar.0" :: Maybe MungedPackageId`Nothing `>>>` `simpleParsec "foo-bar.4-2" :: Maybe MungedPackageId`Nothing
Instance details Defined in Distribution.Types.MungedPackageId Methods parsec :: CabalParsing m => m MungedPackageId #
Parsec LegacyExeDependency #
Instance details Defined in Distribution.Types.LegacyExeDependency Methods parsec :: CabalParsing m => m LegacyExeDependency #
Parsec ExeDependency #	Examples `>>>` `simpleParsec "happy:happy" :: Maybe ExeDependency`Just (ExeDependency (PackageName "happy") (UnqualComponentName "happy") AnyVersion) `>>>` `simpleParsec "happy:happy >= 1.19.12" :: Maybe ExeDependency`Just (ExeDependency (PackageName "happy") (UnqualComponentName "happy") (OrLaterVersion (mkVersion [1,19,12]))) `>>>` `simpleParsec "happy:happy>=1.19.12" :: Maybe ExeDependency`Just (ExeDependency (PackageName "happy") (UnqualComponentName "happy") (OrLaterVersion (mkVersion [1,19,12]))) `>>>` `simpleParsec "happy : happy >= 1.19.12" :: Maybe ExeDependency`Nothing `>>>` `simpleParsec "happy: happy >= 1.19.12" :: Maybe ExeDependency`Nothing `>>>` `simpleParsec "happy :happy >= 1.19.12" :: Maybe ExeDependency`Nothing
Instance details Defined in Distribution.Types.ExeDependency Methods parsec :: CabalParsing m => m ExeDependency #
Parsec Dependency #	`>>>` `simpleParsec "mylib:sub" :: Maybe Dependency`Just (Dependency (PackageName "mylib") AnyVersion (fromList [LSubLibName (UnqualComponentName "sub")])) `>>>` `simpleParsec "mylib:{sub1,sub2}" :: Maybe Dependency`Just (Dependency (PackageName "mylib") AnyVersion (fromList [LSubLibName (UnqualComponentName "sub1"),LSubLibName (UnqualComponentName "sub2")])) `>>>` `simpleParsec "mylib:{ sub1 , sub2 }" :: Maybe Dependency`Just (Dependency (PackageName "mylib") AnyVersion (fromList [LSubLibName (UnqualComponentName "sub1"),LSubLibName (UnqualComponentName "sub2")])) `>>>` `simpleParsec "mylib:{ sub1 , sub2 } ^>= 42" :: Maybe Dependency`Just (Dependency (PackageName "mylib") (MajorBoundVersion (mkVersion [42])) (fromList [LSubLibName (UnqualComponentName "sub1"),LSubLibName (UnqualComponentName "sub2")])) Spaces around colon are not allowed: `>>>` `simpleParsec "mylib: sub" :: Maybe Dependency`Nothing `>>>` `simpleParsec "mylib :sub" :: Maybe Dependency`Nothing `>>>` `simpleParsec "mylib: {sub1,sub2}" :: Maybe Dependency`Nothing `>>>` `simpleParsec "mylib :{sub1,sub2}" :: Maybe Dependency`Nothing
Instance details Defined in Distribution.Types.Dependency Methods parsec :: CabalParsing m => m Dependency #
Parsec BenchmarkType #
Instance details Defined in Distribution.Types.BenchmarkType Methods parsec :: CabalParsing m => m BenchmarkType #
Parsec AbiDependency #
Instance details Defined in Distribution.Types.AbiDependency Methods parsec :: CabalParsing m => m AbiDependency #
Parsec License #
Instance details Defined in Distribution.License Methods parsec :: CabalParsing m => m License #
Parsec Extension #
Instance details Defined in Language.Haskell.Extension Methods parsec :: CabalParsing m => m Extension #
Parsec Language #
Instance details Defined in Language.Haskell.Extension Methods parsec :: CabalParsing m => m Language #
Parsec AbiTag #
Instance details Defined in Distribution.Compiler Methods parsec :: CabalParsing m => m AbiTag #
Parsec CompilerId #
Instance details Defined in Distribution.Compiler Methods parsec :: CabalParsing m => m CompilerId #
Parsec CompilerFlavor #
Instance details Defined in Distribution.Compiler Methods parsec :: CabalParsing m => m CompilerFlavor #
Parsec LibVersionInfo #
Instance details Defined in Distribution.Types.ForeignLib Methods parsec :: CabalParsing m => m LibVersionInfo #
Parsec FilePathNT #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m FilePathNT #
Parsec TestedWith #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m TestedWith #
Parsec SpecLicense #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m SpecLicense #
Parsec SpecVersion #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m SpecVersion #
Parsec Token' #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m Token' #
Parsec Token #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m Token #
Parsec TestShowDetails #
Instance details Defined in Distribution.Simple.Setup Methods parsec :: CabalParsing m => m TestShowDetails #
Parsec HaddockTarget #
Instance details Defined in Distribution.Simple.Setup Methods parsec :: CabalParsing m => m HaddockTarget #
Parsec a => Parsec (Identity a) #
Instance details Defined in Distribution.Parsec Methods parsec :: CabalParsing m => m (Identity a) #
Parsec a => Parsec (MQuoted a) #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m (MQuoted a) #
(Newtype a b, Ord a, Sep sep, Parsec b) => Parsec (Set' sep b a) #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m (Set' sep b a) #
(Newtype a b, Sep sep, Parsec b) => Parsec (List sep b a) #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m (List sep b a) #

newtype ParsecParser a #

Constructors

PP
Fields unPP :: CabalSpecVersion -> Parsec FieldLineStream [PWarning] a

Instances

Monad ParsecParser #
Instance details Defined in Distribution.Parsec Methods (>>=) :: ParsecParser a -> (a -> ParsecParser b) -> ParsecParser b # (>>) :: ParsecParser a -> ParsecParser b -> ParsecParser b # return :: a -> ParsecParser a # fail :: String -> ParsecParser a #
Functor ParsecParser #
Instance details Defined in Distribution.Parsec Methods fmap :: (a -> b) -> ParsecParser a -> ParsecParser b # (<$) :: a -> ParsecParser b -> ParsecParser a #
MonadFail ParsecParser #
Instance details Defined in Distribution.Parsec Methods fail :: String -> ParsecParser a #
Applicative ParsecParser #
Instance details Defined in Distribution.Parsec Methods pure :: a -> ParsecParser a # (<>) :: ParsecParser (a -> b) -> ParsecParser a -> ParsecParser b # liftA2 :: (a -> b -> c) -> ParsecParser a -> ParsecParser b -> ParsecParser c # (>) :: ParsecParser a -> ParsecParser b -> ParsecParser b # (<*) :: ParsecParser a -> ParsecParser b -> ParsecParser a #
Alternative ParsecParser #
Instance details Defined in Distribution.Parsec Methods empty :: ParsecParser a # (<\|>) :: ParsecParser a -> ParsecParser a -> ParsecParser a # some :: ParsecParser a -> ParsecParser [a] # many :: ParsecParser a -> ParsecParser [a] #
MonadPlus ParsecParser #
Instance details Defined in Distribution.Parsec Methods mzero :: ParsecParser a # mplus :: ParsecParser a -> ParsecParser a -> ParsecParser a #
Parsing ParsecParser #
Instance details Defined in Distribution.Parsec Methods try :: ParsecParser a -> ParsecParser a # (<?>) :: ParsecParser a -> String -> ParsecParser a # skipMany :: ParsecParser a -> ParsecParser () # skipSome :: ParsecParser a -> ParsecParser () # unexpected :: String -> ParsecParser a # eof :: ParsecParser () # notFollowedBy :: Show a => ParsecParser a -> ParsecParser () #
CharParsing ParsecParser #
Instance details Defined in Distribution.Parsec Methods satisfy :: (Char -> Bool) -> ParsecParser Char # char :: Char -> ParsecParser Char # notChar :: Char -> ParsecParser Char # anyChar :: ParsecParser Char # string :: String -> ParsecParser String # text :: Text -> ParsecParser Text #
CabalParsing ParsecParser #
Instance details Defined in Distribution.Parsec Methods parsecWarning :: PWarnType -> String -> ParsecParser () # parsecHaskellString :: ParsecParser String # askCabalSpecVersion :: ParsecParser CabalSpecVersion #

runParsecParser :: ParsecParser a -> FilePath -> FieldLineStream -> Either ParseError a #

Run ParsecParser with cabalSpecLatest.

runParsecParser' :: CabalSpecVersion -> ParsecParser a -> FilePath -> FieldLineStream -> Either ParseError a #

Like runParsecParser but lets specify CabalSpecVersion used.

Since: 3.0.0.0

simpleParsec :: Parsec a => String -> Maybe a #

Parse a String with lexemeParsec.

lexemeParsec :: (CabalParsing m, Parsec a) => m a #

parsec could consume trailing spaces, this function will consume.

eitherParsec :: Parsec a => String -> Either String a #

Parse a String with lexemeParsec.

explicitEitherParsec :: ParsecParser a -> String -> Either String a #

Parse a String with given ParsecParser. Trailing whitespace is accepted.

CabalParsing and and diagnostics

class (CharParsing m, MonadPlus m, MonadFail m) => CabalParsing m where #

Parsing class which

can report Cabal parser warnings.
knows cabal-version we work with

Minimal complete definition

parsecWarning, askCabalSpecVersion

Methods

parsecWarning :: PWarnType -> String -> m () #

parsecHaskellString :: m String #

askCabalSpecVersion :: m CabalSpecVersion #

Instances

CabalParsing ParsecParser #
Instance details Defined in Distribution.Parsec Methods parsecWarning :: PWarnType -> String -> ParsecParser () # parsecHaskellString :: ParsecParser String # askCabalSpecVersion :: ParsecParser CabalSpecVersion #

Warnings

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.

Instances

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

data PWarning #

Parser warning.

Constructors

PWarning !PWarnType !Position String

Instances

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

showPWarning :: FilePath -> PWarning -> String #

Errors

data PError #

Parser error.

Constructors

PError Position String

Instances

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

Position

data Position #

1-indexed row and column positions in a file.

Constructors

Position !Int !Int

Instances

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

Shift position by n columns to the right.

retPos :: Position -> Position #

Shift position to beginning of next row.

showPos :: Position -> String #

zeroPos :: Position #

Utilities

parsecToken :: CabalParsing m => m String #

[^ ,]

parsecToken' :: CabalParsing m => m String #

[^ ]

parsecFilePath :: CabalParsing m => m FilePath #

parsecQuoted :: CabalParsing m => m a -> m a #

Content isn't unquoted

parsecMaybeQuoted :: CabalParsing m => m a -> m a #

parsecMaybeQuoted p = parsecQuoted p | p.

parsecCommaList :: CabalParsing m => m a -> m [a] #

parsecLeadingCommaList :: CabalParsing m => m a -> m [a] #

Like parsecCommaList but accept leading or trailing comma.

p (comma p)*  -- p sepBy comma
(comma p)*    -- leading comma
(p comma)*    -- trailing comma

parsecOptCommaList :: CabalParsing m => m a -> m [a] #

parsecLeadingOptCommaList :: CabalParsing m => m a -> m [a] #

Like parsecOptCommaList but

require all or none commas
accept leading or trailing comma.

p (comma p)*  -- p sepBy comma
(comma p)*    -- leading comma
(p comma)*    -- trailing comma
p*            -- no commas: many p

Since: 3.0.0.0

parsecStandard :: (CabalParsing m, Parsec ver) => (ver -> String -> a) -> m a #

Parse a benchmark/test-suite types.

parsecUnqualComponentName :: CabalParsing m => m String #