Stack.Package

Dealing with Cabal.

Documentation

readDotBuildinfo :: MonadIO m => Path Abs File -> m HookedBuildInfo

Read package.buildinfo ancillary files produced by some Setup.hs hooks. The file includes Cabal file syntax to be merged into the package description derived from the package's Cabal file.

NOTE: not to be confused with BuildInfo, an Stack-internal datatype.

resolvePackage :: PackageConfig -> GenericPackageDescription -> Package

Resolve a parsed Cabal file into a Package, which contains all of the info needed for Stack to build the Package given the current configuration.

packageFromPackageDescription :: PackageConfig -> [PackageFlag] -> PackageDescriptionPair -> Package

data Package

Some package info.

Constructors

Package

Fields

• packageName :: !PackageName

  Name of the package.

• packageVersion :: !Version

  Version of the package

• packageLicense :: !(Either License License)

  The license the package was released under.

• packageFiles :: !GetPackageFiles

  Get all files of the package.

• packageDeps :: !(Map PackageName DepValue)

  Packages that the package depends on, both as libraries and build tools.

• packageUnknownTools :: !(Set ExeName)

  Build tools specified in the legacy manner (build-tools:) that failed the hard-coded lookup.

• packageAllDeps :: !(Set PackageName)

  Original dependencies (not sieved).

• packageSubLibDeps :: !(Map MungedPackageName DepValue)

  Original sub-library dependencies (not sieved).

• packageGhcOptions :: ![Text]

  Ghc options used on package.

• packageCabalConfigOpts :: ![Text]

  Additional options passed to ./Setup.hs configure

• packageFlags :: !(Map FlagName Bool)

  Flags used on package.

• packageDefaultFlags :: !(Map FlagName Bool)

  Defaults for unspecified flags.

• packageLibraries :: !PackageLibraries

  does the package have a buildable library stanza?

• packageInternalLibraries :: !(Set Text)

  names of internal libraries

• packageTests :: !(Map Text TestSuiteInterface)

  names and interfaces of test suites

• packageBenchmarks :: !(Set Text)

  names of benchmarks

• packageExes :: !(Set Text)

  names of executables

• packageOpts :: !GetPackageOpts

  Args to pass to GHC.

• packageHasExposedModules :: !Bool

  Does the package have exposed modules?

• packageBuildType :: !BuildType

  Package build-type.

• packageSetupDeps :: !(Maybe (Map PackageName VersionRange))

  If present: custom-setup dependencies

• packageCabalSpec :: !CabalSpecVersion

  Cabal spec range

Instances

Show Package

Defined in Stack.Types.Package

Methods

showsPrec :: Int -> Package -> ShowS

show :: Package -> String

showList :: [Package] -> ShowS

Eq Package

Compares the package name.

Defined in Stack.Types.Package

Methods

(==) :: Package -> Package -> Bool

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

Ord Package

Compares the package name.

Defined in Stack.Types.Package

Methods

compare :: Package -> Package -> Ordering

(<) :: Package -> Package -> Bool

(<=) :: Package -> Package -> Bool

(>) :: Package -> Package -> Bool

(>=) :: Package -> Package -> Bool

max :: Package -> Package -> Package

min :: Package -> Package -> Package

data PackageDescriptionPair

A pair of package descriptions: one which modified the buildable values of test suites and benchmarks depending on whether they are enabled, and one which does not.

Fields are intentionally lazy, we may only need one or the other value.

Michael S Snoyman 2017-08-29: The very presence of this data type is terribly ugly, it represents the fact that the Cabal 2.0 upgrade did _not_ go well. Specifically, we used to have a field to indicate whether a component was enabled in addition to buildable, but that's gone now, and this is an ugly proxy. We should at some point clean up the mess of Package, LocalPackage, etc, and probably pull in the definition of PackageDescription from Cabal with our additionally needed metadata. But this is a good enough hack for the moment. Odds are, you're reading this in the year 2024 and thinking "wtf?"

Constructors

PackageDescriptionPair

Fields

• pdpOrigBuildable :: PackageDescription
• pdpModifiedBuildable :: PackageDescription

newtype GetPackageOpts

Files that the package depends on, relative to package directory. Argument is the location of the Cabal file

Constructors

GetPackageOpts

Fields

• getPackageOpts :: forall env. HasEnvConfig env => InstallMap -> InstalledMap -> [PackageName] -> [PackageName] -> Path Abs File -> RIO env (Map NamedComponent (Map ModuleName (Path Abs File)), Map NamedComponent [DotCabalPath], Map NamedComponent BuildInfoOpts)

Instances

Show GetPackageOpts

Defined in Stack.Types.Package

Methods

showsPrec :: Int -> GetPackageOpts -> ShowS

show :: GetPackageOpts -> String

showList :: [GetPackageOpts] -> ShowS

data PackageConfig

Package build configuration

Constructors

PackageConfig

Fields

• packageConfigEnableTests :: !Bool

  Are tests enabled?

• packageConfigEnableBenchmarks :: !Bool

  Are benchmarks enabled?

• packageConfigFlags :: !(Map FlagName Bool)

  Configured flags.

• packageConfigGhcOptions :: ![Text]

  Configured ghc options.

• packageConfigCabalConfigOpts :: ![Text]

  ./Setup.hs configure options

• packageConfigCompilerVersion :: ActualCompiler

  GHC version

• packageConfigPlatform :: !Platform

  host platform

Instances

Show PackageConfig

Defined in Stack.Types.Package

Methods

showsPrec :: Int -> PackageConfig -> ShowS

show :: PackageConfig -> String

showList :: [PackageConfig] -> ShowS

buildLogPath :: (MonadReader env m, HasBuildConfig env, MonadThrow m) => Package -> Maybe String -> m (Path Abs File)

Path for the package's build log.

data PackageException

Type representing exceptions thrown by functions exported by the Stack.Package module.

Constructors

PackageInvalidCabalFile !(Either PackageIdentifierRevision (Path Abs File)) !(Maybe Version) ![PError] ![PWarning]

MismatchedCabalIdentifier !PackageIdentifierRevision !PackageIdentifier

CabalFileNameParseFail FilePath

CabalFileNameInvalidPackageName FilePath

ComponentNotParsedBug

Instances

Exception PackageException

Defined in Stack.Types.Package

Methods

toException :: PackageException -> SomeException

fromException :: SomeException -> Maybe PackageException

displayException :: PackageException -> String

Show PackageException

Defined in Stack.Types.Package

Methods

showsPrec :: Int -> PackageException -> ShowS

show :: PackageException -> String

showList :: [PackageException] -> ShowS

resolvePackageDescription :: PackageConfig -> GenericPackageDescription -> PackageDescriptionPair

Evaluates the conditions of a GenericPackageDescription, yielding a resolved PackageDescription.

packageDependencies :: PackageDescription -> Map PackageName VersionRange

Get all dependencies of the package (buildable targets only).

applyForceCustomBuild

Arguments

:: Version

global Cabal version

-> Package

-> Package

Force a package to be treated as a custom build type, see https://github.com/commercialhaskell/stack/issues/4488