stack-1.7.1: The Haskell Tool Stack

Safe HaskellNone
LanguageHaskell2010

Stack.Types.Config

Contents

Description

The Config type.

Synopsis

Main configuration types and classes

HasPlatform & HasStackRoot

Config & HasConfig

data Config Source #

The top-level Stackage configuration.

Constructors

Config 

Fields

askLatestSnapshotUrl :: (MonadReader env m, HasConfig env) => m Text Source #

Get the URL to request the information on the latest snapshots

explicitSetupDeps :: (MonadReader env m, HasConfig env) => PackageName -> m Bool Source #

Provide an explicit list of package dependencies when running a custom Setup.hs

BuildConfig & HasBuildConfig

data BuildConfig Source #

A superset of Config adding information on how to build code. The reason for this breakdown is because we will need some of the information from Config in order to determine the values here.

These are the components which know nothing about local configuration.

Constructors

BuildConfig 

Fields

data LocalPackageView Source #

A view of a local package needed for resolving components

lpvRoot :: LocalPackageView -> Path Abs Dir Source #

Root directory for the given LocalPackageView

lpvName :: LocalPackageView -> PackageName Source #

Package name for the given 'LocalPackageView

lpvVersion :: LocalPackageView -> Version Source #

Version for the given 'LocalPackageView

lpvComponents :: LocalPackageView -> Set NamedComponent Source #

All components available in the given LocalPackageView

projectRootL :: HasBuildConfig env => Getting r env (Path Abs Dir) Source #

Directory containing the project's stack.yaml file

GHCVariant & HasGHCVariant

data GHCVariant Source #

Specialized bariant of GHC (e.g. libgmp4 or integer-simple)

Constructors

GHCStandard

Standard bindist

GHCIntegerSimple

Bindist that uses integer-simple

GHCCustom String

Other bindists

ghcVariantName :: GHCVariant -> String Source #

Render a GHC variant to a String.

ghcVariantSuffix :: GHCVariant -> String Source #

Render a GHC variant to a String suffix.

parseGHCVariant :: MonadThrow m => String -> m GHCVariant Source #

Parse GHC variant from a String.

snapshotsDir :: (MonadReader env m, HasEnvConfig env, MonadThrow m) => m (Path Abs Dir) Source #

Directory containing snapshots

EnvConfig & HasEnvConfig

data EnvConfig Source #

Configuration after the environment has been setup.

Constructors

EnvConfig 

Fields

class (HasBuildConfig env, HasGHCVariant env) => HasEnvConfig env where Source #

Minimal complete definition

envConfigL

getCompilerPath :: (MonadIO m, MonadThrow m, MonadReader env m, HasConfig env) => WhichCompiler -> m (Path Abs File) Source #

Get the path for the given compiler ignoring any local binaries.

https://github.com/commercialhaskell/stack/issues/1052

Details

ApplyGhcOptions

data ApplyGhcOptions Source #

Which packages do ghc-options on the command line apply to?

Constructors

AGOTargets

all local targets

AGOLocals

all local packages, even non-targets

AGOEverything

every package

Instances

Bounded ApplyGhcOptions Source # 
Enum ApplyGhcOptions Source # 
Eq ApplyGhcOptions Source # 
Ord ApplyGhcOptions Source # 
Read ApplyGhcOptions Source # 
Show ApplyGhcOptions Source # 
FromJSON ApplyGhcOptions Source # 

ConfigException

WhichSolverCmd

ConfigMonoid

data ConfigMonoid Source #

Constructors

ConfigMonoid 

Fields

Instances

Show ConfigMonoid Source # 
Generic ConfigMonoid Source # 

Associated Types

type Rep ConfigMonoid :: * -> * #

Semigroup ConfigMonoid Source # 
Monoid ConfigMonoid Source # 
type Rep ConfigMonoid Source # 
type Rep ConfigMonoid = D1 * (MetaData "ConfigMonoid" "Stack.Types.Config" "stack-1.7.1-8x9NSKj6gz3B3M9RWkyZVt" False) (C1 * (MetaCons "ConfigMonoid" PrefixI True) ((:*:) * ((:*:) * ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidStackRoot") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First (Path Abs Dir)))) (S1 * (MetaSel (Just Symbol "configMonoidWorkDir") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First (Path Rel Dir))))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidBuildOpts") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * BuildOptsMonoid)) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidDockerOpts") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * DockerOptsMonoid)) (S1 * (MetaSel (Just Symbol "configMonoidNixOpts") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * NixOptsMonoid))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidConnectionCount") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Int))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidHideTHLoading") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))) (S1 * (MetaSel (Just Symbol "configMonoidLatestSnapshotUrl") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Text))))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidUrls") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * UrlsMonoid)) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidPackageIndices") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First [PackageIndex]))) (S1 * (MetaSel (Just Symbol "configMonoidSystemGHC") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))))))) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidInstallGHC") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))) (S1 * (MetaSel (Just Symbol "configMonoidSkipGHCCheck") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool)))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidSkipMsys") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidCompilerCheck") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First VersionCheck))) (S1 * (MetaSel (Just Symbol "configMonoidRequireStackVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * IntersectingVersionRange))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidArch") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First String))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidGHCVariant") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First GHCVariant))) (S1 * (MetaSel (Just Symbol "configMonoidGHCBuild") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First CompilerBuild))))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidJobs") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Int))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidExtraIncludeDirs") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Set FilePath))) (S1 * (MetaSel (Just Symbol "configMonoidExtraLibDirs") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Set FilePath)))))))) ((:*:) * ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidOverrideGccPath") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First (Path Abs File)))) (S1 * (MetaSel (Just Symbol "configMonoidOverrideHpack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First FilePath)))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidConcurrentTests") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidLocalBinPath") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First FilePath))) (S1 * (MetaSel (Just Symbol "configMonoidImageOpts") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * ImageOptsMonoid))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidTemplateParameters") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map Text Text))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidScmInit") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First SCM))) (S1 * (MetaSel (Just Symbol "configMonoidGhcOptionsByName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map PackageName [Text]))))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidGhcOptionsByCat") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map ApplyGhcOptions [Text]))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidExtraPath") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * [Path Abs Dir])) (S1 * (MetaSel (Just Symbol "configMonoidSetupInfoLocations") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * [SetupInfoLocation])))))) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidLocalProgramsBase") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First (Path Abs Dir)))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidPvpBounds") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First PvpBounds))) (S1 * (MetaSel (Just Symbol "configMonoidModifyCodePage") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidExplicitSetupDeps") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map (Maybe PackageName) Bool))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidRebuildGhcOptions") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))) (S1 * (MetaSel (Just Symbol "configMonoidApplyGhcOptions") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First ApplyGhcOptions)))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidAllowNewer") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidDefaultTemplate") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First TemplateName))) (S1 * (MetaSel (Just Symbol "configMonoidAllowDifferentUser") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidDumpLogs") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First DumpLogs))) ((:*:) * (S1 * (MetaSel (Just Symbol "configMonoidSaveHackageCreds") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))) (S1 * (MetaSel (Just Symbol "configMonoidIgnoreRevisionMismatch") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))))))))))

DumpLogs

EnvSettings

data EnvSettings Source #

Controls which version of the environment is used

Constructors

EnvSettings 

Fields

defaultEnvSettings :: EnvSettings Source #

Default EnvSettings which includes locals and GHC_PACKAGE_PATH.

Note that this also passes through the GHCRTS environment variable. See https://github.com/commercialhaskell/stack/issues/3444

plainEnvSettings :: EnvSettings Source #

Environment settings which do not embellish the environment

Note that this also passes through the GHCRTS environment variable. See https://github.com/commercialhaskell/stack/issues/3444

GlobalOpts & GlobalOptsMonoid

data GlobalOpts Source #

Parsed global command-line options.

Constructors

GlobalOpts 

Fields

data GlobalOptsMonoid Source #

Parsed global command-line options monoid.

Constructors

GlobalOptsMonoid 

Fields

Instances

Show GlobalOptsMonoid Source # 
Generic GlobalOptsMonoid Source # 
Semigroup GlobalOptsMonoid Source # 
Monoid GlobalOptsMonoid Source # 
type Rep GlobalOptsMonoid Source # 
type Rep GlobalOptsMonoid = D1 * (MetaData "GlobalOptsMonoid" "Stack.Types.Config" "stack-1.7.1-8x9NSKj6gz3B3M9RWkyZVt" False) (C1 * (MetaCons "GlobalOptsMonoid" PrefixI True) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "globalMonoidReExecVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First String))) (S1 * (MetaSel (Just Symbol "globalMonoidDockerEntrypoint") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First DockerEntrypoint)))) ((:*:) * (S1 * (MetaSel (Just Symbol "globalMonoidLogLevel") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First LogLevel))) ((:*:) * (S1 * (MetaSel (Just Symbol "globalMonoidTimeInLog") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))) (S1 * (MetaSel (Just Symbol "globalMonoidConfigMonoid") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * ConfigMonoid))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "globalMonoidResolver") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First AbstractResolver))) ((:*:) * (S1 * (MetaSel (Just Symbol "globalMonoidCompiler") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First (CompilerVersion CVWanted)))) (S1 * (MetaSel (Just Symbol "globalMonoidTerminal") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Bool))))) ((:*:) * (S1 * (MetaSel (Just Symbol "globalMonoidColorWhen") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First ColorWhen))) ((:*:) * (S1 * (MetaSel (Just Symbol "globalMonoidTermWidth") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First Int))) (S1 * (MetaSel (Just Symbol "globalMonoidStackYaml") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (First FilePath))))))))

data StackYamlLoc filepath Source #

Constructors

SYLDefault 
SYLOverride !filepath 
SYLNoConfig !(Path Abs Dir)

FilePath is the directory containing the script file, used for resolving custom snapshot files.

Instances

Functor StackYamlLoc Source # 

Methods

fmap :: (a -> b) -> StackYamlLoc a -> StackYamlLoc b #

(<$) :: a -> StackYamlLoc b -> StackYamlLoc a #

Foldable StackYamlLoc Source # 

Methods

fold :: Monoid m => StackYamlLoc m -> m #

foldMap :: Monoid m => (a -> m) -> StackYamlLoc a -> m #

foldr :: (a -> b -> b) -> b -> StackYamlLoc a -> b #

foldr' :: (a -> b -> b) -> b -> StackYamlLoc a -> b #

foldl :: (b -> a -> b) -> b -> StackYamlLoc a -> b #

foldl' :: (b -> a -> b) -> b -> StackYamlLoc a -> b #

foldr1 :: (a -> a -> a) -> StackYamlLoc a -> a #

foldl1 :: (a -> a -> a) -> StackYamlLoc a -> a #

toList :: StackYamlLoc a -> [a] #

null :: StackYamlLoc a -> Bool #

length :: StackYamlLoc a -> Int #

elem :: Eq a => a -> StackYamlLoc a -> Bool #

maximum :: Ord a => StackYamlLoc a -> a #

minimum :: Ord a => StackYamlLoc a -> a #

sum :: Num a => StackYamlLoc a -> a #

product :: Num a => StackYamlLoc a -> a #

Traversable StackYamlLoc Source # 

Methods

traverse :: Applicative f => (a -> f b) -> StackYamlLoc a -> f (StackYamlLoc b) #

sequenceA :: Applicative f => StackYamlLoc (f a) -> f (StackYamlLoc a) #

mapM :: Monad m => (a -> m b) -> StackYamlLoc a -> m (StackYamlLoc b) #

sequence :: Monad m => StackYamlLoc (m a) -> m (StackYamlLoc a) #

Show filepath => Show (StackYamlLoc filepath) Source # 

Methods

showsPrec :: Int -> StackYamlLoc filepath -> ShowS #

show :: StackYamlLoc filepath -> String #

showList :: [StackYamlLoc filepath] -> ShowS #

defaultLogLevel :: LogLevel Source #

Default logging level should be something useful but not crazy.

LoadConfig

PackageIndex, IndexName & IndexLocation

data PackageIndex Source #

Information on a single package index

Constructors

PackageIndex 

Fields

Project & ProjectAndConfigMonoid

data Project Source #

A project is a collection of packages. We can have multiple stack.yaml files, but only one of them may contain project information.

Constructors

Project 

Fields

PvpBounds

data PvpBoundsType Source #

How PVP bounds should be added to .cabal files

ColorWhen

SCM

data SCM Source #

A software control system.

Constructors

Git 

Paths

bindirSuffix :: Path Rel Dir Source #

Suffix applied to an installation root to get the bin dir

configInstalledCache :: (HasBuildConfig env, MonadReader env m) => m (Path Abs File) Source #

File containing the installed cache, see Stack.PackageDump

data GlobalInfoSource Source #

Where do we get information on global packages for loading up a LoadedSnapshot?

Constructors

GISSnapshotHints

Accept the hints in the snapshot definition

GISCompiler (CompilerVersion CVActual)

Look up the actual information in the installed compiler

getProjectWorkDir :: (HasBuildConfig env, MonadReader env m) => m (Path Abs Dir) Source #

Per-project work dir

docDirSuffix :: Path Rel Dir Source #

Suffix applied to an installation root to get the doc dir

flagCacheLocal :: (MonadThrow m, MonadReader env m, HasEnvConfig env) => m (Path Abs Dir) Source #

Directory for holding flag cache information

extraBinDirs :: (MonadThrow m, MonadReader env m, HasEnvConfig env) => m (Bool -> [Path Abs Dir]) Source #

Get the extra bin directories (for the PATH). Puts more local first

Bool indicates whether or not to include the locals

hpcReportDir :: (MonadThrow m, MonadReader env m, HasEnvConfig env) => m (Path Abs Dir) Source #

Where HPC reports and tix files get stored.

installationRootDeps :: (MonadThrow m, MonadReader env m, HasEnvConfig env) => m (Path Abs Dir) Source #

Installation root for dependencies

installationRootLocal :: (MonadThrow m, MonadReader env m, HasEnvConfig env) => m (Path Abs Dir) Source #

Installation root for locals

bindirCompilerTools :: (MonadThrow m, MonadReader env m, HasEnvConfig env) => m (Path Abs Dir) Source #

Installation root for compiler tools

hoogleRoot :: (MonadThrow m, MonadReader env m, HasEnvConfig env) => m (Path Abs Dir) Source #

Hoogle directory.

hoogleDatabasePath :: (MonadThrow m, MonadReader env m, HasEnvConfig env) => m (Path Abs File) Source #

Get the hoogle database path.

packageDatabaseDeps :: (MonadThrow m, MonadReader env m, HasEnvConfig env) => m (Path Abs Dir) Source #

Package database for installing dependencies into

packageDatabaseExtra :: (MonadReader env m, HasEnvConfig env) => m [Path Abs Dir] Source #

Extra package databases

packageDatabaseLocal :: (MonadThrow m, MonadReader env m, HasEnvConfig env) => m (Path Abs Dir) Source #

Package database for installing local packages into

platformOnlyRelDir :: (MonadReader env m, HasPlatform env, MonadThrow m) => m (Path Rel Dir) Source #

Relative directory for the platform identifier

platformGhcRelDir :: (MonadReader env m, HasEnvConfig env, MonadThrow m) => m (Path Rel Dir) Source #

Relative directory for the platform and GHC identifier

platformGhcVerOnlyRelDir :: (MonadReader env m, HasPlatform env, HasGHCVariant env, MonadThrow m) => m (Path Rel Dir) Source #

Relative directory for the platform and GHC identifier without GHC bindist build

useShaPathOnWindows :: MonadThrow m => Path Rel Dir -> m (Path Rel Dir) Source #

This is an attempt to shorten stack paths on Windows to decrease our chances of hitting 260 symbol path limit. The idea is to calculate SHA1 hash of the path used on other architectures, encode with base 16 and take first 8 symbols of it.

shaPath :: (IsPath Rel t, MonadThrow m) => Path Rel t -> m (Path Rel t) Source #

shaPathForBytes :: (IsPath Rel t, MonadThrow m) => ByteString -> m (Path Rel t) Source #

workDirL :: HasConfig env => Lens' env (Path Rel Dir) Source #

".stack-work"

Command-specific types

Eval

data EvalOpts Source #

Constructors

EvalOpts 

Exec

Setup

data DownloadInfo Source #

Build of the compiler distribution (e.g. standard, gmp4, tinfo6) | Information for a file to download.

Docker entrypoint

newtype DockerEntrypoint Source #

Data passed into Docker container for the Docker entrypoint's use

Constructors

DockerEntrypoint 

Fields

data DockerUser Source #

Docker host user info

Constructors

DockerUser 

Fields

Lens helpers

wantedCompilerVersionL :: HasBuildConfig s => Getting r s (CompilerVersion CVWanted) Source #

The compiler specified by the SnapshotDef. This may be different from the actual compiler used!

actualCompilerVersionL :: HasEnvConfig s => Lens' s (CompilerVersion CVActual) Source #

The version of the compiler which will actually be used. May be different than that specified in the SnapshotDef and returned by wantedCompilerVersionL.

Lens reexport

view :: MonadReader s m => Getting a s a -> m a #

to :: (s -> a) -> SimpleGetter s a #

to creates a getter from any function:

a ^. to f = f a

It's most useful in chains, because it lets you mix lenses and ordinary functions. Suppose you have a record which comes from some third-party library and doesn't have any lens accessors. You want to do something like this:

value ^. _1 . field . at 2

However, field isn't a getter, and you have to do this instead:

field (value ^. _1) ^. at 2

but now value is in the middle and it's hard to read the resulting code. A variant with to is prettier and more readable:

value ^. _1 . to field . at 2