Distribution.Parsec

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.

Methods

parsec :: CabalParsing m => m a

Instances

Parsec Bool

Defined in Distribution.Parsec

Methods

parsec :: CabalParsing m => m Bool

Parsec Version

Defined in Distribution.Types.Version

Methods

parsec :: CabalParsing m => m Version

Parsec VersionRange

Defined in Distribution.Types.VersionRange.Internal

Methods

parsec :: CabalParsing m => m VersionRange

Parsec RepoType

Defined in Distribution.Types.SourceRepo

Methods

parsec :: CabalParsing m => m RepoType

Parsec RepoKind

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

Defined in Distribution.Types.PkgconfigVersion

Methods

parsec :: CabalParsing m => m PkgconfigVersion

Parsec PkgconfigVersionRange

Defined in Distribution.Types.PkgconfigVersionRange

Methods

parsec :: CabalParsing m => m PkgconfigVersionRange

Parsec PkgconfigName

Defined in Distribution.Types.PkgconfigName

Methods

parsec :: CabalParsing m => m PkgconfigName

Parsec PkgconfigDependency

Defined in Distribution.Types.PkgconfigDependency

Methods

parsec :: CabalParsing m => m PkgconfigDependency

Parsec PackageName

Defined in Distribution.Types.PackageName

Methods

parsec :: CabalParsing m => m PackageName

Parsec UnqualComponentName

Defined in Distribution.Types.UnqualComponentName

Methods

parsec :: CabalParsing m => m UnqualComponentName

Parsec PackageVersionConstraint

Defined in Distribution.Types.PackageVersionConstraint

Methods

parsec :: CabalParsing m => m PackageVersionConstraint

Parsec LibraryVisibility

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)

Defined in Distribution.Types.MungedPackageName

Methods

parsec :: CabalParsing m => m MungedPackageName

Parsec ForeignLibType

Defined in Distribution.Types.ForeignLibType

Methods

parsec :: CabalParsing m => m ForeignLibType

Parsec ForeignLibOption

Defined in Distribution.Types.ForeignLibOption

Methods

parsec :: CabalParsing m => m ForeignLibOption

Parsec FlagName

Defined in Distribution.Types.Flag

Methods

parsec :: CabalParsing m => m FlagName

Parsec ExecutableScope

Defined in Distribution.Types.ExecutableScope

Methods

parsec :: CabalParsing m => m ExecutableScope

Parsec ComponentName

Defined in Distribution.Types.ComponentName

Methods

parsec :: CabalParsing m => m ComponentName

Parsec ComponentId

Defined in Distribution.Types.ComponentId

Methods

parsec :: CabalParsing m => m ComponentId

Parsec BuildType

Defined in Distribution.Types.BuildType

Methods

parsec :: CabalParsing m => m BuildType

Parsec AbiHash

Defined in Distribution.Types.AbiHash

Methods

parsec :: CabalParsing m => m AbiHash

Parsec Platform

Defined in Distribution.System

Methods

parsec :: CabalParsing m => m Platform

Parsec Arch

Defined in Distribution.System

Methods

parsec :: CabalParsing m => m Arch

Parsec OS

Defined in Distribution.System

Methods

parsec :: CabalParsing m => m OS

Parsec LicenseRef

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?"

Defined in Distribution.SPDX.LicenseId

Methods

parsec :: CabalParsing m => m LicenseId

Parsec LicenseExceptionId

Defined in Distribution.SPDX.LicenseExceptionId

Methods

parsec :: CabalParsing m => m LicenseExceptionId

Parsec SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

parsec :: CabalParsing m => m SimpleLicenseExpression

Parsec LicenseExpression

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

Defined in Distribution.SPDX.License

Methods

parsec :: CabalParsing m => m License

Parsec ModuleName

Defined in Distribution.ModuleName

Methods

parsec :: CabalParsing m => m ModuleName

Parsec ModuleRenaming

Defined in Distribution.Types.ModuleRenaming

Methods

parsec :: CabalParsing m => m ModuleRenaming

Parsec IncludeRenaming

Defined in Distribution.Types.IncludeRenaming

Methods

parsec :: CabalParsing m => m IncludeRenaming

Parsec Mixin

Defined in Distribution.Types.Mixin

Methods

parsec :: CabalParsing m => m Mixin

Parsec ModuleReexport

Defined in Distribution.Types.ModuleReexport

Methods

parsec :: CabalParsing m => m ModuleReexport

Parsec TestType

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

Defined in Distribution.Types.PackageId

Methods

parsec :: CabalParsing m => m PackageIdentifier

Parsec DefUnitId

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.

Defined in Distribution.Types.UnitId

Methods

parsec :: CabalParsing m => m UnitId

Parsec Module

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"]))

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"]))]))

Defined in Distribution.Backpack

Methods

parsec :: CabalParsing m => m OpenUnitId

Parsec ExposedModule

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

Defined in Distribution.Types.MungedPackageId

Methods

parsec :: CabalParsing m => m MungedPackageId

Parsec LegacyExeDependency

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

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

Defined in Distribution.Types.Dependency

Methods

parsec :: CabalParsing m => m Dependency

Parsec BenchmarkType

Defined in Distribution.Types.BenchmarkType

Methods

parsec :: CabalParsing m => m BenchmarkType

Parsec AbiDependency

Defined in Distribution.Types.AbiDependency

Methods

parsec :: CabalParsing m => m AbiDependency

Parsec License

Defined in Distribution.License

Methods

parsec :: CabalParsing m => m License

Parsec Extension

Defined in Language.Haskell.Extension

Methods

parsec :: CabalParsing m => m Extension

Parsec Language

Defined in Language.Haskell.Extension

Methods

parsec :: CabalParsing m => m Language

Parsec AbiTag

Defined in Distribution.Compiler

Methods

parsec :: CabalParsing m => m AbiTag

Parsec CompilerId

Defined in Distribution.Compiler

Methods

parsec :: CabalParsing m => m CompilerId

Parsec CompilerFlavor

Defined in Distribution.Compiler

Methods

parsec :: CabalParsing m => m CompilerFlavor

Parsec LibVersionInfo

Defined in Distribution.Types.ForeignLib

Methods

parsec :: CabalParsing m => m LibVersionInfo

Parsec FilePathNT

Defined in Distribution.Parsec.Newtypes

Methods

parsec :: CabalParsing m => m FilePathNT

Parsec TestedWith

Defined in Distribution.Parsec.Newtypes

Methods

parsec :: CabalParsing m => m TestedWith

Parsec SpecLicense

Defined in Distribution.Parsec.Newtypes

Methods

parsec :: CabalParsing m => m SpecLicense

Parsec SpecVersion

Defined in Distribution.Parsec.Newtypes

Methods

parsec :: CabalParsing m => m SpecVersion

Parsec Token'

Defined in Distribution.Parsec.Newtypes

Methods

parsec :: CabalParsing m => m Token'

Parsec Token

Defined in Distribution.Parsec.Newtypes

Methods

parsec :: CabalParsing m => m Token

Parsec TestShowDetails

Defined in Distribution.Simple.Setup

Methods

parsec :: CabalParsing m => m TestShowDetails

Parsec HaddockTarget

Defined in Distribution.Simple.Setup

Methods

parsec :: CabalParsing m => m HaddockTarget

Parsec a => Parsec (Identity a)

Defined in Distribution.Parsec

Methods

parsec :: CabalParsing m => m (Identity a)

Parsec a => Parsec (MQuoted a)

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)

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)

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

Defined in Distribution.Parsec

Methods

(>>=) :: ParsecParser a -> (a -> ParsecParser b) -> ParsecParser b

(>>) :: ParsecParser a -> ParsecParser b -> ParsecParser b

return :: a -> ParsecParser a

Functor ParsecParser

Defined in Distribution.Parsec

Methods

fmap :: (a -> b) -> ParsecParser a -> ParsecParser b

(<$) :: a -> ParsecParser b -> ParsecParser a

MonadFail ParsecParser

Defined in Distribution.Parsec

Methods

fail :: String -> ParsecParser a

Applicative ParsecParser

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

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

Defined in Distribution.Parsec

Methods

mzero :: ParsecParser a

mplus :: ParsecParser a -> ParsecParser a -> ParsecParser a

Parsing ParsecParser

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

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

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

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

Defined in Distribution.Parsec.Warning

Methods

minBound :: PWarnType

maxBound :: PWarnType

Enum PWarnType

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

Defined in Distribution.Parsec.Warning

Methods

(==) :: PWarnType -> PWarnType -> Bool

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

Ord PWarnType

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

Defined in Distribution.Parsec.Warning

Methods

showsPrec :: Int -> PWarnType -> ShowS

show :: PWarnType -> String

showList :: [PWarnType] -> ShowS

Generic PWarnType

Defined in Distribution.Parsec.Warning

Associated Types

type Rep PWarnType :: Type -> Type

Methods

from :: PWarnType -> Rep PWarnType x

to :: Rep PWarnType x -> PWarnType

Binary PWarnType

Defined in Distribution.Parsec.Warning

Methods

put :: PWarnType -> Put

get :: Get PWarnType

putList :: [PWarnType] -> Put

NFData PWarnType

Defined in Distribution.Parsec.Warning

Methods

rnf :: PWarnType -> ()

type Rep PWarnType

Defined in Distribution.Parsec.Warning

type Rep PWarnType = D1 ('MetaData "PWarnType" "Distribution.Parsec.Warning" "Cabal-3.2.0.0-inplace" 'False) ((((C1 ('MetaCons "PWTOther" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PWTUTF" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PWTBoolCase" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PWTVersionTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PWTNewSyntax" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PWTOldSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PWTDeprecatedField" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PWTInvalidSubsection" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PWTUnknownField" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PWTUnknownSection" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "PWTTrailingFields" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PWTExtraMainIs" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PWTExtraTestModule" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PWTExtraBenchmarkModule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PWTLexNBSP" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PWTLexBOM" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PWTLexTab" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PWTQuirkyCabalFile" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "PWTDoubleDash" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PWTMultipleSingularField" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PWTBuildTypeDefault" 'PrefixI 'False) (U1 :: Type -> Type))))))

data PWarning

Parser warning.

Constructors

PWarning !PWarnType !Position String

Instances

Show PWarning

Defined in Distribution.Parsec.Warning

Methods

showsPrec :: Int -> PWarning -> ShowS

show :: PWarning -> String

showList :: [PWarning] -> ShowS

Generic PWarning

Defined in Distribution.Parsec.Warning

Associated Types

type Rep PWarning :: Type -> Type

Methods

from :: PWarning -> Rep PWarning x

to :: Rep PWarning x -> PWarning

Binary PWarning

Defined in Distribution.Parsec.Warning

Methods

put :: PWarning -> Put

get :: Get PWarning

putList :: [PWarning] -> Put

NFData PWarning

Defined in Distribution.Parsec.Warning

Methods

rnf :: PWarning -> ()

type Rep PWarning

Defined in Distribution.Parsec.Warning

type Rep PWarning = D1 ('MetaData "PWarning" "Distribution.Parsec.Warning" "Cabal-3.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))))

showPWarning :: FilePath -> PWarning -> String

Errors

data PError

Parser error.

Constructors

PError Position String

Instances

Show PError

Defined in Distribution.Parsec.Error

Methods

showsPrec :: Int -> PError -> ShowS

show :: PError -> String

showList :: [PError] -> ShowS

Generic PError

Defined in Distribution.Parsec.Error

Associated Types

type Rep PError :: Type -> Type

Methods

from :: PError -> Rep PError x

to :: Rep PError x -> PError

Binary PError

Defined in Distribution.Parsec.Error

Methods

put :: PError -> Put

get :: Get PError

putList :: [PError] -> Put

NFData PError

Defined in Distribution.Parsec.Error

Methods

rnf :: PError -> ()

type Rep PError

Defined in Distribution.Parsec.Error

type Rep PError = D1 ('MetaData "PError" "Distribution.Parsec.Error" "Cabal-3.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

Position

data Position

1-indexed row and column positions in a file.

Constructors

Position !Int !Int

Instances

Eq Position

Defined in Distribution.Parsec.Position

Methods

(==) :: Position -> Position -> Bool

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

Ord Position

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

Defined in Distribution.Parsec.Position

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

Generic Position

Defined in Distribution.Parsec.Position

Associated Types

type Rep Position :: Type -> Type

Methods

from :: Position -> Rep Position x

to :: Rep Position x -> Position

Binary Position

Defined in Distribution.Parsec.Position

Methods

put :: Position -> Put

get :: Get Position

putList :: [Position] -> Put

NFData Position

Defined in Distribution.Parsec.Position

Methods

rnf :: Position -> ()

type Rep Position

Defined in Distribution.Parsec.Position

type Rep Position = D1 ('MetaData "Position" "Distribution.Parsec.Position" "Cabal-3.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

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