ModuleCabal-syntax-3.18.1.0Haskell2010

Distribution.Parsec

Contents

CabalParsing and diagnostics
Warnings
Errors
Position
Utilities

Synopsis

class Parsec
newtype ParsecParser
value runParsecParser
value runParsecParser'
value simpleParsec
value simpleParsecBS
value simpleParsec'
value simpleParsecW'
value lexemeParsec
value eitherParsec
value explicitEitherParsec
value explicitEitherParsec'
class CabalParsing
data PWarnType
data PWarning
data PWarningWithSource
data PSource
value showPWarning
value showPWarningWithSource
data PError
data PErrorWithSource
value showPError
value showPErrorWithSource
data Position
value incPos
value retPos
value showPos
value zeroPos
value parsecToken
value parsecToken'
value parsecFilePath
value parsecQuoted
value parsecMaybeQuoted
value parsecCommaList
value parsecCommaNonEmpty
value parsecLeadingCommaList
value parsecLeadingCommaNonEmpty
value parsecOptCommaList
value parsecLeadingOptCommaList
value parsecStandard
value parsecUnqualComponentName

PackageCabal-syntax-3.18.1.0
Exports41
LanguageHaskell2010
LicenceBSD-3-Clause
SourceParsec.hs

classclass Parsec a where

Source#

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

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

Methods

parsec :: CabalParsing m => m a

Instances82FieldGrammar, Parsec, …

Parsec OpenModuleDefined in Cabal-syntax-3.18.1.0 · Distribution.Backpack

Example1 expression

>>> eitherParsec "Includes2-0.1.0.0-inplace-mysql:Database.MySQL" :: Either String OpenModuleRight (OpenModule (DefiniteUnitId (DefUnitId {unDefUnitId = UnitId "Includes2-0.1.0.0-inplace-mysql"})) (ModuleName "Database.MySQL"))

Parsec OpenUnitIdDefined in Cabal-syntax-3.18.1.0 · Distribution.Backpack

Example1 expression

>>> eitherParsec "foobar" :: Either String OpenUnitIdRight (DefiniteUnitId (DefUnitId {unDefUnitId = UnitId "foobar"}))

Example1 expression

>>> eitherParsec "foo[Str=text-1.2.3:Data.Text.Text]" :: Either String OpenUnitIdRight (IndefFullUnitId (ComponentId "foo") (fromList [(ModuleName "Str",OpenModule (DefiniteUnitId (DefUnitId {unDefUnitId = UnitId "text-1.2.3"})) (ModuleName "Data.Text.Text"))]))

Parsec AbiTagDefined in Cabal-syntax-3.18.1.0 · Distribution.Compiler
Parsec CompilerFlavorDefined in Cabal-syntax-3.18.1.0 · Distribution.Compiler
Parsec CompilerIdDefined in Cabal-syntax-3.18.1.0 · Distribution.Compiler
Parsec FilePathNTDefined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Newtypes
Parsec SpecLicenseDefined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Newtypes
Parsec SpecVersionDefined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Newtypes
Parsec TestedWithDefined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Newtypes
Parsec TokenDefined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Newtypes
Parsec Token'Defined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Newtypes
Parsec LicenseDefined in Cabal-syntax-3.18.1.0 · Distribution.License
Parsec ModuleNameDefined in Cabal-syntax-3.18.1.0 · Distribution.ModuleName
Parsec CompatDataDirDefined in Cabal-syntax-3.18.1.0 · Distribution.PackageDescription.FieldGrammar
Parsec CompatLicenseFileDefined in Cabal-syntax-3.18.1.0 · Distribution.PackageDescription.FieldGrammar

Parsec LicenseDefined in Cabal-syntax-3.18.1.0 · Distribution.SPDX.License

Example1 expression

>>> eitherParsec "BSD-3-Clause AND MIT" :: Either String LicenseRight (License (EAnd (ELicense (ELicenseId BSD_3_Clause) Nothing) (ELicense (ELicenseId MIT) Nothing)))

Example1 expression

>>> eitherParsec "NONE" :: Either String LicenseRight NONE

Parsec LicenseExceptionIdDefined in Cabal-syntax-3.18.1.0 · Distribution.SPDX.LicenseExceptionId
Parsec LicenseExpressionDefined in Cabal-syntax-3.18.1.0 · Distribution.SPDX.LicenseExpression
Parsec SimpleLicenseExpressionDefined in Cabal-syntax-3.18.1.0 · Distribution.SPDX.LicenseExpression

Parsec LicenseIdDefined in Cabal-syntax-3.18.1.0 · Distribution.SPDX.LicenseId

Example1 expression

>>> eitherParsec "BSD-3-Clause" :: Either String LicenseIdRight BSD_3_Clause

Example1 expression

>>> eitherParsec "BSD3" :: Either String LicenseIdLeft "...Unknown SPDX license identifier: 'BSD3' Do you mean BSD-3-Clause?"

Parsec LicenseRefDefined in Cabal-syntax-3.18.1.0 · Distribution.SPDX.LicenseReference
Parsec ArchDefined in Cabal-syntax-3.18.1.0 · Distribution.System
Parsec OSDefined in Cabal-syntax-3.18.1.0 · Distribution.System
Parsec PlatformDefined in Cabal-syntax-3.18.1.0 · Distribution.System
Parsec AbiDependencyDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.AbiDependency
Parsec AbiHashDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.AbiHash
Parsec BenchmarkTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.BenchmarkType
Parsec BuildTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.BuildType
Parsec ComponentIdDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.ComponentId
Parsec ComponentNameDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.ComponentName

Parsec DependencyDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.Dependency

Example1 expression

>>> simpleParsec "mylib:sub" :: Maybe DependencyJust (Dependency (PackageName "mylib") (OrLaterVersion (mkVersion [0])) (fromNonEmpty (LSubLibName (UnqualComponentName "sub") :| [])))

Example1 expression

>>> simpleParsec "mylib:{sub1,sub2}" :: Maybe DependencyJust (Dependency (PackageName "mylib") (OrLaterVersion (mkVersion [0])) (fromNonEmpty (LSubLibName (UnqualComponentName "sub1") :| [LSubLibName (UnqualComponentName "sub2")])))

Example1 expression

>>> simpleParsec "mylib:{ sub1 , sub2 }" :: Maybe DependencyJust (Dependency (PackageName "mylib") (OrLaterVersion (mkVersion [0])) (fromNonEmpty (LSubLibName (UnqualComponentName "sub1") :| [LSubLibName (UnqualComponentName "sub2")])))

Example1 expression

>>> simpleParsec "mylib:{ sub1 , sub2 } ^>= 42" :: Maybe DependencyJust (Dependency (PackageName "mylib") (MajorBoundVersion (mkVersion [42])) (fromNonEmpty (LSubLibName (UnqualComponentName "sub1") :| [LSubLibName (UnqualComponentName "sub2")])))

Example1 expression

>>> simpleParsec "mylib:{ } ^>= 42" :: Maybe DependencyNothing

Example1 expression

>>> traverse_ print (map simpleParsec ["mylib:mylib", "mylib:{mylib}", "mylib:{mylib,sublib}" ] :: [Maybe Dependency])Just (Dependency (PackageName "mylib") (OrLaterVersion (mkVersion [0])) (fromNonEmpty (LMainLibName :| [])))Just (Dependency (PackageName "mylib") (OrLaterVersion (mkVersion [0])) (fromNonEmpty (LMainLibName :| [])))Just (Dependency (PackageName "mylib") (OrLaterVersion (mkVersion [0])) (fromNonEmpty (LMainLibName :| [LSubLibName (UnqualComponentName "sublib")])))

Spaces around colon are not allowed:

Example1 expression

>>> map simpleParsec ["mylib: sub", "mylib :sub", "mylib: {sub1,sub2}", "mylib :{sub1,sub2}"] :: [Maybe Dependency][Nothing,Nothing,Nothing,Nothing]

Sublibrary syntax is accepted since cabal-version: 3.0

Example1 expression

>>> map (`simpleParsec'` "mylib:sub") [CabalSpecV2_4, CabalSpecV3_0] :: [Maybe Dependency][Nothing,Just (Dependency (PackageName "mylib") (OrLaterVersion (mkVersion [0])) (fromNonEmpty (LSubLibName (UnqualComponentName "sub") :| [])))]

Parsec ExeDependencyDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.ExeDependency

Examples

Example1 expression

>>> simpleParsec "happy:happy" :: Maybe ExeDependencyJust (ExeDependency (PackageName "happy") (UnqualComponentName "happy") (OrLaterVersion (mkVersion [0])))

Example1 expression

>>> simpleParsec "happy:happy >= 1.19.12" :: Maybe ExeDependencyJust (ExeDependency (PackageName "happy") (UnqualComponentName "happy") (OrLaterVersion (mkVersion [1,19,12])))

Example1 expression

>>> simpleParsec "happy:happy>=1.19.12" :: Maybe ExeDependencyJust (ExeDependency (PackageName "happy") (UnqualComponentName "happy") (OrLaterVersion (mkVersion [1,19,12])))

Example1 expression

>>> simpleParsec "happy : happy >= 1.19.12" :: Maybe ExeDependencyNothing

Example1 expression

>>> simpleParsec "happy: happy >= 1.19.12" :: Maybe ExeDependencyNothing

Example1 expression

>>> simpleParsec "happy :happy >= 1.19.12" :: Maybe ExeDependencyNothing

Parsec ExecutableScopeDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.ExecutableScope
Parsec ExposedModuleDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.ExposedModule

Parsec FlagAssignmentDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.Flag

Example1 expression

>>> simpleParsec "" :: Maybe FlagAssignmentJust (fromList [])

Example1 expression

>>> simpleParsec "+foo -bar" :: Maybe FlagAssignmentJust (fromList [(FlagName "bar",(1,False)),(FlagName "foo",(1,True))])

Example1 expression

>>> simpleParsec "-none -any" :: Maybe FlagAssignmentJust (fromList [(FlagName "any",(1,False)),(FlagName "none",(1,False))])

Example1 expression

>>> simpleParsec "+foo -foo +foo +foo" :: Maybe FlagAssignmentJust (fromList [(FlagName "foo",(4,True))])

Example1 expression

>>> simpleParsec "+foo -bar baz" :: Maybe FlagAssignmentNothing

Issue #7279 was fixed in Cabal-3.8

Example1 expression

>>> explicitEitherParsec (parsecCommaList parsec) "+foo , -bar" :: Either String [FlagAssignment]Right [fromList [(FlagName "foo",(1,True))],fromList [(FlagName "bar",(1,False))]]

Example1 expression

>>> explicitEitherParsec (parsecCommaList parsecFlagAssignmentNonEmpty) "+foo , -bar" :: Either String [FlagAssignment]Right [fromList [(FlagName "foo",(1,True))],fromList [(FlagName "bar",(1,False))]]

Example1 expression

>>> simpleParsec "+foo+foo" :: Maybe FlagAssignmentNothing

Parsec FlagNameDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.Flag
Parsec LibVersionInfoDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.ForeignLib
Parsec ForeignLibOptionDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.ForeignLibOption
Parsec ForeignLibTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.ForeignLibType
Parsec IncludeRenamingDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.IncludeRenaming
Parsec CompatPackageKeyDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.InstalledPackageInfo.FieldGrammar
Parsec ExposedModulesDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.InstalledPackageInfo.FieldGrammar
Parsec InstWithDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.InstalledPackageInfo.FieldGrammar
Parsec SpecLicenseLenientDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.InstalledPackageInfo.FieldGrammar
Parsec LegacyExeDependencyDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.LegacyExeDependency
Parsec LibraryVisibilityDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.LibraryVisibility

Parsec MixinDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.Mixin

Example1 expression

>>> simpleParsec "mylib" :: Maybe MixinJust (Mixin {mixinPackageName = PackageName "mylib", mixinLibraryName = LMainLibName, mixinIncludeRenaming = IncludeRenaming {includeProvidesRn = DefaultRenaming, includeRequiresRn = DefaultRenaming}})

Example1 expression

>>> simpleParsec "thatlib:sublib" :: Maybe MixinJust (Mixin {mixinPackageName = PackageName "thatlib", mixinLibraryName = LSubLibName (UnqualComponentName "sublib"), mixinIncludeRenaming = IncludeRenaming {includeProvidesRn = DefaultRenaming, includeRequiresRn = DefaultRenaming}})

Example1 expression

>>> simpleParsec "thatlib:thatlib" :: Maybe MixinJust (Mixin {mixinPackageName = PackageName "thatlib", mixinLibraryName = LMainLibName, mixinIncludeRenaming = IncludeRenaming {includeProvidesRn = DefaultRenaming, includeRequiresRn = DefaultRenaming}})

Sublibrary syntax is accepted since cabal-version: 3.4.

Example1 expression

>>> map (`simpleParsec'` "mylib:sub") [CabalSpecV3_0, CabalSpecV3_4] :: [Maybe Mixin][Nothing,Just (Mixin {mixinPackageName = PackageName "mylib", mixinLibraryName = LSubLibName (UnqualComponentName "sub"), mixinIncludeRenaming = IncludeRenaming {includeProvidesRn = DefaultRenaming, includeRequiresRn = DefaultRenaming}})]

Parsec ModuleDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.Module
Parsec ModuleReexportDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.ModuleReexport
Parsec ModuleRenamingDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.ModuleRenaming

Parsec MungedPackageIdDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.MungedPackageId

Example1 expression

>>> simpleParsec "foo-bar-0" :: Maybe MungedPackageIdJust (MungedPackageId {mungedName = MungedPackageName (PackageName "foo-bar") LMainLibName, mungedVersion = mkVersion [0]})

Example1 expression

>>> simpleParsec "foo-bar" :: Maybe MungedPackageIdJust (MungedPackageId {mungedName = MungedPackageName (PackageName "foo-bar") LMainLibName, mungedVersion = mkVersion []})

Example1 expression

>>> simpleParsec "z-foo-bar-z-baz-0" :: Maybe MungedPackageIdJust (MungedPackageId {mungedName = MungedPackageName (PackageName "foo-bar") (LSubLibName (UnqualComponentName "baz")), mungedVersion = mkVersion [0]})

Example1 expression

>>> simpleParsec "foo-bar-0-0" :: Maybe MungedPackageIdNothing

Example1 expression

>>> simpleParsec "foo-bar.0" :: Maybe MungedPackageIdNothing

Example1 expression

>>> simpleParsec "foo-bar.4-2" :: Maybe MungedPackageIdNothing

Parsec MungedPackageNameDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.MungedPackageName

Example1 expression

>>> simpleParsec "servant" :: Maybe MungedPackageNameJust (MungedPackageName (PackageName "servant") LMainLibName)

Example1 expression

>>> simpleParsec "z-servant-z-lackey" :: Maybe MungedPackageNameJust (MungedPackageName (PackageName "servant") (LSubLibName (UnqualComponentName "lackey")))

Example1 expression

>>> simpleParsec "z-servant-zz" :: Maybe MungedPackageNameJust (MungedPackageName (PackageName "z-servant-zz") LMainLibName)

Parsec PackageIdentifierDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.PackageId

Example1 expression

>>> simpleParsec "foo-bar-0" :: Maybe PackageIdentifierJust (PackageIdentifier {pkgName = PackageName "foo-bar", pkgVersion = mkVersion [0]})

Example1 expression

>>> simpleParsec "foo-bar" :: Maybe PackageIdentifierJust (PackageIdentifier {pkgName = PackageName "foo-bar", pkgVersion = mkVersion []})

Note: Stricter than Text instance

Example1 expression

>>> simpleParsec "foo-bar-0-0" :: Maybe PackageIdentifierNothing

Example1 expression

>>> simpleParsec "foo-bar.0" :: Maybe PackageIdentifierNothing

Example1 expression

>>> simpleParsec "foo-bar.4-2" :: Maybe PackageIdentifierNothing

Example1 expression

>>> simpleParsec "1.2.3" :: Maybe PackageIdentifierNothing

Parsec PackageNameDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.PackageName

Parsec PackageVersionConstraintDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.PackageVersionConstraint

Example1 expression

>>> simpleParsec "foo" :: Maybe PackageVersionConstraintJust (PackageVersionConstraint (PackageName "foo") (OrLaterVersion (mkVersion [0])))

Example1 expression

>>> simpleParsec "foo >=2.0" :: Maybe PackageVersionConstraintJust (PackageVersionConstraint (PackageName "foo") (OrLaterVersion (mkVersion [2,0])))

Example1 expression

>>> simpleParsec "foo-2.0" :: Maybe PackageVersionConstraintJust (PackageVersionConstraint (PackageName "foo") (ThisVersion (mkVersion [2,0])))

Parsec PkgconfigDependencyDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.PkgconfigDependency
Parsec PkgconfigNameDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.PkgconfigName

Parsec PkgconfigVersionDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.PkgconfigVersion

Example1 expression

>>> simpleParsec "1.0.2n" :: Maybe PkgconfigVersionJust (PkgconfigVersion "1.0.2n")

Example1 expression

>>> simpleParsec "0.3.5+ds" :: Maybe PkgconfigVersionNothing

Parsec PkgconfigVersionRangeDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.PkgconfigVersionRange
Parsec KnownRepoTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.SourceRepo
Parsec RepoKindDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.SourceRepo
Parsec RepoTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.SourceRepo
Parsec TestTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.TestType
Parsec DefUnitIdDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.UnitId
Parsec UnitIdDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.UnitId
The textual format for UnitId coincides with the format GHC accepts for -package-id.
Parsec UnqualComponentNameDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.UnqualComponentName
Parsec VersionDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.Version

Parsec VersionRangeDefined in Cabal-syntax-3.18.1.0 · Distribution.Types.VersionRange.Internal

Example1 expression

>>> simpleParsec "^>= 3.4" :: Maybe VersionRangeJust (MajorBoundVersion (mkVersion [3,4]))

Small history:

-any and -none removed in 3.4 Use >=0 and <0 instead.

Example1 expression

>>> map (`simpleParsec'` "-none") [CabalSpecV3_0, CabalSpecV3_4] :: [Maybe VersionRange][Just (EarlierVersion (mkVersion [0])),Nothing]

Set operations are introduced in 3.0

Example1 expression

>>> map (`simpleParsec'` "^>= { 1.2 , 1.3 }") [CabalSpecV2_4, CabalSpecV3_0] :: [Maybe VersionRange][Nothing,Just (UnionVersionRanges (MajorBoundVersion (mkVersion [1,2])) (MajorBoundVersion (mkVersion [1,3])))]

^>= is introduced in 2.0

Example1 expression

>>> map (`simpleParsec'` "^>=1.2") [CabalSpecV1_24, CabalSpecV2_0] :: [Maybe VersionRange][Nothing,Just (MajorBoundVersion (mkVersion [1,2]))]

-none is introduced in 1.22

Example1 expression

>>> map (`simpleParsec'` "-none") [CabalSpecV1_20, CabalSpecV1_22] :: [Maybe VersionRange][Nothing,Just (EarlierVersion (mkVersion [0]))]

Operators are introduced in 1.8. Issues only a warning.

Example1 expression

>>> map (`simpleParsecW'` "== 1 || ==2") [CabalSpecV1_6, CabalSpecV1_8] :: [Maybe VersionRange][Nothing,Just (UnionVersionRanges (ThisVersion (mkVersion [1])) (ThisVersion (mkVersion [2])))]

Wild-version ranges are introduced in 1.6. Issues only a warning.

Example1 expression

>>> map (`simpleParsecW'` "== 1.2.*") [CabalSpecV1_4, CabalSpecV1_6] :: [Maybe VersionRange][Nothing,Just (IntersectVersionRanges (OrLaterVersion (mkVersion [1,2])) (EarlierVersion (mkVersion [1,3])))]

Parsec ExtensionDefined in Cabal-syntax-3.18.1.0 · Language.Haskell.Extension
Parsec LanguageDefined in Cabal-syntax-3.18.1.0 · Language.Haskell.Extension
Parsec BoolDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec
FieldGrammar Parsec ParsecFieldGrammarDefined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Parsec
Parsec a => Parsec (MQuoted a)Defined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Newtypes
Parsec a => Parsec (Identity a)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec
Parsec a => Parsec (Last a)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec
Parsec (RelativePathNT from to)Defined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Newtypes
Parsec (SymbolicPathNT from to)Defined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Newtypes
Parsec (SymbolicPathX 'AllowAbsolute from to)Defined in Cabal-syntax-3.18.1.0 · Distribution.Utils.Path
Parsec (SymbolicPathX 'OnlyRelative from to)Defined in Cabal-syntax-3.18.1.0 · Distribution.Utils.Path
(Newtype a b, Sep sep, Parsec b) => Parsec (List sep b a)Defined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Newtypes
(Newtype a b, Sep sep, Parsec b) => Parsec (NonEmpty' sep b a)Defined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Newtypes
(Newtype a b, Ord a, Sep sep, Parsec b) => Parsec (Set' sep b a)Defined in Cabal-syntax-3.18.1.0 · Distribution.FieldGrammar.Newtypes

newtypenewtype ParsecParser a

Constructors

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

Instances9Monad, Functor, MonadFail, Applicative, Alternative, MonadPlus, …

Monad ParsecParserDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec
Functor ParsecParserDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec
MonadFail ParsecParserDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec
Applicative ParsecParserDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec
Alternative ParsecParserDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec
MonadPlus ParsecParserDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec
CabalParsing ParsecParserDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec
CharParsing ParsecParserDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec
Parsing ParsecParserDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec

valuerunParsecParser

Source#

Run ParsecParser with cabalSpecLatest.

valuerunParsecParser'

Source#

Like runParsecParser but lets specify CabalSpecVersion used.

valuesimpleParsec :: Parsec a => String -> Maybe a

Source#

Parse a String with lexemeParsec.

valuesimpleParsecBS :: Parsec a => ByteString -> Maybe a

Source#

Like simpleParsec but for ByteString

valuesimpleParsec' :: Parsec a => CabalSpecVersion -> String -> Maybe a

Source#

Parse a String with lexemeParsec using specific CabalSpecVersion.

valuesimpleParsecW' :: Parsec a => CabalSpecVersion -> String -> Maybe a

Source#

Parse a String with lexemeParsec using specific CabalSpecVersion. Fail if there are any warnings.

valuelexemeParsec :: (CabalParsing m, Parsec a) => m a

Source#

parsec could consume trailing spaces, this function will consume.

valueeitherParsec :: Parsec a => String -> Either String a

Source#

Parse a String with lexemeParsec.

valueexplicitEitherParsec :: ParsecParser a -> String -> Either String a

Source#

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

valueexplicitEitherParsec'

Source#

Parse a String with given ParsecParser and CabalSpecVersion. Trailing whitespace is accepted. See explicitEitherParsec.

CabalParsing and diagnostics

classclass (CharParsing m, MonadPlus m, MonadFail m) => CabalParsing (m :: Type -> Type) where

Source#

Parsing class which

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

Methods

parsecWarning :: PWarnType -> String -> m ()
parsecHaskellString :: m String
askCabalSpecVersion :: m CabalSpecVersion

Instances1CabalParsing

CabalParsing ParsecParserDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec

Warnings

datadata 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.
PWTVersionOperator
Version operators used (without cabal-version: 1.8)
PWTVersionWildcard
Version wildcard used (without cabal-version: 1.6)
PWTSpecVersion
Warnings about cabal-version format.
PWTEmptyFilePath
Empty filepath, i.e. literally ""
PWTInconsistentIndentation
sections contents (sections and fields) are indented inconsistently
PWTExperimental
Experimental feature

Instances9Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded PWarnTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Enum PWarnTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Eq PWarnTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Ord PWarnTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Show PWarnTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Generic PWarnTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
NFData PWarnTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Binary PWarnTypeDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
type Rep PWarnType = D1 ('MetaData "PWarnType" "Distribution.Parsec.Warning" "Cabal-syntax-3.18.1.0-046d" '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 "PWTVersionOperator" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PWTVersionWildcard" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "PWTSpecVersion" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PWTEmptyFilePath" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "PWTInconsistentIndentation" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PWTExperimental" 'PrefixI 'False) U1)))))Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning

datadata PWarning

Source#

Parser warning.

Constructors

PWarning
- pwarningType :: !PWarnType
- pwarningPosition :: !Position
- pwarningMessage :: !String

Instances7Eq, Ord, Show, Generic, NFData, Binary, …

Eq PWarningDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Ord PWarningDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Show PWarningDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Generic PWarningDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
NFData PWarningDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Binary PWarningDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
type Rep PWarning = D1 ('MetaData "PWarning" "Distribution.Parsec.Warning" "Cabal-syntax-3.18.1.0-046d" 'False) (C1 ('MetaCons "PWarning" 'PrefixI 'True) (S1 ('MetaSel ('Just "pwarningType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PWarnType) :*: (S1 ('MetaSel ('Just "pwarningPosition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Position) :*: S1 ('MetaSel ('Just "pwarningMessage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))))Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning

datadata PWarningWithSource src

Constructors

PWarningWithSource
- pwarningSource :: !PSource src
- pwarning :: !PWarning

Instances6Functor, Eq, Ord, Show, Generic, Rep

Functor PWarningWithSourceDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Eq src => Eq (PWarningWithSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Ord src => Ord (PWarningWithSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Show src => Show (PWarningWithSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
Generic (PWarningWithSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning
type Rep (PWarningWithSource src) = D1 ('MetaData "PWarningWithSource" "Distribution.Parsec.Warning" "Cabal-syntax-3.18.1.0-046d" 'False) (C1 ('MetaCons "PWarningWithSource" 'PrefixI 'True) (S1 ('MetaSel ('Just "pwarningSource") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PSource src)) :*: S1 ('MetaSel ('Just "pwarning") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PWarning)))Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Warning

datadata PSource src

Source#

The source of a parse error

Constructors

PKnownSource src
PUnknownSource

Instances8Functor, Eq, Ord, Show, Generic, NFData, …

Functor PSourceDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Eq src => Eq (PSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Ord src => Ord (PSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Show src => Show (PSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Generic (PSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
NFData src => NFData (PSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Binary src => Binary (PSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
type Rep (PSource src) = D1 ('MetaData "PSource" "Distribution.Parsec.Source" "Cabal-syntax-3.18.1.0-046d" 'False) (C1 ('MetaCons "PKnownSource" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 src)) :+: C1 ('MetaCons "PUnknownSource" 'PrefixI 'False) U1)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source

valueshowPWarning :: FilePath -> PWarning -> String

valueshowPWarningWithSource :: PWarningWithSource String -> String

Errors

datadata PError

Source#

Parser error.

Constructors

PError
- perrorPosition :: Position
- perrorMessage :: String

Instances5Show, Generic, NFData, Binary, Rep

Show PErrorDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Error
Generic PErrorDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Error
NFData PErrorDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Error
Binary PErrorDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Error
type Rep PError = D1 ('MetaData "PError" "Distribution.Parsec.Error" "Cabal-syntax-3.18.1.0-046d" 'False) (C1 ('MetaCons "PError" 'PrefixI 'True) (S1 ('MetaSel ('Just "perrorPosition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: S1 ('MetaSel ('Just "perrorMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Error

datadata PErrorWithSource src

Constructors

PErrorWithSource
- perrorSource :: !PSource src
- perror :: !PError

Instances4Functor, Show, Generic, Rep

Functor PErrorWithSourceDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Error
Show src => Show (PErrorWithSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Error
Generic (PErrorWithSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Error
type Rep (PErrorWithSource src) = D1 ('MetaData "PErrorWithSource" "Distribution.Parsec.Error" "Cabal-syntax-3.18.1.0-046d" 'False) (C1 ('MetaCons "PErrorWithSource" 'PrefixI 'True) (S1 ('MetaSel ('Just "perrorSource") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PSource src)) :*: S1 ('MetaSel ('Just "perror") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PError)))Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Error

valueshowPError :: FilePath -> PError -> String

valueshowPErrorWithSource :: PErrorWithSource String -> String

Position

datadata Position

Source#

1-indexed row and column positions in a file.

Constructors

Position !Int !Int

Instances7Eq, Ord, Show, Generic, NFData, Binary, …

Eq PositionDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Position
Ord PositionDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Position
Show PositionDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Position
Generic PositionDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Position
NFData PositionDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Position
Binary PositionDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Position
type Rep Position = D1 ('MetaData "Position" "Distribution.Parsec.Position" "Cabal-syntax-3.18.1.0-046d" 'False) (C1 ('MetaCons "Position" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int)))Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Position

valueincPos :: Int -> Position -> Position

Source#

Shift position by n columns to the right.

valueretPos :: Position -> Position

Source#

Shift position to beginning of next row.

valueshowPos :: Position -> String

valuezeroPos :: Position

Utilities

valueparsecToken :: CabalParsing m => m String

Source#

[^ ,]

valueparsecToken' :: CabalParsing m => m String

Source#

[^ ]

valueparsecFilePath :: CabalParsing m => m FilePath

valueparsecQuoted :: CabalParsing m => m a -> m a

Source#

Content isn't unquoted

valueparsecMaybeQuoted :: CabalParsing m => m a -> m a

Source#

parsecMaybeQuoted p = parsecQuoted p | p.

valueparsecCommaList :: CabalParsing m => m a -> m [a]

valueparsecCommaNonEmpty :: CabalParsing m => m a -> m (NonEmpty a)

valueparsecLeadingCommaList :: CabalParsing m => m a -> m [a]

Source#

Like parsecCommaList but accept leading or trailing comma.

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

valueparsecLeadingCommaNonEmpty :: CabalParsing m => m a -> m (NonEmpty a)

Source#

valueparsecOptCommaList :: CabalParsing m => m a -> m [a]

valueparsecLeadingOptCommaList :: CabalParsing m => m a -> m [a]

Source#

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

valueparsecStandard

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

Source#

Parse a benchmark/test-suite types.

valueparsecUnqualComponentName :: CabalParsing m => m String