ModuleCabal-syntax-3.16.0.0Haskell2010

Distribution.PackageDescription.FieldGrammar

GenericPackageDescription Field descriptions

Contents

Package description
Library
Foreign library
Executable
Test suite
Lenses
Benchmark
Field grammars
Lenses
Flag
Source repository
Setup build info
Component build info

Synopsis

value packageDescriptionFieldGrammar
newtype CompatDataDir
newtype CompatLicenseFile
value libraryFieldGrammar
value foreignLibFieldGrammar
value executableFieldGrammar
data TestSuiteStanza
value testSuiteFieldGrammar
value validateTestSuite
value unvalidateTestSuite
value testStanzaTestType
value testStanzaMainIs
value testStanzaTestModule
value testStanzaBuildInfo
data BenchmarkStanza
value benchmarkFieldGrammar
value validateBenchmark
value unvalidateBenchmark
value formatDependencyList
value formatExposedModules
value formatExtraSourceFiles
value formatHsSourceDirs
value formatMixinList
value formatOtherExtensions
value formatOtherModules
value benchmarkStanzaBenchmarkType
value benchmarkStanzaMainIs
value benchmarkStanzaBenchmarkModule
value benchmarkStanzaBuildInfo
value flagFieldGrammar
value sourceRepoFieldGrammar
value setupBInfoFieldGrammar
value buildInfoFieldGrammar

PackageCabal-syntax-3.16.0.0
Exports33
LanguageHaskell2010
LicenceBSD-3-Clause
SourceFieldGrammar.hs

Package description

value

packageDescriptionFieldGrammar :: (FieldGrammar c g, Applicative (g PackageDescription), Applicative (g PackageIdentifier), c (Identity BuildType), c (Identity PackageName), c (Identity Version), forall from (to :: FileOrDir). c (List FSep (RelativePathNT from to) (RelativePath from to)), forall from (to :: FileOrDir). c (List VCat (RelativePathNT from to) (RelativePath from to)), c (List FSep TestedWith (CompilerFlavor, VersionRange)), c CompatLicenseFile, c CompatDataDir) => g PackageDescription PackageDescription

newtypenewtype CompatDataDir

Source#

Newtype for data directory (absolute or relative).

Accepts empty file path, but issues a warning; there are simply too many (~1200) package definition files

data-dir: ""

across Hackage to outrule them completely. I suspect some of them are generated (e.g. formatted) by machine.

Constructors

CompatDataDir
- getCompatDataDir :: SymbolicPath Pkg ('Dir DataDir)

Instances3Parsec, Pretty, Newtype

Parsec CompatDataDirDefined in Cabal-syntax-3.16.0.0 · Distribution.PackageDescription.FieldGrammar
Pretty CompatDataDirDefined in Cabal-syntax-3.16.0.0 · Distribution.PackageDescription.FieldGrammar
Newtype (SymbolicPath Pkg ('Dir DataDir)) CompatDataDirDefined in Cabal-syntax-3.16.0.0 · Distribution.PackageDescription.FieldGrammar

newtypenewtype CompatLicenseFile

Constructors

CompatLicenseFile
- getCompatLicenseFile :: [RelativePath Pkg 'File]

Instances3Parsec, Pretty, Newtype

Parsec CompatLicenseFileDefined in Cabal-syntax-3.16.0.0 · Distribution.PackageDescription.FieldGrammar
Pretty CompatLicenseFileDefined in Cabal-syntax-3.16.0.0 · Distribution.PackageDescription.FieldGrammar
Newtype [RelativePath Pkg 'File] CompatLicenseFileDefined in Cabal-syntax-3.16.0.0 · Distribution.PackageDescription.FieldGrammar

Library

valuelibraryFieldGrammar

:: (FieldGrammar c g, Applicative (g Library), Applicative (g BuildInfo), c (Identity LibraryVisibility), c (List CommaFSep (Identity ExeDependency) ExeDependency), c (List CommaFSep (Identity LegacyExeDependency) LegacyExeDependency), c (List CommaFSep (Identity PkgconfigDependency) PkgconfigDependency), c (List CommaVCat (Identity Dependency) Dependency), c (List CommaVCat (Identity Mixin) Mixin), c (List CommaVCat (Identity ModuleReexport) ModuleReexport), c (List FSep (MQuoted Extension) Extension), c (List FSep (MQuoted Language) Language), c (List FSep Token String), c (List NoCommaFSep Token' String), c (List VCat (MQuoted ModuleName) ModuleName), forall from (to :: FileOrDir). c (List FSep (SymbolicPathNT from to) (SymbolicPath from to)), forall from (to :: FileOrDir). c (List FSep (RelativePathNT from to) (RelativePath from to)), forall from (to :: FileOrDir). c (List VCat (SymbolicPathNT from to) (SymbolicPath from to)), c (List VCat Token String), c (MQuoted Language))
=> LibraryName
-> g Library Library

Foreign library

valueforeignLibFieldGrammar

:: (FieldGrammar c g, Applicative (g ForeignLib), Applicative (g BuildInfo), c (Identity ForeignLibType), c (Identity LibVersionInfo), c (Identity Version), c (List CommaFSep (Identity ExeDependency) ExeDependency), c (List CommaFSep (Identity LegacyExeDependency) LegacyExeDependency), c (List CommaFSep (Identity PkgconfigDependency) PkgconfigDependency), c (List CommaVCat (Identity Dependency) Dependency), c (List CommaVCat (Identity Mixin) Mixin), c (List FSep (Identity ForeignLibOption) ForeignLibOption), c (List FSep (MQuoted Extension) Extension), c (List FSep (MQuoted Language) Language), c (List FSep Token String), forall from (to :: FileOrDir). c (List FSep (SymbolicPathNT from to) (SymbolicPath from to)), forall from (to :: FileOrDir). c (List FSep (RelativePathNT from to) (RelativePath from to)), forall from (to :: FileOrDir). c (List VCat (SymbolicPathNT from to) (SymbolicPath from to)), c (List NoCommaFSep Token' String), c (List VCat (MQuoted ModuleName) ModuleName), c (List VCat Token String), c (MQuoted Language))
=> UnqualComponentName
-> g ForeignLib ForeignLib

Executable

valueexecutableFieldGrammar

:: (FieldGrammar c g, Applicative (g Executable), Applicative (g BuildInfo), c (Identity ExecutableScope), c (List CommaFSep (Identity ExeDependency) ExeDependency), c (List CommaFSep (Identity LegacyExeDependency) LegacyExeDependency), c (List CommaFSep (Identity PkgconfigDependency) PkgconfigDependency), c (List CommaVCat (Identity Dependency) Dependency), c (List CommaVCat (Identity Mixin) Mixin), c (List FSep (MQuoted Extension) Extension), c (List FSep (MQuoted Language) Language), c (List FSep Token String), forall from (to :: FileOrDir). c (List FSep (SymbolicPathNT from to) (SymbolicPath from to)), forall from (to :: FileOrDir). c (List FSep (RelativePathNT from to) (RelativePath from to)), forall from (to :: FileOrDir). c (List FSep (SymbolicPathNT from to) (SymbolicPath from to)), forall from (to :: FileOrDir). c (List FSep (RelativePathNT from to) (RelativePath from to)), forall from (to :: FileOrDir). c (List VCat (SymbolicPathNT from to) (SymbolicPath from to)), forall from (to :: FileOrDir). c (SymbolicPathNT from to), forall from (to :: FileOrDir). c (RelativePathNT from to), c (List NoCommaFSep Token' String), c (List VCat (MQuoted ModuleName) ModuleName), c (List VCat Token String), c (MQuoted Language))
=> UnqualComponentName
-> g Executable Executable

Test suite

datadata TestSuiteStanza

Source#

An intermediate type just used for parsing the test-suite stanza. After validation it is converted into the proper TestSuite type.

Constructors

TestSuiteStanza
- _testStanzaTestType :: Maybe TestType
- _testStanzaMainIs :: Maybe (RelativePath Source 'File)
- _testStanzaTestModule :: Maybe ModuleName
- _testStanzaBuildInfo :: BuildInfo
- _testStanzaCodeGenerators :: [String]

Instances2HasBuildInfo, FromBuildInfo

HasBuildInfo TestSuiteStanzaDefined in Cabal-syntax-3.16.0.0 · Distribution.PackageDescription.FieldGrammar
FromBuildInfo TestSuiteStanzaDefined in Cabal-syntax-3.16.0.0 · Distribution.PackageDescription.Parsec

value

testSuiteFieldGrammar :: (FieldGrammar c g, Applicative (g TestSuiteStanza), Applicative (g BuildInfo), c (Identity ModuleName), c (Identity TestType), c (List CommaFSep (Identity ExeDependency) ExeDependency), c (List CommaFSep (Identity LegacyExeDependency) LegacyExeDependency), c (List CommaFSep (Identity PkgconfigDependency) PkgconfigDependency), c (List CommaFSep Token String), c (List CommaVCat (Identity Dependency) Dependency), c (List CommaVCat (Identity Mixin) Mixin), c (List FSep (MQuoted Extension) Extension), c (List FSep (MQuoted Language) Language), c (List FSep Token String), c (List NoCommaFSep Token' String), c (List VCat (MQuoted ModuleName) ModuleName), forall from (to :: FileOrDir). c (List FSep (SymbolicPathNT from to) (SymbolicPath from to)), forall from (to :: FileOrDir). c (List FSep (RelativePathNT from to) (RelativePath from to)), forall from (to :: FileOrDir). c (List VCat (SymbolicPathNT from to) (SymbolicPath from to)), forall from (to :: FileOrDir). c (RelativePathNT from to), c (List VCat Token String), c (MQuoted Language)) => g TestSuiteStanza TestSuiteStanza

valuevalidateTestSuite

valueunvalidateTestSuite :: TestSuite -> TestSuiteStanza

Lenses

valuetestStanzaTestType :: Lens' TestSuiteStanza (Maybe TestType)

valuetestStanzaMainIs :: Lens' TestSuiteStanza (Maybe (RelativePath Source 'File))

valuetestStanzaTestModule :: Lens' TestSuiteStanza (Maybe ModuleName)

valuetestStanzaBuildInfo :: Lens' TestSuiteStanza BuildInfo

Benchmark

datadata BenchmarkStanza

Source#

An intermediate type just used for parsing the benchmark stanza. After validation it is converted into the proper Benchmark type.

Constructors

BenchmarkStanza
- _benchmarkStanzaBenchmarkType :: Maybe BenchmarkType
- _benchmarkStanzaMainIs :: Maybe (RelativePath Source 'File)
- _benchmarkStanzaBenchmarkModule :: Maybe ModuleName
- _benchmarkStanzaBuildInfo :: BuildInfo

Instances2HasBuildInfo, FromBuildInfo

HasBuildInfo BenchmarkStanzaDefined in Cabal-syntax-3.16.0.0 · Distribution.PackageDescription.FieldGrammar
FromBuildInfo BenchmarkStanzaDefined in Cabal-syntax-3.16.0.0 · Distribution.PackageDescription.Parsec

value

benchmarkFieldGrammar :: (FieldGrammar c g, Applicative (g BenchmarkStanza), Applicative (g BuildInfo), c (Identity BenchmarkType), c (Identity ModuleName), c (List CommaFSep (Identity ExeDependency) ExeDependency), c (List CommaFSep (Identity LegacyExeDependency) LegacyExeDependency), c (List CommaFSep (Identity PkgconfigDependency) PkgconfigDependency), c (List CommaVCat (Identity Dependency) Dependency), c (List CommaVCat (Identity Mixin) Mixin), c (List FSep (MQuoted Extension) Extension), c (List FSep (MQuoted Language) Language), c (List FSep Token String), c (List NoCommaFSep Token' String), c (List VCat (MQuoted ModuleName) ModuleName), forall from (to :: FileOrDir). c (List FSep (SymbolicPathNT from to) (SymbolicPath from to)), forall from (to :: FileOrDir). c (List FSep (RelativePathNT from to) (RelativePath from to)), forall from (to :: FileOrDir). c (List VCat (SymbolicPathNT from to) (SymbolicPath from to)), forall from (to :: FileOrDir). c (RelativePathNT from to), c (List VCat Token String), c (MQuoted Language)) => g BenchmarkStanza BenchmarkStanza

valuevalidateBenchmark

valueunvalidateBenchmark :: Benchmark -> BenchmarkStanza

Field grammars

valueformatDependencyList

:: [Dependency]
-> List CommaVCat (Identity Dependency) Dependency

valueformatExposedModules

:: [ModuleName]
-> List VCat (MQuoted ModuleName) ModuleName

valueformatExtraSourceFiles

:: [RelativePath Pkg 'File]
-> List VCat (RelativePathNT Pkg 'File) (RelativePath Pkg 'File)

valueformatHsSourceDirs

:: [SymbolicPath Pkg ('Dir Source)]
-> List FSep (SymbolicPathNT Pkg ('Dir Source)) (SymbolicPath Pkg ('Dir Source))

valueformatMixinList :: [Mixin] -> List CommaVCat (Identity Mixin) Mixin

valueformatOtherExtensions

:: [Extension]
-> List FSep (MQuoted Extension) Extension

valueformatOtherModules

:: [ModuleName]
-> List VCat (MQuoted ModuleName) ModuleName

Lenses

valuebenchmarkStanzaBenchmarkType :: Lens' BenchmarkStanza (Maybe BenchmarkType)

valuebenchmarkStanzaMainIs :: Lens' BenchmarkStanza (Maybe (RelativePath Source 'File))

valuebenchmarkStanzaBenchmarkModule :: Lens' BenchmarkStanza (Maybe ModuleName)

valuebenchmarkStanzaBuildInfo :: Lens' BenchmarkStanza BuildInfo

Flag

valueflagFieldGrammar

:: (FieldGrammar c g, Applicative (g PackageFlag))
=> FlagName
-> g PackageFlag PackageFlag

Source repository

valuesourceRepoFieldGrammar

:: (FieldGrammar c g, Applicative (g SourceRepo), c (Identity RepoType), c Token, c FilePathNT)
=> RepoKind
-> g SourceRepo SourceRepo

Setup build info

valuesetupBInfoFieldGrammar

:: (FieldGrammar c g, Functor (g SetupBuildInfo), c (List CommaVCat (Identity Dependency) Dependency))
=> Bool
-> g SetupBuildInfo SetupBuildInfo

Component build info

value

buildInfoFieldGrammar :: (FieldGrammar c g, Applicative (g BuildInfo), c (List CommaFSep (Identity ExeDependency) ExeDependency), c (List CommaFSep (Identity LegacyExeDependency) LegacyExeDependency), c (List CommaFSep (Identity PkgconfigDependency) PkgconfigDependency), c (List CommaVCat (Identity Dependency) Dependency), c (List CommaVCat (Identity Mixin) Mixin), c (List FSep (MQuoted Extension) Extension), c (List FSep (MQuoted Language) Language), c (List FSep Token String), c (List NoCommaFSep Token' String), c (List VCat (MQuoted ModuleName) ModuleName), forall from (to :: FileOrDir). c (List FSep (SymbolicPathNT from to) (SymbolicPath from to)), forall from (to :: FileOrDir). c (List FSep (RelativePathNT from to) (RelativePath from to)), forall from (to :: FileOrDir). c (List VCat (SymbolicPathNT from to) (SymbolicPath from to)), c (List VCat Token String), c (MQuoted Language)) => g BuildInfo BuildInfo