Stack.Config

The general Stack configuration that starts everything off. This should be smart to falback if there is no stack.yaml, instead relying on whatever files are available.

If there is no stack.yaml, and there is a cabal.config, we read in those constraints, and if there's a cabal.sandbox.config, we read any constraints from there and also find the package database from there, etc. And if there's nothing, we should probably default to behaving like cabal, possibly with spitting out a warning that "you should run `stk init` to make things better".

Documentation

data MiniConfig

An environment with a subset of BuildConfig used for setup.

Instances

HasHttpManager MiniConfig

HasConfig MiniConfig

HasGHCVariant MiniConfig

HasPlatform MiniConfig

HasStackRoot MiniConfig

loadConfig

Arguments

:: (MonadLogger m, MonadIO m, MonadMask m, MonadBaseControl IO m, MonadReader env m, HasHttpManager env, HasTerminal env)

=> ConfigMonoid

Config monoid from parsed command-line arguments

-> Maybe AbstractResolver

Override resolver

-> Maybe (Path Abs File)

Override stack.yaml

-> m (LoadConfig m)

Load the configuration, using current directory, environment variables, and defaults as necessary. The passed Maybe (Path Abs File) is an override for the location of the project's stack.yaml.

loadConfigMaybeProject

Arguments

:: (MonadLogger m, MonadIO m, MonadMask m, MonadBaseControl IO m, MonadReader env m, HasHttpManager env, HasTerminal env)

=> ConfigMonoid

Config monoid from parsed command-line arguments

-> Maybe AbstractResolver

Override resolver

-> Maybe (Project, Path Abs File, ConfigMonoid)

Project config to use, if any

-> m (LoadConfig m)

loadMiniConfig :: MonadIO m => Manager -> Config -> m MiniConfig

Load the MiniConfig.

packagesParser :: Parser [String]

resolvePackageEntry

Arguments

:: (MonadIO m, MonadReader env m, HasHttpManager env, MonadLogger m, MonadCatch m, MonadBaseControl IO m, HasConfig env)

=> EnvOverride

-> Path Abs Dir

project root

-> PackageEntry

-> m [(Path Abs Dir, TreatLikeExtraDep)]

Resolve a PackageEntry into a list of paths, downloading and cloning as necessary.

getImplicitGlobalProjectDir :: (MonadIO m, MonadLogger m) => Config -> m (Path Abs Dir)

Get the location of the implicit global project directory. If the directory already exists at the deprecated location, its location is returned. Otherwise, the new location is returned.

getSnapshots :: (MonadThrow m, MonadMask m, MonadIO m, MonadReader env m, HasHttpManager env, HasConfig env, MonadLogger m) => m Snapshots

Download the Snapshots value from stackage.org.

makeConcreteResolver :: (MonadIO m, MonadReader env m, HasConfig env, MonadThrow m, MonadMask m, HasHttpManager env, MonadLogger m) => AbstractResolver -> m Resolver

Turn an AbstractResolver into a Resolver.

checkOwnership :: (MonadIO m, MonadCatch m) => Path Abs Dir -> m ()

checkOwnership dir throws UserDoesn'tOwnDirectory if dir isn't owned by the current user.

If dir doesn't exist, its parent directory is checked instead. If the parent directory doesn't exist either, NoSuchDirectory (parent dir) is thrown.

getInContainer :: MonadIO m => m Bool

True if we are currently running inside a Docker container.