-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | The Haskell Tool Stack -- -- Please see the README.md for usage information, and the wiki on Github -- for more details. Also, note that the API for the library is not -- currently stable, and may change significantly, even between minor -- releases. It is currently only intended for use by the executable. @package stack @version 1.6.1.1 module Paths_stack version :: Version getBinDir :: IO FilePath getLibDir :: IO FilePath getDynLibDir :: IO FilePath getDataDir :: IO FilePath getLibexecDir :: IO FilePath getDataFileName :: FilePath -> IO FilePath getSysconfDir :: IO FilePath module Stack.Prelude mapLeft :: (a1 -> a2) -> Either a1 b -> Either a2 b -- | The Resource transformer. This transformer keeps track of all -- registered actions, and calls them upon exit (via -- runResourceT). Actions may be registered via -- register, or resources may be allocated atomically via -- allocate. allocate corresponds closely to -- bracket. -- -- Releasing may be performed before exit via the release -- function. This is a highly recommended optimization, as it will ensure -- that scarce resources are freed early. Note that calling -- release will deregister the action, so that a release action -- will only ever be called once. -- -- Since 0.3.0 data ResourceT (m :: * -> *) a :: (* -> *) -> * -> * runConduitRes :: MonadUnliftIO m => ConduitM () Void (ResourceT m) r -> m r runResourceT :: MonadUnliftIO m => ResourceT m a -> m a liftResourceT :: MonadIO m => ResourceT IO a -> ResourceT m a -- | Avoid orphan messes newtype NoLogging a NoLogging :: IO a -> NoLogging a [runNoLogging] :: NoLogging a -> IO a -- | Path version withSystemTempDir :: MonadUnliftIO m => String -> (Path Abs Dir -> m a) -> m a fromFirst :: a -> First a -> a -- | Applicative mapMaybe. mapMaybeA :: Applicative f => (a -> f (Maybe b)) -> [a] -> f [b] -- | Monadic mapMaybe. mapMaybeM :: Monad m => (a -> m (Maybe b)) -> [a] -> m [b] -- |
-- forMaybeA == flip mapMaybeA --forMaybeA :: Applicative f => [a] -> (a -> f (Maybe b)) -> f [b] -- |
-- forMaybeM == flip mapMaybeM --forMaybeM :: Monad m => [a] -> (a -> m (Maybe b)) -> m [b] -- | Strip trailing carriage return from Text stripCR :: Text -> Text -- | Write a "sticky" line to the terminal. Any subsequent lines will -- overwrite this one, and that same line will be repeated below again. -- In other words, the line sticks at the bottom of the output forever. -- Running this function again will replace the sticky line with a new -- sticky line. When you want to get rid of the sticky line, run -- logStickyDone. logSticky :: MonadLogger m => Text -> m () -- | This will print out the given message with a newline and disable any -- further stickiness of the line until a new call to logSticky -- happens. -- -- It might be better at some point to have a runSticky function -- that encompasses the logSticky->logStickyDone pairing. logStickyDone :: MonadLogger m => Text -> m () -- | The Reader+IO monad. This is different from a ReaderT because: -- --
-- forgivingAbsence (resolveFile …) >>= rejectMissingFile --rejectMissingFile :: MonadIO m => Maybe (Path Abs File) -> m (Maybe (Path Abs File)) -- | See rejectMissingFile. rejectMissingDir :: MonadIO m => Maybe (Path Abs Dir) -> m (Maybe (Path Abs Dir)) -- | Convert to a ByteString using toFilePath and UTF8. pathToByteString :: Path b t -> ByteString -- | Convert to a lazy ByteString using toFilePath and UTF8. pathToLazyByteString :: Path b t -> ByteString pathToText :: Path b t -> Text tryGetModificationTime :: MonadIO m => Path Abs File -> m (Either () UTCTime) -- | Simple interface to complicated program arguments. -- -- This is a "fork" of the optparse-simple package that has some -- workarounds for optparse-applicative issues that become problematic -- with programs that have many options and subcommands. Because it makes -- the interface more complex, these workarounds are not suitable for -- pushing upstream to optparse-applicative. module Options.Applicative.Complicated -- | Add a command to the options dispatcher. addCommand :: String -> String -> String -> (a -> b) -> Parser c -> Parser a -> ExceptT b (Writer (Mod CommandFields (b, c))) () -- | Add a command that takes sub-commands to the options dispatcher. addSubCommands :: Monoid c => String -> String -> String -> Parser c -> ExceptT b (Writer (Mod CommandFields (b, c))) () -> ExceptT b (Writer (Mod CommandFields (b, c))) () -- | Generate and execute a complicated options parser. complicatedOptions :: Monoid a => Version -> Maybe String -> String -> String -> String -> String -> Parser a -> Maybe (ParserFailure ParserHelp -> [String] -> IO (a, (b, a))) -> ExceptT b (Writer (Mod CommandFields (b, a))) () -> IO (a, b) -- | Generate a complicated options parser. complicatedParser :: Monoid a => String -> Parser a -> ExceptT b (Writer (Mod CommandFields (b, a))) () -> Parser (a, (b, a)) -- | Extra functions for optparse-applicative. module Options.Applicative.Builder.Extra -- | Enable/disable flags for a Bool. boolFlags :: Bool -> String -> String -> Mod FlagFields Bool -> Parser Bool -- | Enable/disable flags for a Bool, without a default case (to -- allow chaining with <|>). boolFlagsNoDefault :: String -> String -> Mod FlagFields Bool -> Parser Bool -- | Enable/disable flags for a (Maybe Bool). maybeBoolFlags :: String -> String -> Mod FlagFields (Maybe Bool) -> Parser (Maybe Bool) -- | Like maybeBoolFlags, but parsing a First. firstBoolFlags :: String -> String -> Mod FlagFields (Maybe Bool) -> Parser (First Bool) -- | Enable/disable flags for any type. enableDisableFlags :: a -> a -> a -> String -> String -> Mod FlagFields a -> Parser a -- | Enable/disable flags for any type, without a default (to allow -- chaining with <|>) enableDisableFlagsNoDefault :: a -> a -> String -> String -> Mod FlagFields a -> Parser a -- | Show an extra help option (e.g. --docker-help shows help for -- all --docker* args). -- -- To actually have that help appear, use execExtraHelp before -- executing the main parser. extraHelpOption :: Bool -> String -> String -> String -> Parser (a -> a) -- | Display extra help if extra help option passed in arguments. -- -- Since optparse-applicative doesn't allow an arbitrary IO action for an -- abortOption, this was the best way I found that doesn't require -- manually formatting the help. execExtraHelp :: [String] -> String -> Parser a -> String -> IO () -- | option, specialized to Text. textOption :: Mod OptionFields Text -> Parser Text -- | argument, specialized to Text. textArgument :: Mod ArgumentFields Text -> Parser Text -- | Like optional, but returning a First. optionalFirst :: Alternative f => f a -> f (First a) absFileOption :: Mod OptionFields (Path Abs File) -> Parser (Path Abs File) relFileOption :: Mod OptionFields (Path Rel File) -> Parser (Path Rel File) absDirOption :: Mod OptionFields (Path Abs Dir) -> Parser (Path Abs Dir) relDirOption :: Mod OptionFields (Path Rel Dir) -> Parser (Path Rel Dir) -- | Like eitherReader, but accepting any Show e on -- the Left. eitherReader' :: Show e => (String -> Either e a) -> ReadM a fileCompleter :: Completer fileExtCompleter :: [String] -> Completer dirCompleter :: Completer data PathCompleterOpts PathCompleterOpts :: Bool -> Bool -> Maybe FilePath -> (FilePath -> Bool) -> (FilePath -> Bool) -> PathCompleterOpts [pcoAbsolute] :: PathCompleterOpts -> Bool [pcoRelative] :: PathCompleterOpts -> Bool [pcoRootDir] :: PathCompleterOpts -> Maybe FilePath [pcoFileFilter] :: PathCompleterOpts -> FilePath -> Bool [pcoDirFilter] :: PathCompleterOpts -> FilePath -> Bool defaultPathCompleterOpts :: PathCompleterOpts pathCompleterWith :: PathCompleterOpts -> Completer unescapeBashArg :: String -> String module Stack.Options.SolverParser -- | Parser for solverCmd solverOptsParser :: Parser Bool -- | Tag a Store instance with structural version info to ensure we're -- reading a compatible format. module Data.Store.VersionTagged versionedEncodeFile :: Data a => VersionConfig a -> Q Exp versionedDecodeOrLoad :: Data a => VersionConfig a -> Q Exp versionedDecodeFile :: Data a => VersionConfig a -> Q Exp storeVersionConfig :: String -> String -> VersionConfig a module Data.IORef.RunOnce runOnce :: (MonadUnliftIO m, MonadIO n) => m a -> m (n a) -- | More readable combinators for writing parsers. module Data.Attoparsec.Combinators -- | Concatenate two parsers. appending :: (Applicative f, Monoid a) => f a -> f a -> f a -- | Alternative parsers. alternating :: Alternative f => f a -> f a -> f a -- | Pure something. pured :: (Applicative g, Applicative f) => g a -> g (f a) -- | Concatting the result of an action. concating :: (Monoid m, Applicative f) => f [m] -> f m -- | Parsing of stack command line arguments module Data.Attoparsec.Args -- | Mode for parsing escape characters. data EscapingMode Escaping :: EscapingMode NoEscaping :: EscapingMode -- | A basic argument parser. It supports space-separated text, and string -- quotation with identity escaping: x -> x. argsParser :: EscapingMode -> Parser [String] -- | Parse arguments using argsParser. parseArgs :: EscapingMode -> Text -> Either String [String] -- | Parse using argsParser from a string. parseArgsFromString :: EscapingMode -> String -> Either String [String] instance GHC.Enum.Enum Data.Attoparsec.Args.EscapingMode instance GHC.Classes.Eq Data.Attoparsec.Args.EscapingMode instance GHC.Show.Show Data.Attoparsec.Args.EscapingMode -- | Accepting arguments to be passed through to a sub-process. module Options.Applicative.Args -- | An argument which accepts a list of arguments e.g. -- --ghc-options="-X P.hs "this"". argsArgument :: Mod ArgumentFields [String] -> Parser [String] -- | An option which accepts a list of arguments e.g. --ghc-options="-X -- P.hs "this"". argsOption :: Mod OptionFields [String] -> Parser [String] -- | An option which accepts a command and a list of arguments e.g. -- --exec "echo hello world" cmdOption :: Mod OptionFields (String, [String]) -> Parser (String, [String]) -- | Extensions to Aeson parsing of objects. module Data.Aeson.Extended -- | Extends .: warning to include field name. (.:) :: FromJSON a => Object -> Text -> Parser a -- | Extends .:? warning to include field name. (.:?) :: FromJSON a => Object -> Text -> Parser (Maybe a) -- | Warning output from WarningParser. data JSONWarning JSONUnrecognizedFields :: String -> [Text] -> JSONWarning JSONGeneralWarning :: !Text -> JSONWarning -- | JSON parser that warns about unexpected fields in objects. type WarningParser a = WriterT WarningParserMonoid Parser a data WithJSONWarnings a WithJSONWarnings :: a -> [JSONWarning] -> WithJSONWarnings a -- | WarningParser version of withObject. withObjectWarnings :: String -> (Object -> WarningParser a) -> Value -> Parser (WithJSONWarnings a) -- | Handle warnings in a sub-object. jsonSubWarnings :: WarningParser (WithJSONWarnings a) -> WarningParser a -- | Handle warnings in a Traversable of sub-objects. jsonSubWarningsT :: Traversable t => WarningParser (t (WithJSONWarnings a)) -> WarningParser (t a) -- | Handle warnings in a Maybe Traversable of sub-objects. jsonSubWarningsTT :: (Traversable t, Traversable u) => WarningParser (u (t (WithJSONWarnings a))) -> WarningParser (u (t a)) -- | Log JSON warnings. logJSONWarnings :: MonadLogger m => FilePath -> [JSONWarning] -> m () noJSONWarnings :: a -> WithJSONWarnings a -- | Tell warning parser about an expected field, so it doesn't warn about -- it. tellJSONField :: Text -> WarningParser () -- | Convert a WarningParser to a Parser. unWarningParser :: WarningParser a -> Parser a -- | WarningParser version of .:. (..:) :: FromJSON a => Object -> Text -> WarningParser a -- | WarningParser version of .:?. (..:?) :: FromJSON a => Object -> Text -> WarningParser (Maybe a) -- | WarningParser version of .!=. (..!=) :: WarningParser (Maybe a) -> a -> WarningParser a instance GHC.Generics.Generic Data.Aeson.Extended.WarningParserMonoid instance GHC.Generics.Generic (Data.Aeson.Extended.WithJSONWarnings a) instance GHC.Base.Monoid Data.Aeson.Extended.WarningParserMonoid instance Data.String.IsString Data.Aeson.Extended.WarningParserMonoid instance GHC.Base.Functor Data.Aeson.Extended.WithJSONWarnings instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Aeson.Extended.WithJSONWarnings a) instance GHC.Show.Show Data.Aeson.Extended.JSONWarning instance Data.String.IsString Data.Aeson.Extended.JSONWarning module Stack.StaticBytes data Bytes8 data Bytes16 data Bytes32 data Bytes64 data Bytes128 class DynamicBytes dbytes class StaticBytes sbytes data StaticBytesException NotEnoughBytes :: StaticBytesException TooManyBytes :: StaticBytesException toStaticExact :: forall dbytes sbytes. (DynamicBytes dbytes, StaticBytes sbytes) => dbytes -> Either StaticBytesException sbytes toStaticPad :: forall dbytes sbytes. (DynamicBytes dbytes, StaticBytes sbytes) => dbytes -> Either StaticBytesException sbytes toStaticTruncate :: forall dbytes sbytes. (DynamicBytes dbytes, StaticBytes sbytes) => dbytes -> Either StaticBytesException sbytes toStaticPadTruncate :: (DynamicBytes dbytes, StaticBytes sbytes) => dbytes -> sbytes fromStatic :: forall dbytes sbytes. (DynamicBytes dbytes, StaticBytes sbytes) => sbytes -> dbytes instance GHC.Classes.Eq Stack.StaticBytes.StaticBytesException instance GHC.Show.Show Stack.StaticBytes.StaticBytesException instance Data.Store.Impl.Store Stack.StaticBytes.Bytes128 instance Data.Data.Data Stack.StaticBytes.Bytes128 instance Data.Hashable.Class.Hashable Stack.StaticBytes.Bytes128 instance Control.DeepSeq.NFData Stack.StaticBytes.Bytes128 instance GHC.Generics.Generic Stack.StaticBytes.Bytes128 instance GHC.Classes.Ord Stack.StaticBytes.Bytes128 instance GHC.Classes.Eq Stack.StaticBytes.Bytes128 instance GHC.Show.Show Stack.StaticBytes.Bytes128 instance Data.Store.Impl.Store Stack.StaticBytes.Bytes64 instance Data.Data.Data Stack.StaticBytes.Bytes64 instance Data.Hashable.Class.Hashable Stack.StaticBytes.Bytes64 instance Control.DeepSeq.NFData Stack.StaticBytes.Bytes64 instance GHC.Generics.Generic Stack.StaticBytes.Bytes64 instance GHC.Classes.Ord Stack.StaticBytes.Bytes64 instance GHC.Classes.Eq Stack.StaticBytes.Bytes64 instance GHC.Show.Show Stack.StaticBytes.Bytes64 instance Data.Store.Impl.Store Stack.StaticBytes.Bytes32 instance Data.Data.Data Stack.StaticBytes.Bytes32 instance Data.Hashable.Class.Hashable Stack.StaticBytes.Bytes32 instance Control.DeepSeq.NFData Stack.StaticBytes.Bytes32 instance GHC.Generics.Generic Stack.StaticBytes.Bytes32 instance GHC.Classes.Ord Stack.StaticBytes.Bytes32 instance GHC.Classes.Eq Stack.StaticBytes.Bytes32 instance GHC.Show.Show Stack.StaticBytes.Bytes32 instance Data.Store.Impl.Store Stack.StaticBytes.Bytes16 instance Data.Data.Data Stack.StaticBytes.Bytes16 instance Data.Hashable.Class.Hashable Stack.StaticBytes.Bytes16 instance Control.DeepSeq.NFData Stack.StaticBytes.Bytes16 instance GHC.Generics.Generic Stack.StaticBytes.Bytes16 instance GHC.Classes.Ord Stack.StaticBytes.Bytes16 instance GHC.Classes.Eq Stack.StaticBytes.Bytes16 instance GHC.Show.Show Stack.StaticBytes.Bytes16 instance Data.Store.Impl.Store Stack.StaticBytes.Bytes8 instance Data.Data.Data Stack.StaticBytes.Bytes8 instance Data.Hashable.Class.Hashable Stack.StaticBytes.Bytes8 instance Control.DeepSeq.NFData Stack.StaticBytes.Bytes8 instance GHC.Generics.Generic Stack.StaticBytes.Bytes8 instance GHC.Classes.Ord Stack.StaticBytes.Bytes8 instance GHC.Classes.Eq Stack.StaticBytes.Bytes8 instance Stack.StaticBytes.StaticBytes Stack.StaticBytes.Bytes8 instance Stack.StaticBytes.StaticBytes Stack.StaticBytes.Bytes16 instance Stack.StaticBytes.StaticBytes Stack.StaticBytes.Bytes32 instance Stack.StaticBytes.StaticBytes Stack.StaticBytes.Bytes64 instance Stack.StaticBytes.StaticBytes Stack.StaticBytes.Bytes128 instance GHC.Show.Show Stack.StaticBytes.Bytes8 instance Stack.StaticBytes.DynamicBytes Data.ByteString.Internal.ByteString instance word8 ~ GHC.Word.Word8 => Stack.StaticBytes.DynamicBytes (Data.Vector.Storable.Vector word8) instance word8 ~ GHC.Word.Word8 => Stack.StaticBytes.DynamicBytes (Data.Vector.Primitive.Vector word8) instance word8 ~ GHC.Word.Word8 => Stack.StaticBytes.DynamicBytes (Data.Vector.Unboxed.Base.Vector word8) instance GHC.Exception.Exception Stack.StaticBytes.StaticBytesException instance Data.ByteArray.Types.ByteArrayAccess Stack.StaticBytes.Bytes128 instance Data.ByteArray.Types.ByteArrayAccess Stack.StaticBytes.Bytes64 instance Data.ByteArray.Types.ByteArrayAccess Stack.StaticBytes.Bytes32 instance Data.ByteArray.Types.ByteArrayAccess Stack.StaticBytes.Bytes16 instance Data.ByteArray.Types.ByteArrayAccess Stack.StaticBytes.Bytes8 module Stack.Types.CompilerBuild data CompilerBuild CompilerBuildStandard :: CompilerBuild CompilerBuildSpecialized :: String -> CompilerBuild -- | Descriptive name for compiler build compilerBuildName :: CompilerBuild -> String -- | Suffix to use for filenames/directories constructed with compiler -- build compilerBuildSuffix :: CompilerBuild -> String -- | Parse compiler build from a String. parseCompilerBuild :: (MonadThrow m) => String -> m CompilerBuild instance GHC.Show.Show Stack.Types.CompilerBuild.CompilerBuild instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.CompilerBuild.CompilerBuild module Stack.Options.GhcBuildParser -- | GHC build parser ghcBuildParser :: Bool -> Parser CompilerBuild -- | Names for flags. module Stack.Types.FlagName -- | A flag name. data FlagName -- | A parse fail. newtype FlagNameParseFail FlagNameParseFail :: Text -> FlagNameParseFail -- | Attoparsec parser for a flag name flagNameParser :: Parser FlagName -- | Convenient way to parse a flag name from a Text. parseFlagName :: MonadThrow m => Text -> m FlagName -- | Convenience function for parsing from a String parseFlagNameFromString :: MonadThrow m => String -> m FlagName -- | Produce a string representation of a flag name. flagNameString :: FlagName -> String -- | Produce a string representation of a flag name. flagNameText :: FlagName -> Text -- | Convert from a Cabal flag name. fromCabalFlagName :: FlagName -> FlagName -- | Convert to a Cabal flag name. toCabalFlagName :: FlagName -> FlagName -- | Make a flag name. mkFlagName :: String -> Q Exp instance Data.Aeson.Types.ToJSON.ToJSONKey Stack.Types.FlagName.FlagName instance Control.DeepSeq.NFData Stack.Types.FlagName.FlagName instance Data.Store.Impl.Store Stack.Types.FlagName.FlagName instance Data.Hashable.Class.Hashable Stack.Types.FlagName.FlagName instance GHC.Generics.Generic Stack.Types.FlagName.FlagName instance Data.Data.Data Stack.Types.FlagName.FlagName instance GHC.Classes.Eq Stack.Types.FlagName.FlagName instance GHC.Classes.Ord Stack.Types.FlagName.FlagName instance Language.Haskell.TH.Syntax.Lift Stack.Types.FlagName.FlagName instance GHC.Show.Show Stack.Types.FlagName.FlagName instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.FlagName.FlagName instance Data.Aeson.Types.FromJSON.FromJSONKey Stack.Types.FlagName.FlagName instance GHC.Exception.Exception Stack.Types.FlagName.FlagNameParseFail instance GHC.Show.Show Stack.Types.FlagName.FlagNameParseFail -- | A ghc-pkg id. module Stack.Types.GhcPkgId -- | A ghc-pkg package identifier. data GhcPkgId -- | A parser for a package-version-hash pair. ghcPkgIdParser :: Parser GhcPkgId -- | Convenient way to parse a package name from a Text. parseGhcPkgId :: MonadThrow m => Text -> m GhcPkgId -- | Get a string representation of GHC package id. ghcPkgIdString :: GhcPkgId -> String instance GHC.Generics.Generic Stack.Types.GhcPkgId.GhcPkgId instance Data.Data.Data Stack.Types.GhcPkgId.GhcPkgId instance GHC.Classes.Ord Stack.Types.GhcPkgId.GhcPkgId instance GHC.Classes.Eq Stack.Types.GhcPkgId.GhcPkgId instance Data.Hashable.Class.Hashable Stack.Types.GhcPkgId.GhcPkgId instance Control.DeepSeq.NFData Stack.Types.GhcPkgId.GhcPkgId instance Data.Store.Impl.Store Stack.Types.GhcPkgId.GhcPkgId instance GHC.Show.Show Stack.Types.GhcPkgId.GhcPkgId instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.GhcPkgId.GhcPkgId instance Data.Aeson.Types.ToJSON.ToJSON Stack.Types.GhcPkgId.GhcPkgId instance GHC.Show.Show Stack.Types.GhcPkgId.GhcPkgIdParseFail instance GHC.Exception.Exception Stack.Types.GhcPkgId.GhcPkgIdParseFail module Stack.Types.Image -- | Image options. Currently only Docker image options. newtype ImageOpts ImageOpts :: [ImageDockerOpts] -> ImageOpts -- | One or more stanzas for docker image settings. [imgDockers] :: ImageOpts -> [ImageDockerOpts] data ImageDockerOpts ImageDockerOpts :: !(Maybe String) -> !(Maybe [String]) -> !(Map FilePath (Path Abs Dir)) -> !(Maybe String) -> !(Maybe [Path Rel File]) -> ImageDockerOpts -- | Maybe have a docker base image name. (Although we will not be able to -- create any Docker images without this.) [imgDockerBase] :: ImageDockerOpts -> !(Maybe String) -- | Maybe have a specific ENTRYPOINT list that will be used to create -- images. [imgDockerEntrypoints] :: ImageDockerOpts -> !(Maybe [String]) -- | Maybe have some static project content to include in a specific -- directory in all the images. [imgDockerAdd] :: ImageDockerOpts -> !(Map FilePath (Path Abs Dir)) -- | Maybe have a name for the image we are creating [imgDockerImageName] :: ImageDockerOpts -> !(Maybe String) -- | Filenames of executables to add (if Nothing, add them all) [imgDockerExecutables] :: ImageDockerOpts -> !(Maybe [Path Rel File]) newtype ImageOptsMonoid ImageOptsMonoid :: [ImageDockerOpts] -> ImageOptsMonoid [imgMonoidDockers] :: ImageOptsMonoid -> [ImageDockerOpts] imgArgName :: Text imgDockerOldArgName :: Text imgDockersArgName :: Text imgDockerBaseArgName :: Text imgDockerAddArgName :: Text imgDockerEntrypointsArgName :: Text imgDockerImageNameArgName :: Text imgDockerExecutablesArgName :: Text instance GHC.Generics.Generic Stack.Types.Image.ImageOptsMonoid instance GHC.Show.Show Stack.Types.Image.ImageOptsMonoid instance GHC.Show.Show Stack.Types.Image.ImageOpts instance GHC.Show.Show Stack.Types.Image.ImageDockerOpts instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Image.ImageOptsMonoid) instance GHC.Base.Monoid Stack.Types.Image.ImageOptsMonoid instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Image.ImageDockerOpts) -- | Nix types. module Stack.Types.Nix -- | Nix configuration. Parameterize by resolver type to avoid cyclic -- dependency. data NixOpts NixOpts :: !Bool -> !Bool -> ![Text] -> !(Maybe FilePath) -> ![Text] -> !Bool -> NixOpts [nixEnable] :: NixOpts -> !Bool [nixPureShell] :: NixOpts -> !Bool -- | The system packages to be installed in the environment before it runs [nixPackages] :: NixOpts -> ![Text] -- | The path of a file containing preconfiguration of the environment (e.g -- shell.nix) [nixInitFile] :: NixOpts -> !(Maybe FilePath) -- | Options to be given to the nix-shell command line [nixShellOptions] :: NixOpts -> ![Text] -- | Should we register gc roots so running nix-collect-garbage doesn't -- remove nix dependencies [nixAddGCRoots] :: NixOpts -> !Bool -- | An uninterpreted representation of nix options. Configurations may be -- "cascaded" using mappend (left-biased). data NixOptsMonoid NixOptsMonoid :: !Any -> !(First Bool) -> !(First Bool) -> !(First [Text]) -> !(First FilePath) -> !(First [Text]) -> !(First [Text]) -> !(First Bool) -> NixOptsMonoid -- | Should nix-shell be defaulted to enabled (does nix: section -- exist in the config)? [nixMonoidDefaultEnable] :: NixOptsMonoid -> !Any -- | Is using nix-shell enabled? [nixMonoidEnable] :: NixOptsMonoid -> !(First Bool) -- | Should the nix-shell be pure [nixMonoidPureShell] :: NixOptsMonoid -> !(First Bool) -- | System packages to use (given to nix-shell) [nixMonoidPackages] :: NixOptsMonoid -> !(First [Text]) -- | The path of a file containing preconfiguration of the environment (e.g -- shell.nix) [nixMonoidInitFile] :: NixOptsMonoid -> !(First FilePath) -- | Options to be given to the nix-shell command line [nixMonoidShellOptions] :: NixOptsMonoid -> !(First [Text]) -- | Override parts of NIX_PATH (notably nixpkgs) [nixMonoidPath] :: NixOptsMonoid -> !(First [Text]) -- | Should we register gc roots so running nix-collect-garbage doesn't -- remove nix dependencies [nixMonoidAddGCRoots] :: NixOptsMonoid -> !(First Bool) -- | Decode uninterpreted nix options from JSON/YAML. -- | Left-biased combine Nix options -- | Nix enable argument name. nixEnableArgName :: Text -- | Nix run in pure shell argument name. nixPureShellArgName :: Text -- | Nix packages (build inputs) argument name. nixPackagesArgName :: Text -- | shell.nix file path argument name. nixInitFileArgName :: Text -- | Extra options for the nix-shell command argument name. nixShellOptsArgName :: Text -- | NIX_PATH override argument name nixPathArgName :: Text -- | Add GC roots arg name nixAddGCRootsArgName :: Text instance GHC.Generics.Generic Stack.Types.Nix.NixOptsMonoid instance GHC.Show.Show Stack.Types.Nix.NixOptsMonoid instance GHC.Classes.Eq Stack.Types.Nix.NixOptsMonoid instance GHC.Show.Show Stack.Types.Nix.NixOpts instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Nix.NixOptsMonoid) instance GHC.Base.Monoid Stack.Types.Nix.NixOptsMonoid -- | Names for packages. module Stack.Types.PackageName -- | A package name. data PackageName -- | A parse fail. data PackageNameParseFail PackageNameParseFail :: Text -> PackageNameParseFail CabalFileNameParseFail :: FilePath -> PackageNameParseFail CabalFileNameInvalidPackageName :: FilePath -> PackageNameParseFail -- | Attoparsec parser for a package name packageNameParser :: Parser PackageName -- | Parse a package name from a Text. parsePackageName :: MonadThrow m => Text -> m PackageName -- | Parse a package name from a String. parsePackageNameFromString :: MonadThrow m => String -> m PackageName -- | Produce a string representation of a package name. packageNameString :: PackageName -> String -- | Produce a string representation of a package name. packageNameText :: PackageName -> Text -- | Convert from a Cabal package name. fromCabalPackageName :: PackageName -> PackageName -- | Convert to a Cabal package name. toCabalPackageName :: PackageName -> PackageName -- | Parse a package name from a file path. parsePackageNameFromFilePath :: MonadThrow m => Path a File -> m PackageName -- | Make a package name. mkPackageName :: String -> Q Exp -- | An argument which accepts a template name of the format -- foo.hsfiles. packageNameArgument :: Mod ArgumentFields PackageName -> Parser PackageName instance Data.Aeson.Types.ToJSON.ToJSONKey Stack.Types.PackageName.PackageName instance Data.Aeson.Types.ToJSON.ToJSON Stack.Types.PackageName.PackageName instance Data.Store.Impl.Store Stack.Types.PackageName.PackageName instance Control.DeepSeq.NFData Stack.Types.PackageName.PackageName instance Data.Hashable.Class.Hashable Stack.Types.PackageName.PackageName instance GHC.Generics.Generic Stack.Types.PackageName.PackageName instance Data.Data.Data Stack.Types.PackageName.PackageName instance GHC.Classes.Ord Stack.Types.PackageName.PackageName instance GHC.Classes.Eq Stack.Types.PackageName.PackageName instance Language.Haskell.TH.Syntax.Lift Stack.Types.PackageName.PackageName instance GHC.Show.Show Stack.Types.PackageName.PackageName instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.PackageName.PackageName instance Data.Aeson.Types.FromJSON.FromJSONKey Stack.Types.PackageName.PackageName instance GHC.Exception.Exception Stack.Types.PackageName.PackageNameParseFail instance GHC.Show.Show Stack.Types.PackageName.PackageNameParseFail -- | Configuration options for building. module Stack.Types.Config.Build -- | Build options that is interpreted by the build command. This is built -- up from BuildOptsCLI and BuildOptsMonoid data BuildOpts BuildOpts :: !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !HaddockOpts -> !Bool -> !(Maybe Bool) -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !(Maybe Bool) -> !Bool -> !Bool -> !TestOpts -> !Bool -> !BenchmarkOpts -> !Bool -> !Bool -> !Bool -> ![Text] -> BuildOpts [boptsLibProfile] :: BuildOpts -> !Bool [boptsExeProfile] :: BuildOpts -> !Bool [boptsLibStrip] :: BuildOpts -> !Bool [boptsExeStrip] :: BuildOpts -> !Bool -- | Build haddocks? [boptsHaddock] :: BuildOpts -> !Bool -- | Options to pass to haddock [boptsHaddockOpts] :: BuildOpts -> !HaddockOpts -- | Open haddocks in the browser? [boptsOpenHaddocks] :: BuildOpts -> !Bool -- | Build haddocks for dependencies? [boptsHaddockDeps] :: BuildOpts -> !(Maybe Bool) -- | Build haddocks for all symbols and packages, like cabal haddock -- --internal [boptsHaddockInternal] :: BuildOpts -> !Bool -- | Build hyperlinked source if possible. Fallback to hscolour. -- Disable for no sources. [boptsHaddockHyperlinkSource] :: BuildOpts -> !Bool -- | Install executables to user path after building? [boptsInstallExes] :: BuildOpts -> !Bool -- | Install executables to compiler tools path after building? [boptsInstallCompilerTool] :: BuildOpts -> !Bool -- | Fetch all packages immediately ^ Watch files for changes and -- automatically rebuild [boptsPreFetch] :: BuildOpts -> !Bool -- | Keep building/running after failure [boptsKeepGoing] :: BuildOpts -> !(Maybe Bool) -- | Force treating all local packages as having dirty files [boptsForceDirty] :: BuildOpts -> !Bool -- | Turn on tests for local targets [boptsTests] :: BuildOpts -> !Bool -- | Additional test arguments [boptsTestOpts] :: BuildOpts -> !TestOpts -- | Turn on benchmarks for local targets [boptsBenchmarks] :: BuildOpts -> !Bool -- | Additional test arguments ^ Commands (with arguments) to run after a -- successful build ^ Only perform the configure step when building [boptsBenchmarkOpts] :: BuildOpts -> !BenchmarkOpts -- | Perform the configure step even if already configured [boptsReconfigure] :: BuildOpts -> !Bool -- | Ask Cabal to be verbose in its builds [boptsCabalVerbose] :: BuildOpts -> !Bool -- | Whether to enable split-objs. [boptsSplitObjs] :: BuildOpts -> !Bool -- | Which components to skip when building [boptsSkipComponents] :: BuildOpts -> ![Text] -- | Command sum type for conditional arguments. data BuildCommand Build :: BuildCommand Test :: BuildCommand Haddock :: BuildCommand Bench :: BuildCommand Install :: BuildCommand defaultBuildOpts :: BuildOpts defaultBuildOptsCLI :: BuildOptsCLI -- | Build options that may only be specified from the CLI data BuildOptsCLI BuildOptsCLI :: ![Text] -> !Bool -> ![Text] -> !(Map (Maybe PackageName) (Map FlagName Bool)) -> !BuildSubset -> !FileWatchOpts -> ![(String, [String])] -> !Bool -> !BuildCommand -> !Bool -> BuildOptsCLI [boptsCLITargets] :: BuildOptsCLI -> ![Text] [boptsCLIDryrun] :: BuildOptsCLI -> !Bool [boptsCLIGhcOptions] :: BuildOptsCLI -> ![Text] [boptsCLIFlags] :: BuildOptsCLI -> !(Map (Maybe PackageName) (Map FlagName Bool)) [boptsCLIBuildSubset] :: BuildOptsCLI -> !BuildSubset [boptsCLIFileWatch] :: BuildOptsCLI -> !FileWatchOpts [boptsCLIExec] :: BuildOptsCLI -> ![(String, [String])] [boptsCLIOnlyConfigure] :: BuildOptsCLI -> !Bool [boptsCLICommand] :: BuildOptsCLI -> !BuildCommand [boptsCLIInitialBuildSteps] :: BuildOptsCLI -> !Bool -- | Build options that may be specified in the stack.yaml or from the CLI data BuildOptsMonoid BuildOptsMonoid :: !Any -> !Any -> !Any -> !(First Bool) -> !(First Bool) -> !(First Bool) -> !(First Bool) -> !(First Bool) -> !HaddockOptsMonoid -> !(First Bool) -> !(First Bool) -> !(First Bool) -> !(First Bool) -> !(First Bool) -> !(First Bool) -> !(First Bool) -> !(First Bool) -> !(First Bool) -> !(First Bool) -> !TestOptsMonoid -> !(First Bool) -> !BenchmarkOptsMonoid -> !(First Bool) -> !(First Bool) -> !(First Bool) -> ![Text] -> BuildOptsMonoid [buildMonoidTrace] :: BuildOptsMonoid -> !Any [buildMonoidProfile] :: BuildOptsMonoid -> !Any [buildMonoidNoStrip] :: BuildOptsMonoid -> !Any [buildMonoidLibProfile] :: BuildOptsMonoid -> !(First Bool) [buildMonoidExeProfile] :: BuildOptsMonoid -> !(First Bool) [buildMonoidLibStrip] :: BuildOptsMonoid -> !(First Bool) [buildMonoidExeStrip] :: BuildOptsMonoid -> !(First Bool) [buildMonoidHaddock] :: BuildOptsMonoid -> !(First Bool) [buildMonoidHaddockOpts] :: BuildOptsMonoid -> !HaddockOptsMonoid [buildMonoidOpenHaddocks] :: BuildOptsMonoid -> !(First Bool) [buildMonoidHaddockDeps] :: BuildOptsMonoid -> !(First Bool) [buildMonoidHaddockInternal] :: BuildOptsMonoid -> !(First Bool) [buildMonoidHaddockHyperlinkSource] :: BuildOptsMonoid -> !(First Bool) [buildMonoidInstallExes] :: BuildOptsMonoid -> !(First Bool) [buildMonoidInstallCompilerTool] :: BuildOptsMonoid -> !(First Bool) [buildMonoidPreFetch] :: BuildOptsMonoid -> !(First Bool) [buildMonoidKeepGoing] :: BuildOptsMonoid -> !(First Bool) [buildMonoidForceDirty] :: BuildOptsMonoid -> !(First Bool) [buildMonoidTests] :: BuildOptsMonoid -> !(First Bool) [buildMonoidTestOpts] :: BuildOptsMonoid -> !TestOptsMonoid [buildMonoidBenchmarks] :: BuildOptsMonoid -> !(First Bool) [buildMonoidBenchmarkOpts] :: BuildOptsMonoid -> !BenchmarkOptsMonoid [buildMonoidReconfigure] :: BuildOptsMonoid -> !(First Bool) [buildMonoidCabalVerbose] :: BuildOptsMonoid -> !(First Bool) [buildMonoidSplitObjs] :: BuildOptsMonoid -> !(First Bool) [buildMonoidSkipComponents] :: BuildOptsMonoid -> ![Text] -- | Options for the FinalAction DoTests data TestOpts TestOpts :: !Bool -> ![String] -> !Bool -> !Bool -> TestOpts -- | Whether successful tests will be run gain [toRerunTests] :: TestOpts -> !Bool -- | Arguments passed to the test program [toAdditionalArgs] :: TestOpts -> ![String] -- | Generate a code coverage report [toCoverage] :: TestOpts -> !Bool -- | Disable running of tests [toDisableRun] :: TestOpts -> !Bool defaultTestOpts :: TestOpts data TestOptsMonoid TestOptsMonoid :: !(First Bool) -> ![String] -> !(First Bool) -> !(First Bool) -> TestOptsMonoid [toMonoidRerunTests] :: TestOptsMonoid -> !(First Bool) [toMonoidAdditionalArgs] :: TestOptsMonoid -> ![String] [toMonoidCoverage] :: TestOptsMonoid -> !(First Bool) [toMonoidDisableRun] :: TestOptsMonoid -> !(First Bool) -- | Haddock Options newtype HaddockOpts HaddockOpts :: [String] -> HaddockOpts -- | Arguments passed to haddock program [hoAdditionalArgs] :: HaddockOpts -> [String] defaultHaddockOpts :: HaddockOpts newtype HaddockOptsMonoid HaddockOptsMonoid :: [String] -> HaddockOptsMonoid [hoMonoidAdditionalArgs] :: HaddockOptsMonoid -> [String] -- | Options for the FinalAction DoBenchmarks data BenchmarkOpts BenchmarkOpts :: !(Maybe String) -> !Bool -> BenchmarkOpts -- | Arguments passed to the benchmark program [beoAdditionalArgs] :: BenchmarkOpts -> !(Maybe String) -- | Disable running of benchmarks [beoDisableRun] :: BenchmarkOpts -> !Bool defaultBenchmarkOpts :: BenchmarkOpts data BenchmarkOptsMonoid BenchmarkOptsMonoid :: !(First String) -> !(First Bool) -> BenchmarkOptsMonoid [beoMonoidAdditionalArgs] :: BenchmarkOptsMonoid -> !(First String) [beoMonoidDisableRun] :: BenchmarkOptsMonoid -> !(First Bool) data FileWatchOpts NoFileWatch :: FileWatchOpts FileWatch :: FileWatchOpts FileWatchPoll :: FileWatchOpts -- | Which subset of packages to build data BuildSubset BSAll :: BuildSubset -- | Only install packages in the snapshot database, skipping packages -- intended for the local database. BSOnlySnapshot :: BuildSubset BSOnlyDependencies :: BuildSubset instance GHC.Show.Show Stack.Types.Config.Build.BuildOptsCLI instance GHC.Classes.Eq Stack.Types.Config.Build.FileWatchOpts instance GHC.Show.Show Stack.Types.Config.Build.FileWatchOpts instance GHC.Generics.Generic Stack.Types.Config.Build.BuildOptsMonoid instance GHC.Show.Show Stack.Types.Config.Build.BuildOptsMonoid instance GHC.Generics.Generic Stack.Types.Config.Build.BenchmarkOptsMonoid instance GHC.Show.Show Stack.Types.Config.Build.BenchmarkOptsMonoid instance GHC.Show.Show Stack.Types.Config.Build.BuildOpts instance GHC.Show.Show Stack.Types.Config.Build.BenchmarkOpts instance GHC.Classes.Eq Stack.Types.Config.Build.BenchmarkOpts instance GHC.Generics.Generic Stack.Types.Config.Build.HaddockOptsMonoid instance GHC.Show.Show Stack.Types.Config.Build.HaddockOptsMonoid instance GHC.Show.Show Stack.Types.Config.Build.HaddockOpts instance GHC.Classes.Eq Stack.Types.Config.Build.HaddockOpts instance GHC.Generics.Generic Stack.Types.Config.Build.TestOptsMonoid instance GHC.Show.Show Stack.Types.Config.Build.TestOptsMonoid instance GHC.Show.Show Stack.Types.Config.Build.TestOpts instance GHC.Classes.Eq Stack.Types.Config.Build.TestOpts instance GHC.Classes.Eq Stack.Types.Config.Build.BuildSubset instance GHC.Show.Show Stack.Types.Config.Build.BuildSubset instance GHC.Show.Show Stack.Types.Config.Build.BuildCommand instance GHC.Classes.Eq Stack.Types.Config.Build.BuildCommand instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Config.Build.BuildOptsMonoid) instance GHC.Base.Monoid Stack.Types.Config.Build.BuildOptsMonoid instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Config.Build.BenchmarkOptsMonoid) instance GHC.Base.Monoid Stack.Types.Config.Build.BenchmarkOptsMonoid instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Config.Build.HaddockOptsMonoid) instance GHC.Base.Monoid Stack.Types.Config.Build.HaddockOptsMonoid instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Config.Build.TestOptsMonoid) instance GHC.Base.Monoid Stack.Types.Config.Build.TestOptsMonoid module Stack.Options.PackageParser -- | Parser for package:[-]flag readFlag :: ReadM (Map (Maybe PackageName) (Map FlagName Bool)) module Stack.Types.Sig -- | A GPG signature. newtype Signature Signature :: ByteString -> Signature -- | The GPG fingerprint. data Fingerprint mkFingerprint :: Text -> Fingerprint -- | Exceptions data SigException GPGFingerprintException :: String -> SigException GPGNotFoundException :: SigException GPGSignException :: String -> SigException GPGVerifyException :: String -> SigException SigInvalidSDistTarBall :: SigException SigNoProjectRootException :: SigException SigServiceException :: String -> SigException instance GHC.Classes.Eq a => GHC.Classes.Eq (Stack.Types.Sig.Aeson a) instance GHC.Classes.Ord a => GHC.Classes.Ord (Stack.Types.Sig.Aeson a) instance GHC.Classes.Ord Stack.Types.Sig.Fingerprint instance GHC.Classes.Eq Stack.Types.Sig.Fingerprint instance GHC.Classes.Eq Stack.Types.Sig.Signature instance GHC.Classes.Ord Stack.Types.Sig.Signature instance GHC.Exception.Exception Stack.Types.Sig.SigException instance GHC.Show.Show Stack.Types.Sig.SigException instance Data.Aeson.Types.FromJSON.FromJSON (Stack.Types.Sig.Aeson Stack.Types.PackageName.PackageName) instance GHC.Show.Show Stack.Types.Sig.Fingerprint instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Sig.Fingerprint instance Data.Aeson.Types.ToJSON.ToJSON Stack.Types.Sig.Fingerprint instance Data.String.IsString Stack.Types.Sig.Fingerprint instance GHC.Show.Show Stack.Types.Sig.Signature module Stack.Sig.GPG -- | Sign a file path with GPG, returning the Signature. gpgSign :: (MonadIO m, MonadLogger m, MonadThrow m) => Path Abs File -> m Signature -- | Verify the Signature of a file path returning the -- Fingerprint. gpgVerify :: (MonadIO m, MonadThrow m) => Signature -> Path Abs File -> m Fingerprint -- | Template name handling. module Stack.Types.TemplateName -- | A template name. data TemplateName TemplateName :: !Text -> !TemplatePath -> TemplateName data TemplatePath -- | an absolute path on the filesystem AbsPath :: (Path Abs File) -> TemplatePath -- | a relative path on the filesystem, or relative to the template -- repository RelPath :: (Path Rel File) -> TemplatePath -- | a full URL UrlPath :: String -> TemplatePath data TemplateInfo TemplateInfo :: Maybe Text -> Maybe Text -> TemplateInfo [author] :: TemplateInfo -> Maybe Text [description] :: TemplateInfo -> Maybe Text -- | An argument which accepts a template name of the format -- foo.hsfiles or foo, ultimately normalized to -- foo. templateNameArgument :: Mod ArgumentFields TemplateName -> Parser TemplateName -- | An argument which accepts a key:value pair for specifying -- parameters. templateParamArgument :: Mod OptionFields (Text, Text) -> Parser (Text, Text) -- | Parse a template name from a string. parseTemplateNameFromString :: String -> Either String TemplateName -- | Make a template name. mkTemplateName :: String -> Q Exp -- | Get a text representation of the template name. templateName :: TemplateName -> Text -- | Get the path of the template. templatePath :: TemplateName -> TemplatePath instance GHC.Show.Show Stack.Types.TemplateName.TemplateInfo instance GHC.Classes.Ord Stack.Types.TemplateName.TemplateInfo instance GHC.Classes.Eq Stack.Types.TemplateName.TemplateInfo instance GHC.Show.Show Stack.Types.TemplateName.TemplateName instance GHC.Classes.Eq Stack.Types.TemplateName.TemplateName instance GHC.Classes.Ord Stack.Types.TemplateName.TemplateName instance GHC.Show.Show Stack.Types.TemplateName.TemplatePath instance GHC.Classes.Ord Stack.Types.TemplateName.TemplatePath instance GHC.Classes.Eq Stack.Types.TemplateName.TemplatePath instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.TemplateName.TemplateInfo instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.TemplateName.TemplateName module Stack.Types.Urls data Urls Urls :: !Text -> !Text -> !Text -> Urls [urlsLatestSnapshot] :: Urls -> !Text [urlsLtsBuildPlans] :: Urls -> !Text [urlsNightlyBuildPlans] :: Urls -> !Text data UrlsMonoid UrlsMonoid :: !(First Text) -> !(First Text) -> !(First Text) -> UrlsMonoid [urlsMonoidLatestSnapshot] :: UrlsMonoid -> !(First Text) [urlsMonoidLtsBuildPlans] :: UrlsMonoid -> !(First Text) [urlsMonoidNightlyBuildPlans] :: UrlsMonoid -> !(First Text) instance GHC.Generics.Generic Stack.Types.Urls.UrlsMonoid instance GHC.Show.Show Stack.Types.Urls.UrlsMonoid instance GHC.Show.Show Stack.Types.Urls.Urls instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Urls.UrlsMonoid) instance GHC.Base.Monoid Stack.Types.Urls.UrlsMonoid instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Urls.Urls) module Stack.Config.Urls urlsFromMonoid :: UrlsMonoid -> Urls -- | Versions for packages. module Stack.Types.Version -- | A package version. data Version data VersionRange :: * newtype IntersectingVersionRange IntersectingVersionRange :: VersionRange -> IntersectingVersionRange [getIntersectingVersionRange] :: IntersectingVersionRange -> VersionRange data VersionCheck MatchMinor :: VersionCheck MatchExact :: VersionCheck NewerMinor :: VersionCheck -- | Attoparsec parser for a package version. versionParser :: Parser Version -- | Convenient way to parse a package version from a Text. parseVersion :: MonadThrow m => Text -> m Version -- | Migration function. parseVersionFromString :: MonadThrow m => String -> m Version -- | Get a string representation of a package version. versionString :: Version -> String -- | Get a string representation of a package version. versionText :: Version -> Text -- | Convert to a Cabal version. toCabalVersion :: Version -> Version -- | Convert from a Cabal version. fromCabalVersion :: Version -> Version -- | Make a package version. mkVersion :: String -> Q Exp -- | Display a version range versionRangeText :: VersionRange -> Text -- | Check if a version is within a version range. withinRange :: Version -> VersionRange -> Bool -- | A modified intersection which also simplifies, for better display. intersectVersionRanges :: VersionRange -> VersionRange -> VersionRange -- | Returns the first two components, defaulting to 0 if not present toMajorVersion :: Version -> Version -- | Given a version range and a set of versions, find the latest version -- from the set that is within the range. latestApplicableVersion :: VersionRange -> Set Version -> Maybe Version checkVersion :: VersionCheck -> Version -> Version -> Bool -- | Get the next major version number for the given version nextMajorVersion :: Version -> Version -- | A Package upgrade; Latest or a specific version. data UpgradeTo Specific :: Version -> UpgradeTo Latest :: UpgradeTo instance GHC.Classes.Ord Stack.Types.Version.VersionCheck instance GHC.Classes.Eq Stack.Types.Version.VersionCheck instance GHC.Show.Show Stack.Types.Version.VersionCheck instance GHC.Show.Show Stack.Types.Version.IntersectingVersionRange instance GHC.Show.Show Stack.Types.Version.UpgradeTo instance Control.DeepSeq.NFData Stack.Types.Version.Version instance Data.Store.Impl.Store Stack.Types.Version.Version instance GHC.Generics.Generic Stack.Types.Version.Version instance Data.Data.Data Stack.Types.Version.Version instance GHC.Classes.Ord Stack.Types.Version.Version instance GHC.Classes.Eq Stack.Types.Version.Version instance Data.Aeson.Types.ToJSON.ToJSON Stack.Types.Version.VersionCheck instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Version.VersionCheck instance GHC.Base.Monoid Stack.Types.Version.IntersectingVersionRange instance Data.Hashable.Class.Hashable Stack.Types.Version.Version instance Language.Haskell.TH.Syntax.Lift Stack.Types.Version.Version instance GHC.Show.Show Stack.Types.Version.Version instance Data.Aeson.Types.ToJSON.ToJSON Stack.Types.Version.Version instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Version.Version instance Data.Aeson.Types.FromJSON.FromJSONKey Stack.Types.Version.Version instance GHC.Exception.Exception Stack.Types.Version.VersionParseFail instance GHC.Show.Show Stack.Types.Version.VersionParseFail -- | Package identifier (name-version). module Stack.Types.PackageIdentifier -- | A pkg-ver combination. data PackageIdentifier PackageIdentifier :: !PackageName -> !Version -> PackageIdentifier -- | Get the name part of the identifier. [packageIdentifierName] :: PackageIdentifier -> !PackageName -- | Get the version part of the identifier. [packageIdentifierVersion] :: PackageIdentifier -> !Version -- | A PackageIdentifier combined with optionally specified Hackage -- cabal file revision. data PackageIdentifierRevision PackageIdentifierRevision :: !PackageIdentifier -> !CabalFileInfo -> PackageIdentifierRevision [pirIdent] :: PackageIdentifierRevision -> !PackageIdentifier [pirRevision] :: PackageIdentifierRevision -> !CabalFileInfo -- | A cryptographic hash of a Cabal file. data CabalHash -- | Generate a CabalHash value from a base16-encoded SHA256 hash. mkCabalHashFromSHA256 :: Text -> Either SomeException CabalHash -- | Compute a CabalHash value from a cabal file's contents. computeCabalHash :: ByteString -> CabalHash showCabalHash :: CabalHash -> Text -- | Information on the contents of a cabal file data CabalFileInfo -- | Take the latest revision of the cabal file available. This isn't -- reproducible at all, but the running assumption (not necessarily true) -- is that cabal file revisions do not change semantics of the build. CFILatest :: CabalFileInfo -- | Identify by contents of the cabal file itself CFIHash :: !(Maybe Int) -> !CabalHash -> CabalFileInfo -- | Identify by revision number, with 0 being the original and counting -- upward. CFIRevision :: !Word -> CabalFileInfo -- | Convert from a package identifier to a tuple. toTuple :: PackageIdentifier -> (PackageName, Version) -- | Convert from a tuple to a package identifier. fromTuple :: (PackageName, Version) -> PackageIdentifier -- | Convenient way to parse a package identifier from a Text. parsePackageIdentifier :: MonadThrow m => Text -> m PackageIdentifier -- | Convenience function for parsing from a String. parsePackageIdentifierFromString :: MonadThrow m => String -> m PackageIdentifier -- | Parse a PackageIdentifierRevision parsePackageIdentifierRevision :: MonadThrow m => Text -> m PackageIdentifierRevision -- | A parser for a package-version pair. packageIdentifierParser :: Parser PackageIdentifier -- | Get a string representation of the package identifier; name-ver. packageIdentifierString :: PackageIdentifier -> String -- | Get a string representation of the package identifier with revision; -- name-ver[@hashtype:hash[,size]]. packageIdentifierRevisionString :: PackageIdentifierRevision -> String -- | Get a Text representation of the package identifier; name-ver. packageIdentifierText :: PackageIdentifier -> Text toCabalPackageIdentifier :: PackageIdentifier -> PackageIdentifier fromCabalPackageIdentifier :: PackageIdentifier -> PackageIdentifier -- | A SHA256 hash, stored in a static size for more efficient -- serialization with store. data StaticSHA256 -- | Generate a StaticSHA256 value from a base16-encoded SHA256 -- hash. mkStaticSHA256FromText :: Text -> Either SomeException StaticSHA256 -- | Generate a StaticSHA256 value from the contents of a file. mkStaticSHA256FromFile :: MonadIO m => Path Abs File -> m StaticSHA256 mkStaticSHA256FromDigest :: Digest SHA256 -> StaticSHA256 -- | Convert a StaticSHA256 into a base16-encoded SHA256 hash. staticSHA256ToText :: StaticSHA256 -> Text -- | Convert a StaticSHA256 into a base16-encoded SHA256 hash. staticSHA256ToBase16 :: StaticSHA256 -> ByteString staticSHA256ToRaw :: StaticSHA256 -> ByteString instance Data.Data.Data Stack.Types.PackageIdentifier.PackageIdentifierRevision instance GHC.Generics.Generic Stack.Types.PackageIdentifier.PackageIdentifierRevision instance GHC.Classes.Ord Stack.Types.PackageIdentifier.PackageIdentifierRevision instance GHC.Classes.Eq Stack.Types.PackageIdentifier.PackageIdentifierRevision instance Data.Data.Data Stack.Types.PackageIdentifier.CabalFileInfo instance GHC.Classes.Ord Stack.Types.PackageIdentifier.CabalFileInfo instance GHC.Classes.Eq Stack.Types.PackageIdentifier.CabalFileInfo instance GHC.Show.Show Stack.Types.PackageIdentifier.CabalFileInfo instance GHC.Generics.Generic Stack.Types.PackageIdentifier.CabalFileInfo instance Data.Hashable.Class.Hashable Stack.Types.PackageIdentifier.CabalHash instance Data.Store.Impl.Store Stack.Types.PackageIdentifier.CabalHash instance GHC.Classes.Ord Stack.Types.PackageIdentifier.CabalHash instance Data.Data.Data Stack.Types.PackageIdentifier.CabalHash instance Control.DeepSeq.NFData Stack.Types.PackageIdentifier.CabalHash instance GHC.Classes.Eq Stack.Types.PackageIdentifier.CabalHash instance GHC.Show.Show Stack.Types.PackageIdentifier.CabalHash instance GHC.Generics.Generic Stack.Types.PackageIdentifier.CabalHash instance Data.Store.Impl.Store Stack.Types.PackageIdentifier.StaticSHA256 instance Data.Hashable.Class.Hashable Stack.Types.PackageIdentifier.StaticSHA256 instance GHC.Classes.Ord Stack.Types.PackageIdentifier.StaticSHA256 instance Data.Data.Data Stack.Types.PackageIdentifier.StaticSHA256 instance Control.DeepSeq.NFData Stack.Types.PackageIdentifier.StaticSHA256 instance GHC.Classes.Eq Stack.Types.PackageIdentifier.StaticSHA256 instance GHC.Show.Show Stack.Types.PackageIdentifier.StaticSHA256 instance GHC.Generics.Generic Stack.Types.PackageIdentifier.StaticSHA256 instance Data.Data.Data Stack.Types.PackageIdentifier.PackageIdentifier instance GHC.Generics.Generic Stack.Types.PackageIdentifier.PackageIdentifier instance GHC.Classes.Ord Stack.Types.PackageIdentifier.PackageIdentifier instance GHC.Classes.Eq Stack.Types.PackageIdentifier.PackageIdentifier instance Control.DeepSeq.NFData Stack.Types.PackageIdentifier.PackageIdentifierRevision instance Data.Hashable.Class.Hashable Stack.Types.PackageIdentifier.PackageIdentifierRevision instance Data.Store.Impl.Store Stack.Types.PackageIdentifier.PackageIdentifierRevision instance GHC.Show.Show Stack.Types.PackageIdentifier.PackageIdentifierRevision instance Data.Aeson.Types.ToJSON.ToJSON Stack.Types.PackageIdentifier.PackageIdentifierRevision instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.PackageIdentifier.PackageIdentifierRevision instance Data.Store.Impl.Store Stack.Types.PackageIdentifier.CabalFileInfo instance Control.DeepSeq.NFData Stack.Types.PackageIdentifier.CabalFileInfo instance Data.Hashable.Class.Hashable Stack.Types.PackageIdentifier.CabalFileInfo instance Control.DeepSeq.NFData Stack.Types.PackageIdentifier.PackageIdentifier instance Data.Hashable.Class.Hashable Stack.Types.PackageIdentifier.PackageIdentifier instance Data.Store.Impl.Store Stack.Types.PackageIdentifier.PackageIdentifier instance GHC.Show.Show Stack.Types.PackageIdentifier.PackageIdentifier instance Data.Aeson.Types.ToJSON.ToJSON Stack.Types.PackageIdentifier.PackageIdentifier instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.PackageIdentifier.PackageIdentifier instance GHC.Show.Show Stack.Types.PackageIdentifier.PackageIdentifierParseFail instance GHC.Exception.Exception Stack.Types.PackageIdentifier.PackageIdentifierParseFail module Stack.Types.PackageIndex data PackageDownload PackageDownload :: !StaticSHA256 -> !ByteString -> !Word64 -> PackageDownload [pdSHA256] :: PackageDownload -> !StaticSHA256 [pdUrl] :: PackageDownload -> !ByteString [pdSize] :: PackageDownload -> !Word64 -- | Hackage Security provides a different JSON format, we'll have our own -- JSON parser for it. newtype HSPackageDownload HSPackageDownload :: PackageDownload -> HSPackageDownload [unHSPackageDownload] :: HSPackageDownload -> PackageDownload -- | Cached information about packages in an index. We have a mapping from -- package name to a version map. Within the version map, we map from the -- version to information on an individual version. Each version has -- optional download information (about the package's tarball itself), -- and cabal file information. The cabal file information is a non-empty -- list of all cabal file revisions. Each file revision indicates the -- hash of the contents of the cabal file, and the offset into the index -- tarball. -- -- It's assumed that cabal files appear in the index tarball in the -- correct revision order. newtype PackageCache index PackageCache :: (HashMap PackageName (HashMap Version (index, Maybe PackageDownload, NonEmpty ([CabalHash], OffsetSize)))) -> PackageCache index -- | offset in bytes into the 01-index.tar file for the .cabal file -- contents, and size in bytes of the .cabal file data OffsetSize OffsetSize :: !Int64 -> !Int64 -> OffsetSize -- | Information on a single package index data PackageIndex PackageIndex :: !IndexName -> !Text -> !IndexType -> !Text -> !Bool -> PackageIndex [indexName] :: PackageIndex -> !IndexName -- | URL for the tarball or, in the case of Hackage Security, the root of -- the directory [indexLocation] :: PackageIndex -> !Text [indexType] :: PackageIndex -> !IndexType -- | URL prefix for downloading packages [indexDownloadPrefix] :: PackageIndex -> !Text -- | Require that hashes and package size information be available for -- packages in this index [indexRequireHashes] :: PackageIndex -> !Bool -- | Unique name for a package index newtype IndexName IndexName :: ByteString -> IndexName [unIndexName] :: IndexName -> ByteString indexNameText :: IndexName -> Text data IndexType ITHackageSecurity :: !HackageSecurity -> IndexType ITVanilla :: IndexType data HackageSecurity HackageSecurity :: ![Text] -> !Int -> HackageSecurity [hsKeyIds] :: HackageSecurity -> ![Text] [hsKeyThreshold] :: HackageSecurity -> !Int instance GHC.Show.Show Stack.Types.PackageIndex.PackageIndex instance GHC.Classes.Ord Stack.Types.PackageIndex.IndexType instance GHC.Classes.Eq Stack.Types.PackageIndex.IndexType instance GHC.Show.Show Stack.Types.PackageIndex.IndexType instance GHC.Classes.Ord Stack.Types.PackageIndex.HackageSecurity instance GHC.Classes.Eq Stack.Types.PackageIndex.HackageSecurity instance GHC.Show.Show Stack.Types.PackageIndex.HackageSecurity instance Data.Store.Impl.Store Stack.Types.PackageIndex.IndexName instance Data.Hashable.Class.Hashable Stack.Types.PackageIndex.IndexName instance GHC.Classes.Ord Stack.Types.PackageIndex.IndexName instance GHC.Classes.Eq Stack.Types.PackageIndex.IndexName instance GHC.Show.Show Stack.Types.PackageIndex.IndexName instance Control.DeepSeq.NFData index => Control.DeepSeq.NFData (Stack.Types.PackageIndex.PackageCache index) instance Data.Store.Impl.Store index => Data.Store.Impl.Store (Stack.Types.PackageIndex.PackageCache index) instance Data.Data.Data index => Data.Data.Data (Stack.Types.PackageIndex.PackageCache index) instance GHC.Show.Show index => GHC.Show.Show (Stack.Types.PackageIndex.PackageCache index) instance GHC.Classes.Eq index => GHC.Classes.Eq (Stack.Types.PackageIndex.PackageCache index) instance GHC.Generics.Generic (Stack.Types.PackageIndex.PackageCache index) instance Data.Data.Data Stack.Types.PackageIndex.PackageDownload instance GHC.Classes.Eq Stack.Types.PackageIndex.PackageDownload instance GHC.Generics.Generic Stack.Types.PackageIndex.PackageDownload instance GHC.Show.Show Stack.Types.PackageIndex.PackageDownload instance Data.Data.Data Stack.Types.PackageIndex.OffsetSize instance GHC.Show.Show Stack.Types.PackageIndex.OffsetSize instance GHC.Classes.Eq Stack.Types.PackageIndex.OffsetSize instance GHC.Generics.Generic Stack.Types.PackageIndex.OffsetSize instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.PackageIndex.PackageIndex) instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.PackageIndex.HackageSecurity instance Data.Aeson.Types.ToJSON.ToJSON Stack.Types.PackageIndex.IndexName instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.PackageIndex.IndexName instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.PackageIndex.HSPackageDownload instance GHC.Base.Monoid (Stack.Types.PackageIndex.PackageCache index) instance Data.Store.Impl.Store Stack.Types.PackageIndex.PackageDownload instance Control.DeepSeq.NFData Stack.Types.PackageIndex.PackageDownload instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.PackageIndex.PackageDownload instance Data.Store.Impl.Store Stack.Types.PackageIndex.OffsetSize instance Control.DeepSeq.NFData Stack.Types.PackageIndex.OffsetSize module Stack.Types.PackageDump -- | Cached information on whether package have profiling libraries and -- haddocks. newtype InstalledCache InstalledCache :: (IORef InstalledCacheInner) -> InstalledCache newtype InstalledCacheInner InstalledCacheInner :: (Map GhcPkgId InstalledCacheEntry) -> InstalledCacheInner -- | Cached information on whether a package has profiling libraries and -- haddocks. data InstalledCacheEntry InstalledCacheEntry :: !Bool -> !Bool -> !Bool -> !PackageIdentifier -> InstalledCacheEntry [installedCacheProfiling] :: InstalledCacheEntry -> !Bool [installedCacheHaddock] :: InstalledCacheEntry -> !Bool [installedCacheSymbols] :: InstalledCacheEntry -> !Bool [installedCacheIdent] :: InstalledCacheEntry -> !PackageIdentifier installedCacheVC :: VersionConfig InstalledCacheInner instance Data.Data.Data Stack.Types.PackageDump.InstalledCacheInner instance GHC.Show.Show Stack.Types.PackageDump.InstalledCacheInner instance GHC.Classes.Eq Stack.Types.PackageDump.InstalledCacheInner instance GHC.Generics.Generic Stack.Types.PackageDump.InstalledCacheInner instance Data.Store.Impl.Store Stack.Types.PackageDump.InstalledCacheInner instance Data.Data.Data Stack.Types.PackageDump.InstalledCacheEntry instance GHC.Show.Show Stack.Types.PackageDump.InstalledCacheEntry instance GHC.Generics.Generic Stack.Types.PackageDump.InstalledCacheEntry instance GHC.Classes.Eq Stack.Types.PackageDump.InstalledCacheEntry instance Data.Store.Impl.Store Stack.Types.PackageDump.InstalledCacheEntry module Control.Concurrent.Execute data ActionType ATBuild :: ActionType ATBuildFinal :: ActionType ATFinal :: ActionType data ActionId ActionId :: !PackageIdentifier -> !ActionType -> ActionId data ActionContext ActionContext :: !(Set ActionId) -> [Action] -> ActionContext -- | Does not include the current action [acRemaining] :: ActionContext -> !(Set ActionId) -- | Actions which depend on the current action [acDownstream] :: ActionContext -> [Action] data Action Action :: !ActionId -> !(Set ActionId) -> !(ActionContext -> IO ()) -> Action [actionId] :: Action -> !ActionId [actionDeps] :: Action -> !(Set ActionId) [actionDo] :: Action -> !(ActionContext -> IO ()) runActions :: Int -> Bool -> Bool -> [Action] -> (TVar Int -> IO ()) -> IO [SomeException] instance GHC.Classes.Ord Control.Concurrent.Execute.ActionId instance GHC.Classes.Eq Control.Concurrent.Execute.ActionId instance GHC.Show.Show Control.Concurrent.Execute.ActionId instance GHC.Classes.Ord Control.Concurrent.Execute.ActionType instance GHC.Classes.Eq Control.Concurrent.Execute.ActionType instance GHC.Show.Show Control.Concurrent.Execute.ActionType instance GHC.Exception.Exception Control.Concurrent.Execute.ExecuteException instance GHC.Show.Show Control.Concurrent.Execute.ExecuteException module Stack.Types.Compiler -- | Variety of compiler to use. data WhichCompiler Ghc :: WhichCompiler Ghcjs :: WhichCompiler -- | Whether the compiler version given is the wanted version (what the -- stack.yaml file, snapshot file, or --resolver argument request), or -- the actual installed GHC. Depending on the matching requirements, -- these values could be different. data CVType CVWanted :: CVType CVActual :: CVType -- | Specifies a compiler and its version number(s). -- -- Note that despite having this datatype, stack isn't in a hurry to -- support compilers other than GHC. -- -- NOTE: updating this will change its binary serialization. The version -- number in the BinarySchema instance for -- MiniBuildPlan should be updated. data CompilerVersion (cvType :: CVType) GhcVersion :: {-# UNPACK #-} !Version -> CompilerVersion GhcjsVersion :: {-# UNPACK #-} !Version -> {-# UNPACK #-} !Version -> CompilerVersion actualToWanted :: CompilerVersion 'CVActual -> CompilerVersion 'CVWanted wantedToActual :: CompilerVersion 'CVWanted -> CompilerVersion 'CVActual parseCompilerVersion :: Text -> Maybe (CompilerVersion a) compilerVersionText :: CompilerVersion a -> Text compilerVersionString :: CompilerVersion a -> String whichCompiler :: CompilerVersion a -> WhichCompiler isWantedCompiler :: VersionCheck -> CompilerVersion 'CVWanted -> CompilerVersion 'CVActual -> Bool getGhcVersion :: CompilerVersion a -> Version compilerExeName :: WhichCompiler -> String haddockExeName :: WhichCompiler -> String instance Data.Typeable.Internal.Typeable cvType => Data.Data.Data (Stack.Types.Compiler.CompilerVersion cvType) instance GHC.Classes.Ord (Stack.Types.Compiler.CompilerVersion cvType) instance GHC.Classes.Eq (Stack.Types.Compiler.CompilerVersion cvType) instance GHC.Show.Show (Stack.Types.Compiler.CompilerVersion cvType) instance GHC.Generics.Generic (Stack.Types.Compiler.CompilerVersion cvType) instance GHC.Classes.Ord Stack.Types.Compiler.WhichCompiler instance GHC.Classes.Eq Stack.Types.Compiler.WhichCompiler instance GHC.Show.Show Stack.Types.Compiler.WhichCompiler instance Data.Store.Impl.Store (Stack.Types.Compiler.CompilerVersion a) instance Control.DeepSeq.NFData (Stack.Types.Compiler.CompilerVersion a) instance Data.Aeson.Types.ToJSON.ToJSON (Stack.Types.Compiler.CompilerVersion a) instance Data.Aeson.Types.FromJSON.FromJSON (Stack.Types.Compiler.CompilerVersion a) instance Data.Aeson.Types.FromJSON.FromJSONKey (Stack.Types.Compiler.CompilerVersion a) module Stack.Types.Resolver type Resolver = ResolverWith (Either Request FilePath) data IsLoaded Loaded :: IsLoaded NotLoaded :: IsLoaded type LoadedResolver = ResolverWith SnapshotHash -- | How we resolve which dependencies to install given a set of packages. data ResolverWith customContents -- | Use an official snapshot from the Stackage project, either an LTS -- Haskell or Stackage Nightly. ResolverSnapshot :: !SnapName -> ResolverWith customContents -- | Require a specific compiler version, but otherwise provide no build -- plan. Intended for use cases where end user wishes to specify all -- upstream dependencies manually, such as using a dependency solver. ResolverCompiler :: !(CompilerVersion 'CVWanted) -> ResolverWith customContents -- | A custom resolver based on the given location (as a raw URL or -- filepath). If customContents is a Either Request -- FilePath, it represents the parsed location value (with filepaths -- resolved relative to the directory containing the file referring to -- the custom snapshot). Once it has been loaded from disk, it will be -- replaced with a SnapshotHash value, which is used to store -- cached files. ResolverCustom :: !Text -> !customContents -> ResolverWith customContents -- | Parse a Resolver from a Text parseResolverText :: Text -> ResolverWith () -- | Either an actual resolver value, or an abstract description of one -- (e.g., latest nightly). data AbstractResolver ARLatestNightly :: AbstractResolver ARLatestLTS :: AbstractResolver ARLatestLTSMajor :: !Int -> AbstractResolver ARResolver :: !(ResolverWith ()) -> AbstractResolver ARGlobal :: AbstractResolver readAbstractResolver :: ReadM AbstractResolver -- | Convert a Resolver into its Text representation for human -- presentation. When possible, you should prefer -- sdResolverName, as it will handle the human-friendly name -- inside a custom snapshot. resolverRawName :: ResolverWith a -> Text -- | The name of an LTS Haskell or Stackage Nightly snapshot. data SnapName LTS :: !Int -> !Int -> SnapName Nightly :: !Day -> SnapName -- | Most recent Nightly and newest LTS version per major release. data Snapshots Snapshots :: !Day -> !(IntMap Int) -> Snapshots [snapshotsNightly] :: Snapshots -> !Day [snapshotsLts] :: Snapshots -> !(IntMap Int) -- | Convert a SnapName into its short representation, e.g. -- lts-2.8, nightly-2015-03-05. renderSnapName :: SnapName -> Text -- | Parse the short representation of a SnapName. parseSnapName :: MonadThrow m => Text -> m SnapName data SnapshotHash -- | Return the first 12 characters of the hash as a B64URL-encoded string. trimmedSnapshotHash :: SnapshotHash -> Text -- | Return the raw bytes in the hash snapshotHashToBS :: SnapshotHash -> ByteString -- | Create a new SnapshotHash by SHA256 hashing the given contents snapshotHashFromBS :: ByteString -> SnapshotHash -- | Create a new SnapshotHash from the given digest snapshotHashFromDigest :: Digest SHA256 -> SnapshotHash parseCustomLocation :: MonadThrow m => Maybe (Path Abs Dir) -> ResolverWith () -> m Resolver instance GHC.Classes.Eq Stack.Types.Resolver.SnapshotHash instance Data.Data.Data Stack.Types.Resolver.SnapshotHash instance GHC.Show.Show Stack.Types.Resolver.SnapshotHash instance GHC.Generics.Generic Stack.Types.Resolver.SnapshotHash instance GHC.Show.Show Stack.Types.Resolver.Snapshots instance GHC.Show.Show Stack.Types.Resolver.AbstractResolver instance Data.Traversable.Traversable Stack.Types.Resolver.ResolverWith instance Data.Foldable.Foldable Stack.Types.Resolver.ResolverWith instance GHC.Base.Functor Stack.Types.Resolver.ResolverWith instance GHC.Classes.Eq customContents => GHC.Classes.Eq (Stack.Types.Resolver.ResolverWith customContents) instance Data.Data.Data customContents => Data.Data.Data (Stack.Types.Resolver.ResolverWith customContents) instance GHC.Show.Show customContents => GHC.Show.Show (Stack.Types.Resolver.ResolverWith customContents) instance GHC.Generics.Generic (Stack.Types.Resolver.ResolverWith customContents) instance GHC.Classes.Eq Stack.Types.Resolver.SnapName instance Data.Data.Data Stack.Types.Resolver.SnapName instance GHC.Show.Show Stack.Types.Resolver.SnapName instance GHC.Generics.Generic Stack.Types.Resolver.SnapName instance Data.Store.Impl.Store Stack.Types.Resolver.LoadedResolver instance Control.DeepSeq.NFData Stack.Types.Resolver.LoadedResolver instance Data.Store.Impl.Store Stack.Types.Resolver.SnapshotHash instance Control.DeepSeq.NFData Stack.Types.Resolver.SnapshotHash instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Resolver.Snapshots instance GHC.Exception.Exception Stack.Types.Resolver.BuildPlanTypesException instance GHC.Show.Show Stack.Types.Resolver.BuildPlanTypesException instance Data.Aeson.Types.ToJSON.ToJSON (Stack.Types.Resolver.ResolverWith a) instance a ~ () => Data.Aeson.Types.FromJSON.FromJSON (Stack.Types.Resolver.ResolverWith a) instance Data.Store.Impl.Store Stack.Types.Resolver.SnapName instance Control.DeepSeq.NFData Stack.Types.Resolver.SnapName module Stack.Options.ResolverParser -- | Parser for the resolver abstractResolverOptsParser :: Bool -> Parser AbstractResolver compilerOptsParser :: Bool -> Parser (CompilerVersion 'CVWanted) readCompilerVersion :: ReadM (CompilerVersion 'CVWanted) -- | Constants used throughout the project. module Stack.Constants -- | Path where build plans are stored. buildPlanDir :: Path Abs Dir -> Path Abs Dir -- | Path where binary caches of the build plans are stored. buildPlanCacheDir :: Path Abs Dir -> Path Abs Dir -- | Extensions for anything that can be a Haskell module. haskellModuleExts :: [Text] -- | The filename used for the stack config file. stackDotYaml :: Path Rel File -- | Environment variable used to override the '.stack-work' relative dir. stackWorkEnvVar :: String -- | Environment variable used to override the '~/.stack' location. stackRootEnvVar :: String -- | Option name for the global stack root. stackRootOptionName :: String -- | Deprecated option name for the global stack root. -- -- Deprecated since stack-1.1.0. -- -- TODO: Remove occurences of this variable and use -- stackRootOptionName only after an appropriate deprecation -- period. deprecatedStackRootOptionName :: String -- | Environment variable used to indicate stack is running in container. inContainerEnvVar :: String -- | Environment variable used to indicate stack is running in container. -- although we already have STACK_IN_NIX_EXTRA_ARGS that is set in the -- same conditions, it can happen that STACK_IN_NIX_EXTRA_ARGS is set to -- empty. inNixShellEnvVar :: String -- | Name of the stack program. stackProgName :: String -- | Name of the stack program, uppercased stackProgNameUpper :: String wiredInPackages :: HashSet PackageName ghcjsBootPackages :: HashSet PackageName -- | Just to avoid repetition and magic strings. cabalPackageName :: PackageName -- | Deprecated implicit global project directory used when outside of a -- project. implicitGlobalProjectDirDeprecated :: Path Abs Dir -> Path Abs Dir -- | Implicit global project directory used when outside of a project. -- Normally, getImplicitGlobalProjectDir should be used instead. implicitGlobalProjectDir :: Path Abs Dir -> Path Abs Dir -- | Deprecated default global config path. defaultUserConfigPathDeprecated :: Path Abs Dir -> Path Abs File -- | Default global config path. Normally, -- getDefaultUserConfigPath should be used instead. defaultUserConfigPath :: Path Abs Dir -> Path Abs File -- | Deprecated default global config path. Note that this will be -- Nothing on Windows, which is by design. defaultGlobalConfigPathDeprecated :: Maybe (Path Abs File) -- | Default global config path. Normally, -- getDefaultGlobalConfigPath should be used instead. Note that -- this will be Nothing on Windows, which is by design. defaultGlobalConfigPath :: Maybe (Path Abs File) -- | Environment variable that stores a variant to append to -- platform-specific directory names. Used to ensure incompatible -- binaries aren't shared between Docker builds and host platformVariantEnvVar :: String -- | Provides --ghc-options for Ghc, and similarly, --ghcjs-options -- for Ghcjs. compilerOptionsCabalFlag :: WhichCompiler -> String -- | The flag to pass to GHC when we want to force its output to be -- colorized. ghcColorForceFlag :: String -- | The minimum allowed terminal width. Used for pretty-printing. minTerminalWidth :: Int -- | The maximum allowed terminal width. Used for pretty-printing. maxTerminalWidth :: Int -- | The default terminal width. Used for pretty-printing when we can't -- automatically detect it and when the user doesn't supply one. defaultTerminalWidth :: Int -- | Docker types. module Stack.Types.Docker -- | Docker configuration. data DockerOpts DockerOpts :: !Bool -> !String -> !Bool -> !(Maybe String) -> !(Maybe String) -> !Bool -> !Bool -> !Bool -> !(Maybe String) -> ![String] -> ![Mount] -> ![String] -> !(Path Abs File) -> !(Maybe DockerStackExe) -> !(Maybe Bool) -> !VersionRange -> DockerOpts -- | Is using Docker enabled? [dockerEnable] :: DockerOpts -> !Bool -- | Exact Docker image tag or ID. Overrides docker-repo-*/tag. [dockerImage] :: DockerOpts -> !String -- | Does registry require login for pulls? [dockerRegistryLogin] :: DockerOpts -> !Bool -- | Optional username for Docker registry. [dockerRegistryUsername] :: DockerOpts -> !(Maybe String) -- | Optional password for Docker registry. [dockerRegistryPassword] :: DockerOpts -> !(Maybe String) -- | Automatically pull new images. [dockerAutoPull] :: DockerOpts -> !Bool -- | Whether to run a detached container [dockerDetach] :: DockerOpts -> !Bool -- | Create a persistent container (don't remove it when finished). Implied -- by dockerDetach. [dockerPersist] :: DockerOpts -> !Bool -- | Container name to use, only makes sense from command-line with -- dockerPersist or dockerDetach. [dockerContainerName] :: DockerOpts -> !(Maybe String) -- | Arguments to pass directly to docker run. [dockerRunArgs] :: DockerOpts -> ![String] -- | Volumes to mount in the container. [dockerMount] :: DockerOpts -> ![Mount] -- | Environment variables to set in the container. [dockerEnv] :: DockerOpts -> ![String] -- | Location of image usage database. [dockerDatabasePath] :: DockerOpts -> !(Path Abs File) -- | Location of container-compatible stack executable [dockerStackExe] :: DockerOpts -> !(Maybe DockerStackExe) -- | Set in-container user to match host's [dockerSetUser] :: DockerOpts -> !(Maybe Bool) -- | Require a version of Docker within this range. [dockerRequireDockerVersion] :: DockerOpts -> !VersionRange -- | An uninterpreted representation of docker options. Configurations may -- be "cascaded" using mappend (left-biased). data DockerOptsMonoid DockerOptsMonoid :: !Any -> !(First Bool) -> !(First DockerMonoidRepoOrImage) -> !(First Bool) -> !(First String) -> !(First String) -> !(First Bool) -> !(First Bool) -> !(First Bool) -> !(First String) -> ![String] -> ![Mount] -> ![String] -> !(First (Path Abs File)) -> !(First DockerStackExe) -> !(First Bool) -> !IntersectingVersionRange -> DockerOptsMonoid -- | Should Docker be defaulted to enabled (does docker: section -- exist in the config)? [dockerMonoidDefaultEnable] :: DockerOptsMonoid -> !Any -- | Is using Docker enabled? [dockerMonoidEnable] :: DockerOptsMonoid -> !(First Bool) -- | Docker repository name (e.g. fpco/stack-build or -- fpco/stack-full:lts-2.8) [dockerMonoidRepoOrImage] :: DockerOptsMonoid -> !(First DockerMonoidRepoOrImage) -- | Does registry require login for pulls? [dockerMonoidRegistryLogin] :: DockerOptsMonoid -> !(First Bool) -- | Optional username for Docker registry. [dockerMonoidRegistryUsername] :: DockerOptsMonoid -> !(First String) -- | Optional password for Docker registry. [dockerMonoidRegistryPassword] :: DockerOptsMonoid -> !(First String) -- | Automatically pull new images. [dockerMonoidAutoPull] :: DockerOptsMonoid -> !(First Bool) -- | Whether to run a detached container [dockerMonoidDetach] :: DockerOptsMonoid -> !(First Bool) -- | Create a persistent container (don't remove it when finished). Implied -- by dockerDetach. [dockerMonoidPersist] :: DockerOptsMonoid -> !(First Bool) -- | Container name to use, only makes sense from command-line with -- dockerPersist or dockerDetach. [dockerMonoidContainerName] :: DockerOptsMonoid -> !(First String) -- | Arguments to pass directly to docker run [dockerMonoidRunArgs] :: DockerOptsMonoid -> ![String] -- | Volumes to mount in the container [dockerMonoidMount] :: DockerOptsMonoid -> ![Mount] -- | Environment variables to set in the container [dockerMonoidEnv] :: DockerOptsMonoid -> ![String] -- | Location of image usage database. [dockerMonoidDatabasePath] :: DockerOptsMonoid -> !(First (Path Abs File)) -- | Location of container-compatible stack executable [dockerMonoidStackExe] :: DockerOptsMonoid -> !(First DockerStackExe) -- | Set in-container user to match host's [dockerMonoidSetUser] :: DockerOptsMonoid -> !(First Bool) -- | See: dockerRequireDockerVersion [dockerMonoidRequireDockerVersion] :: DockerOptsMonoid -> !IntersectingVersionRange -- | Decode uninterpreted docker options from JSON/YAML. -- | Left-biased combine Docker options -- | Where to get the stack executable to run in Docker containers data DockerStackExe -- | Download from official bindist DockerStackExeDownload :: DockerStackExe -- | Host's stack (linux-x86_64 only) DockerStackExeHost :: DockerStackExe -- | Docker image's stack (versions must match) DockerStackExeImage :: DockerStackExe -- | Executable at given path DockerStackExePath :: (Path Abs File) -> DockerStackExe -- | Parse DockerStackExe. parseDockerStackExe :: (MonadThrow m) => String -> m DockerStackExe -- | Docker volume mount. data Mount Mount :: String -> String -> Mount -- | For optparse-applicative. -- | Show instance. -- | For YAML. -- | Options for Docker repository or image. data DockerMonoidRepoOrImage DockerMonoidRepo :: String -> DockerMonoidRepoOrImage DockerMonoidImage :: String -> DockerMonoidRepoOrImage -- | Newtype for non-orphan FromJSON instance. newtype VersionRangeJSON VersionRangeJSON :: VersionRange -> VersionRangeJSON [unVersionRangeJSON] :: VersionRangeJSON -> VersionRange -- | Parse VersionRange. -- | Exceptions thrown by Stack.Docker. data StackDockerException -- | Docker must be enabled to use the command. DockerMustBeEnabledException :: StackDockerException -- | Command must be run on host OS (not in a container). OnlyOnHostException :: StackDockerException -- | docker inspect failed. InspectFailedException :: String -> StackDockerException -- | Image does not exist. NotPulledException :: String -> StackDockerException -- | Input to docker cleanup has invalid command. InvalidCleanupCommandException :: String -> StackDockerException -- | Invalid output from docker images. InvalidImagesOutputException :: String -> StackDockerException -- | Invalid output from docker ps. InvalidPSOutputException :: String -> StackDockerException -- | Invalid output from docker inspect. InvalidInspectOutputException :: String -> StackDockerException -- | Could not pull a Docker image. PullFailedException :: String -> StackDockerException -- | Installed version of docker below minimum version. DockerTooOldException :: Version -> Version -> StackDockerException -- | Installed version of docker is prohibited. DockerVersionProhibitedException :: [Version] -> Version -> StackDockerException -- | Installed version of docker is out of range specified in -- config file. BadDockerVersionException :: VersionRange -> Version -> StackDockerException -- | Invalid output from docker --version. InvalidVersionOutputException :: StackDockerException -- | Version of stack on host is too old for version in image. HostStackTooOldException :: Version -> (Maybe Version) -> StackDockerException -- | Version of stack in container/image is too old for version on -- host. ContainerStackTooOldException :: Version -> Version -> StackDockerException -- | Can't determine the project root (where to put docker sandbox). CannotDetermineProjectRootException :: StackDockerException -- | docker --version failed. DockerNotInstalledException :: StackDockerException -- | Using host stack-exe on unsupported platform. UnsupportedStackExeHostPlatformException :: StackDockerException -- | stack-exe option fails to parse. DockerStackExeParseException :: String -> StackDockerException -- | Docker enable argument name. dockerEnableArgName :: Text -- | Docker repo arg argument name. dockerRepoArgName :: Text -- | Docker image argument name. dockerImageArgName :: Text -- | Docker registry login argument name. dockerRegistryLoginArgName :: Text -- | Docker registry username argument name. dockerRegistryUsernameArgName :: Text -- | Docker registry password argument name. dockerRegistryPasswordArgName :: Text -- | Docker auto-pull argument name. dockerAutoPullArgName :: Text -- | Docker detach argument name. dockerDetachArgName :: Text -- | Docker run args argument name. dockerRunArgsArgName :: Text -- | Docker mount argument name. dockerMountArgName :: Text -- | Docker environment variable argument name. dockerEnvArgName :: Text -- | Docker container name argument name. dockerContainerNameArgName :: Text -- | Docker persist argument name. dockerPersistArgName :: Text -- | Docker database path argument name. dockerDatabasePathArgName :: Text -- | Docker database path argument name. dockerStackExeArgName :: Text -- | Value for --docker-stack-exe=download dockerStackExeDownloadVal :: String -- | Value for --docker-stack-exe=host dockerStackExeHostVal :: String -- | Value for --docker-stack-exe=image dockerStackExeImageVal :: String -- | Docker set-user argument name dockerSetUserArgName :: Text -- | Docker require-version argument name dockerRequireDockerVersionArgName :: Text -- | Argument name used to pass docker entrypoint data (only used -- internally) dockerEntrypointArgName :: String -- | Command-line argument for "docker" dockerCmdName :: String dockerHelpOptName :: String -- | Command-line argument for docker pull. dockerPullCmdName :: String -- | Command-line argument for docker cleanup. dockerCleanupCmdName :: String -- | Command-line option for --internal-re-exec-version. reExecArgName :: String -- | Platform that Docker containers run dockerContainerPlatform :: Platform instance GHC.Generics.Generic Stack.Types.Docker.DockerOptsMonoid instance GHC.Show.Show Stack.Types.Docker.DockerOptsMonoid instance GHC.Show.Show Stack.Types.Docker.DockerMonoidRepoOrImage instance GHC.Show.Show Stack.Types.Docker.DockerOpts instance GHC.Show.Show Stack.Types.Docker.DockerStackExe instance GHC.Exception.Exception Stack.Types.Docker.StackDockerException instance GHC.Show.Show Stack.Types.Docker.StackDockerException instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Docker.DockerOptsMonoid) instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Docker.VersionRangeJSON instance GHC.Base.Monoid Stack.Types.Docker.DockerOptsMonoid instance GHC.Read.Read Stack.Types.Docker.Mount instance GHC.Show.Show Stack.Types.Docker.Mount instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Docker.Mount instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Docker.DockerStackExe -- | This module implements parsing of additional arguments embedded in a -- comment when stack is invoked as a script interpreter -- --
-- #!/usr/bin/env stack ---- -- Additional arguments can be specified in a haskell comment following -- the #! line. The contents inside the comment must be a single -- valid stack command line, starting with stack as the command -- and followed by the options to use for executing this file. -- -- The comment must be on the line immediately following the #! -- line. The comment must start in the first column of the line. When -- using a block style comment the command can be split on multiple -- lines. -- -- Here is an example of a single line comment: -- --
-- #!/usr/bin/env stack -- -- stack --resolver lts-3.14 --install-ghc runghc --package random ---- -- Here is an example of a multi line block comment: -- --
-- #!/usr/bin/env stack
-- {- stack
-- --resolver lts-3.14
-- --install-ghc
-- runghc
-- --package random
-- -}
--
--
-- When the #! line is not present, the file can still be
-- executed using stack <file name> command if the file
-- starts with a valid stack interpreter comment. This can be used to
-- execute the file on Windows for example.
--
-- Nested block comments are not supported.
module Data.Attoparsec.Interpreter
-- | Parser to extract the stack command line embedded inside a comment
-- after validating the placement and formatting rules for a valid
-- interpreter specification.
interpreterArgsParser :: Bool -> String -> Parser String
-- | Extract stack arguments from a correctly placed and correctly
-- formatted comment when it is being used as an interpreter
getInterpreterArgs :: String -> IO [String]
-- | Nix configuration
module Stack.Config.Nix
-- | Interprets NixOptsMonoid options.
nixOptsFromMonoid :: MonadUnliftIO m => NixOptsMonoid -> OS -> m NixOpts
nixCompiler :: CompilerVersion a -> Either StringException Text
data StackNixException
-- | Nix can't be given packages and a shell file at the same time
NixCannotUseShellFileAndPackagesException :: StackNixException
instance GHC.Exception.Exception Stack.Config.Nix.StackNixException
instance GHC.Show.Show Stack.Config.Nix.StackNixException
module Stack.Types.VersionIntervals
data VersionIntervals
toVersionRange :: VersionIntervals -> VersionRange
fromVersionRange :: VersionRange -> VersionIntervals
withinIntervals :: Version -> VersionIntervals -> Bool
unionVersionIntervals :: VersionIntervals -> VersionIntervals -> VersionIntervals
intersectVersionIntervals :: VersionIntervals -> VersionIntervals -> VersionIntervals
instance Data.Data.Data Stack.Types.VersionIntervals.VersionIntervals
instance GHC.Classes.Eq Stack.Types.VersionIntervals.VersionIntervals
instance GHC.Show.Show Stack.Types.VersionIntervals.VersionIntervals
instance GHC.Generics.Generic Stack.Types.VersionIntervals.VersionIntervals
instance Data.Data.Data Stack.Types.VersionIntervals.VersionInterval
instance GHC.Classes.Eq Stack.Types.VersionIntervals.VersionInterval
instance GHC.Show.Show Stack.Types.VersionIntervals.VersionInterval
instance GHC.Generics.Generic Stack.Types.VersionIntervals.VersionInterval
instance Data.Data.Data Stack.Types.VersionIntervals.Bound
instance GHC.Classes.Eq Stack.Types.VersionIntervals.Bound
instance GHC.Show.Show Stack.Types.VersionIntervals.Bound
instance GHC.Generics.Generic Stack.Types.VersionIntervals.Bound
instance Data.Store.Impl.Store Stack.Types.VersionIntervals.VersionIntervals
instance Control.DeepSeq.NFData Stack.Types.VersionIntervals.VersionIntervals
instance Data.Store.Impl.Store Stack.Types.VersionIntervals.VersionInterval
instance Control.DeepSeq.NFData Stack.Types.VersionIntervals.VersionInterval
instance Data.Store.Impl.Store Stack.Types.VersionIntervals.Bound
instance Control.DeepSeq.NFData Stack.Types.VersionIntervals.Bound
-- | Shared types for various stackage packages.
module Stack.Types.BuildPlan
-- | A definition of a snapshot. This could be a Stackage snapshot or
-- something custom. It does not include information on the global
-- package database, this is added later.
--
-- It may seem more logic to attach flags, options, etc, directly with
-- the desired package. However, this isn't possible yet: our definition
-- may contain tarballs or Git repos, and we don't actually know the
-- package names contained there. Therefore, we capture all of this
-- additional information by package name, and later in the snapshot load
-- step we will resolve the contents of tarballs and repos, figure out
-- package names, and assigned values appropriately.
data SnapshotDef
SnapshotDef :: !(Either (CompilerVersion 'CVWanted) SnapshotDef) -> !LoadedResolver -> !Text -> ![PackageLocationIndex Subdirs] -> !(Set PackageName) -> !(Map PackageName (Map FlagName Bool)) -> !(Map PackageName Bool) -> !(Map PackageName [Text]) -> !(Map PackageName (Maybe Version)) -> SnapshotDef
-- | The snapshot to extend from. This is either a specific compiler, or a
-- SnapshotDef which gives us more information (like packages).
-- Ultimately, we'll end up with a CompilerVersion.
[sdParent] :: SnapshotDef -> !(Either (CompilerVersion 'CVWanted) SnapshotDef)
-- | The resolver that provides this definition.
[sdResolver] :: SnapshotDef -> !LoadedResolver
-- | A user-friendly way of referring to this resolver.
[sdResolverName] :: SnapshotDef -> !Text
-- | Where to grab all of the packages from.
[sdLocations] :: SnapshotDef -> ![PackageLocationIndex Subdirs]
-- | Packages present in the parent which should not be included here.
[sdDropPackages] :: SnapshotDef -> !(Set PackageName)
-- | Flag values to override from the defaults
[sdFlags] :: SnapshotDef -> !(Map PackageName (Map FlagName Bool))
-- | Packages which should be hidden when registering. This will affect,
-- for example, the import parser in the script command. We use a
-- Map instead of just a Set to allow overriding the hidden
-- settings in a parent snapshot.
[sdHidden] :: SnapshotDef -> !(Map PackageName Bool)
-- | GHC options per package
[sdGhcOptions] :: SnapshotDef -> !(Map PackageName [Text])
-- | Hints about which packages are available globally. When actually
-- building code, we trust the package database provided by GHC itself,
-- since it may be different based on platform or GHC install. However,
-- when we want to check the compatibility of a snapshot with some
-- codebase without installing GHC (e.g., during stack init), we would
-- use this field.
[sdGlobalHints] :: SnapshotDef -> !(Map PackageName (Maybe Version))
snapshotDefVC :: VersionConfig SnapshotDef
-- | A relative file path including a unique string for the given snapshot.
sdRawPathName :: SnapshotDef -> String
-- | Where to get the contents of a package (including cabal file
-- revisions) from.
--
-- A GADT may be more logical than the index parameter, but this plays
-- more nicely with Generic deriving.
data PackageLocation subdirs
-- | Note that we use FilePath and not Paths. The goal
-- is: first parse the value raw, and then use canonicalizePath
-- and parseAbsDir.
PLFilePath :: !FilePath -> PackageLocation subdirs
PLArchive :: !(Archive subdirs) -> PackageLocation subdirs
-- | Stored in a source control repository
PLRepo :: !(Repo subdirs) -> PackageLocation subdirs
-- | Add in the possibility of getting packages from the index (including
-- cabal file revisions). We have special handling of this case in many
-- places in the codebase, and therefore represent it with a separate
-- data type from PackageLocation.
data PackageLocationIndex subdirs
-- | Grab the package from the package index with the given version and
-- (optional) cabal file info to specify the correct revision.
PLIndex :: !PackageIdentifierRevision -> PackageLocationIndex subdirs
PLOther :: !(PackageLocation subdirs) -> PackageLocationIndex subdirs
-- | The type of a source control repository.
data RepoType
RepoGit :: RepoType
RepoHg :: RepoType
data Subdirs
DefaultSubdirs :: Subdirs
ExplicitSubdirs :: ![FilePath] -> Subdirs
-- | Information on packages stored in a source control repository.
data Repo subdirs
Repo :: !Text -> !Text -> !RepoType -> !subdirs -> Repo subdirs
[repoUrl] :: Repo subdirs -> !Text
[repoCommit] :: Repo subdirs -> !Text
[repoType] :: Repo subdirs -> !RepoType
[repoSubdirs] :: Repo subdirs -> !subdirs
-- | A package archive, could be from a URL or a local file path. Local
-- file path archives are assumed to be unchanging over time, and so are
-- allowed in custom snapshots.
data Archive subdirs
Archive :: !Text -> !subdirs -> !(Maybe StaticSHA256) -> Archive subdirs
[archiveUrl] :: Archive subdirs -> !Text
[archiveSubdirs] :: Archive subdirs -> !subdirs
[archiveHash] :: Archive subdirs -> !(Maybe StaticSHA256)
-- | Name of an executable.
newtype ExeName
ExeName :: Text -> ExeName
[unExeName] :: ExeName -> Text
-- | A fully loaded snapshot combined , including information gleaned from
-- the global database and parsing cabal files.
--
-- Invariant: a global package may not depend upon a snapshot package, a
-- snapshot may not depend upon a local or project, and all dependencies
-- must be satisfied.
data LoadedSnapshot
LoadedSnapshot :: !(CompilerVersion 'CVActual) -> !(Map PackageName (LoadedPackageInfo GhcPkgId)) -> !(Map PackageName (LoadedPackageInfo (PackageLocationIndex FilePath))) -> LoadedSnapshot
[lsCompilerVersion] :: LoadedSnapshot -> !(CompilerVersion 'CVActual)
[lsGlobals] :: LoadedSnapshot -> !(Map PackageName (LoadedPackageInfo GhcPkgId))
[lsPackages] :: LoadedSnapshot -> !(Map PackageName (LoadedPackageInfo (PackageLocationIndex FilePath)))
loadedSnapshotVC :: VersionConfig LoadedSnapshot
-- | Information on a single package for the LoadedSnapshot which
-- can be installed.
--
-- Note that much of the information below (such as the package
-- dependencies or exposed modules) can be conditional in the cabal file,
-- which means it will vary based on flags, arch, and OS.
data LoadedPackageInfo loc
LoadedPackageInfo :: !Version -> !loc -> !(Map FlagName Bool) -> ![Text] -> !(Map PackageName VersionIntervals) -> !(Set ExeName) -> !(Map ExeName VersionIntervals) -> !(Set ModuleName) -> !Bool -> LoadedPackageInfo loc
-- | This must match the version specified within rpiDef.
[lpiVersion] :: LoadedPackageInfo loc -> !Version
-- | Where to get the package from. This could be a few different things:
--
-- -- > readProcess "date" [] [] -- "Thu Feb 7 10:03:39 PST 2008\n" ---- -- The arguments are: -- --
-- ProcessFailed createProcess exitCode stdout stderr --ProcessFailed :: CreateProcess -> ExitCode -> ByteString -> ByteString -> ReadProcessException NoPathFound :: ReadProcessException ExecutableNotFound :: String -> [FilePath] -> ReadProcessException ExecutableNotFoundAt :: FilePath -> ReadProcessException -- | Augment the PATH environment variable with the given extra paths. augmentPath :: MonadThrow m => [Path Abs Dir] -> Maybe Text -> m Text -- | Apply augmentPath on the PATH value in the given Map. augmentPathMap :: MonadThrow m => [Path Abs Dir] -> Map Text Text -> m (Map Text Text) -- | Reset the executable cache. resetExeCache :: MonadIO m => EnvOverride -> m () instance GHC.Exception.Exception System.Process.Read.InvalidPathException instance GHC.Show.Show System.Process.Read.InvalidPathException instance GHC.Show.Show System.Process.Read.ReadProcessException instance GHC.Exception.Exception System.Process.Read.ReadProcessException -- | Run sub-processes. module System.Process.Run -- | Run the given command in the given directory, inheriting stdout and -- stderr. -- -- If it exits with anything but success, prints an error and then calls -- exitWith to exit the program. runCmd :: forall (m :: * -> *). (MonadLogger m, MonadUnliftIO m) => Cmd -> Maybe Text -> m () runCmd' :: forall (m :: * -> *). (MonadLogger m, MonadUnliftIO m) => (CreateProcess -> CreateProcess) -> Cmd -> Maybe Text -> m () -- | Like callProcess, but takes an optional working directory and -- environment override, and throws ProcessExitedUnsuccessfully if -- the process exits unsuccessfully and a ReadProcessException if -- the executable is not found. -- -- Inherits stdout and stderr. callProcess :: (MonadIO m, MonadLogger m) => Cmd -> m () -- | Like callProcess, but takes an optional working directory and -- environment override, and throws ProcessExitedUnsuccessfully if -- the process exits unsuccessfully and a ReadProcessException if -- the executable is not found. -- -- Inherits stdout and stderr. callProcess' :: (MonadIO m, MonadLogger m) => (CreateProcess -> CreateProcess) -> Cmd -> m () callProcessInheritStderrStdout :: (MonadIO m, MonadLogger m) => Cmd -> m () callProcessObserveStdout :: (MonadIO m, MonadLogger m) => Cmd -> m String -- | Like createProcess_, but taking a Cmd. Note that the -- Handles provided by UseHandle are not closed -- automatically. createProcess' :: (MonadIO m, MonadLogger m) => String -> (CreateProcess -> CreateProcess) -> Cmd -> m (Maybe Handle, Maybe Handle, Maybe Handle, ProcessHandle) -- | Indicates that a process exited with an non-success exit code. -- -- Since 0.1.7 data ProcessExitedUnsuccessfully :: * -- | Cmd holds common infos needed to running a process in most cases data Cmd Cmd :: Maybe (Path Abs Dir) -> FilePath -> EnvOverride -> [String] -> Cmd -- | directory to run in [cmdDirectoryToRunIn] :: Cmd -> Maybe (Path Abs Dir) -- | command to run [cmdCommandToRun] :: Cmd -> FilePath [cmdEnvOverride] :: Cmd -> EnvOverride -- | command line arguments [cmdCommandLineArguments] :: Cmd -> [String] module System.Terminal -- | Get the width, in columns, of the terminal if we can. getTerminalWidth :: IO (Maybe Int) instance GHC.Show.Show System.Terminal.WindowWidth instance GHC.Classes.Ord System.Terminal.WindowWidth instance GHC.Classes.Eq System.Terminal.WindowWidth instance Foreign.Storable.Storable System.Terminal.WindowWidth -- | Run environment module Stack.Types.Runner -- | Monadic environment. data Runner Runner :: !Bool -> !LogOptions -> !Bool -> !Sticky -> !(IORef (Map PackageIdentifierRevision GenericPackageDescription, Map (Path Abs Dir) (GenericPackageDescription, Path Abs File))) -> Runner [runnerReExec] :: Runner -> !Bool [runnerLogOptions] :: Runner -> !LogOptions [runnerTerminal] :: Runner -> !Bool [runnerSticky] :: Runner -> !Sticky -- | Cache of previously parsed cabal files. -- -- TODO: This is really an ugly hack to avoid spamming the user with -- warnings when we parse cabal files multiple times and bypass -- performance issues. Ideally: we would just design the system such that -- it only ever parses a cabal file once. But for now, this is a decent -- workaround. See: -- https://github.com/commercialhaskell/stack/issues/3591. [runnerParsedCabalFiles] :: Runner -> !(IORef (Map PackageIdentifierRevision GenericPackageDescription, Map (Path Abs Dir) (GenericPackageDescription, Path Abs File))) class HasLogFunc env => HasRunner env runnerL :: HasRunner env => Lens' env Runner terminalL :: HasRunner env => Lens' env Bool reExecL :: HasRunner env => Lens' env Bool stickyL :: HasRunner env => Lens' env Sticky logOptionsL :: HasRunner env => Lens' env LogOptions newtype Sticky Sticky :: Maybe (MVar (Maybe Text)) -> Sticky [unSticky] :: Sticky -> Maybe (MVar (Maybe Text)) data LogOptions LogOptions :: Bool -> Int -> Bool -> Bool -> LogLevel -> Bool -> LogOptions [logUseColor] :: LogOptions -> Bool [logTermWidth] :: LogOptions -> Int [logUseUnicode] :: LogOptions -> Bool [logUseTime] :: LogOptions -> Bool [logMinLevel] :: LogOptions -> LogLevel [logVerboseFormat] :: LogOptions -> Bool data ColorWhen ColorNever :: ColorWhen ColorAlways :: ColorWhen ColorAuto :: ColorWhen -- | With a Runner, do the thing withRunner :: MonadIO m => LogLevel -> Bool -> Bool -> ColorWhen -> Maybe Int -> Bool -> (Runner -> m a) -> m a instance GHC.Generics.Generic Stack.Types.Runner.ColorWhen instance GHC.Show.Show Stack.Types.Runner.ColorWhen instance Stack.Types.Runner.HasRunner Stack.Types.Runner.Runner instance Stack.Prelude.HasLogFunc Stack.Types.Runner.Runner -- | The Config type. module Stack.Types.Config -- | Class for environment values which have a Platform class HasPlatform env platformL :: HasPlatform env => Lens' env Platform platformL :: (HasPlatform env, HasConfig env) => Lens' env Platform platformVariantL :: HasPlatform env => Lens' env PlatformVariant platformVariantL :: (HasPlatform env, HasConfig env) => Lens' env PlatformVariant -- | A variant of the platform, used to differentiate Docker builds from -- host data PlatformVariant PlatformVariantNone :: PlatformVariant PlatformVariant :: String -> PlatformVariant -- | The top-level Stackage configuration. data Config Config :: !(Path Abs Dir) -> !(Path Rel Dir) -> !(Path Abs File) -> !BuildOpts -> !DockerOpts -> !NixOpts -> !(EnvSettings -> IO EnvOverride) -> !(Path Abs Dir) -> !(Path Abs Dir) -> !Int -> !Bool -> !Platform -> !PlatformVariant -> !(Maybe GHCVariant) -> !(Maybe CompilerBuild) -> !Urls -> ![PackageIndex] -> !Bool -> !Bool -> !Bool -> !Bool -> !VersionCheck -> !(Path Abs Dir) -> !VersionRange -> !Int -> !(Maybe (Path Abs File)) -> !HpackExecutable -> !(Set FilePath) -> !(Set FilePath) -> !Bool -> !ImageOpts -> !(Map Text Text) -> !(Maybe SCM) -> !(Map PackageName [Text]) -> !(Map ApplyGhcOptions [Text]) -> ![SetupInfoLocation] -> !PvpBounds -> !Bool -> !(Map (Maybe PackageName) Bool) -> !Bool -> !ApplyGhcOptions -> !Bool -> !(Maybe TemplateName) -> !Bool -> !(IORef (Maybe (PackageCache PackageIndex))) -> !DumpLogs -> !(Maybe (Project, Path Abs File)) -> !Bool -> !Bool -> !Runner -> !Bool -> Config -- | ~/.stack more often than not [configStackRoot] :: Config -> !(Path Abs Dir) -- | this allows to override .stack-work directory [configWorkDir] :: Config -> !(Path Rel Dir) -- | Path to user configuration file (usually ~.stackconfig.yaml) [configUserConfigPath] :: Config -> !(Path Abs File) -- | Build configuration [configBuild] :: Config -> !BuildOpts -- | Docker configuration [configDocker] :: Config -> !DockerOpts -- | Execution environment (e.g nix-shell) configuration [configNix] :: Config -> !NixOpts -- | Environment variables to be passed to external tools [configEnvOverride] :: Config -> !(EnvSettings -> IO EnvOverride) -- | Non-platform-specific path containing local installations [configLocalProgramsBase] :: Config -> !(Path Abs Dir) -- | Path containing local installations (mainly GHC) [configLocalPrograms] :: Config -> !(Path Abs Dir) -- | How many concurrent connections are allowed when downloading [configConnectionCount] :: Config -> !Int -- | Hide the Template Haskell "Loading package ..." messages from the -- console [configHideTHLoading] :: Config -> !Bool -- | The platform we're building for, used in many directory names [configPlatform] :: Config -> !Platform -- | Variant of the platform, also used in directory names [configPlatformVariant] :: Config -> !PlatformVariant -- | The variant of GHC requested by the user. In most cases, use -- BuildConfig or MiniConfigs version instead, which will -- have an auto-detected default. [configGHCVariant0] :: Config -> !(Maybe GHCVariant) -- | Override build of the compiler distribution (e.g. standard, gmp4, -- tinfo6) [configGHCBuild] :: Config -> !(Maybe CompilerBuild) -- | URLs for other files used by stack. TODO: Better document e.g. The -- latest snapshot file. A build plan name (e.g. lts5.9.yaml) is appended -- when downloading the build plan actually. [configUrls] :: Config -> !Urls -- | Information on package indices. This is left biased, meaning that -- packages in an earlier index will shadow those in a later index. -- -- Warning: if you override packages in an index vs what's available -- upstream, you may correct your compiled snapshots, as different -- projects may have different definitions of what pkg-ver means! This -- feature is primarily intended for adding local packages, not -- overriding. Overriding is better accomplished by adding to your list -- of packages. -- -- Note that indices specified in a later config file will override -- previous indices, not extend them. -- -- Using an assoc list instead of a Map to keep track of priority [configPackageIndices] :: Config -> ![PackageIndex] -- | Should we use the system-installed GHC (on the PATH) if available? Can -- be overridden by command line options. [configSystemGHC] :: Config -> !Bool -- | Should we automatically install GHC if missing or the wrong version is -- available? Can be overridden by command line options. [configInstallGHC] :: Config -> !Bool -- | Don't bother checking the GHC version or architecture. [configSkipGHCCheck] :: Config -> !Bool -- | On Windows: don't use a sandboxed MSYS [configSkipMsys] :: Config -> !Bool -- | Specifies which versions of the compiler are acceptable. [configCompilerCheck] :: Config -> !VersionCheck -- | Directory we should install executables into [configLocalBin] :: Config -> !(Path Abs Dir) -- | Require a version of stack within this range. [configRequireStackVersion] :: Config -> !VersionRange -- | How many concurrent jobs to run, defaults to number of capabilities [configJobs] :: Config -> !Int -- | Optional gcc override path [configOverrideGccPath] :: Config -> !(Maybe (Path Abs File)) -- | Use Hpack executable (overrides bundled Hpack) [configOverrideHpack] :: Config -> !HpackExecutable -- |
-- ".stack-work" --workDirL :: HasConfig env => Lens' env (Path Rel Dir) data EvalOpts EvalOpts :: !String -> !ExecOptsExtra -> EvalOpts [evalArg] :: EvalOpts -> !String [evalExtra] :: EvalOpts -> !ExecOptsExtra data ExecOpts ExecOpts :: !SpecialExecCmd -> ![String] -> !ExecOptsExtra -> ExecOpts [eoCmd] :: ExecOpts -> !SpecialExecCmd [eoArgs] :: ExecOpts -> ![String] [eoExtra] :: ExecOpts -> !ExecOptsExtra data SpecialExecCmd ExecCmd :: String -> SpecialExecCmd ExecGhc :: SpecialExecCmd ExecRunGhc :: SpecialExecCmd data ExecOptsExtra ExecOptsPlain :: ExecOptsExtra ExecOptsEmbellished :: !EnvSettings -> ![String] -> ![String] -> !(Maybe FilePath) -> ExecOptsExtra [eoEnvSettings] :: ExecOptsExtra -> !EnvSettings [eoPackages] :: ExecOptsExtra -> ![String] [eoRtsOptions] :: ExecOptsExtra -> ![String] [eoCwd] :: ExecOptsExtra -> !(Maybe FilePath) -- | Build of the compiler distribution (e.g. standard, gmp4, tinfo6) | -- Information for a file to download. data DownloadInfo DownloadInfo :: Text -> Maybe Int -> Maybe ByteString -> Maybe ByteString -> DownloadInfo -- | URL or absolute file path [downloadInfoUrl] :: DownloadInfo -> Text [downloadInfoContentLength] :: DownloadInfo -> Maybe Int [downloadInfoSha1] :: DownloadInfo -> Maybe ByteString [downloadInfoSha256] :: DownloadInfo -> Maybe ByteString data VersionedDownloadInfo VersionedDownloadInfo :: Version -> DownloadInfo -> VersionedDownloadInfo [vdiVersion] :: VersionedDownloadInfo -> Version [vdiDownloadInfo] :: VersionedDownloadInfo -> DownloadInfo data GHCDownloadInfo GHCDownloadInfo :: [Text] -> Map Text Text -> DownloadInfo -> GHCDownloadInfo [gdiConfigureOpts] :: GHCDownloadInfo -> [Text] [gdiConfigureEnv] :: GHCDownloadInfo -> Map Text Text [gdiDownloadInfo] :: GHCDownloadInfo -> DownloadInfo data SetupInfo SetupInfo :: Maybe DownloadInfo -> Maybe DownloadInfo -> Map Text VersionedDownloadInfo -> Map Text (Map Version GHCDownloadInfo) -> Map Text (Map (CompilerVersion 'CVActual) DownloadInfo) -> Map Text (Map Version DownloadInfo) -> SetupInfo [siSevenzExe] :: SetupInfo -> Maybe DownloadInfo [siSevenzDll] :: SetupInfo -> Maybe DownloadInfo [siMsys2] :: SetupInfo -> Map Text VersionedDownloadInfo [siGHCs] :: SetupInfo -> Map Text (Map Version GHCDownloadInfo) [siGHCJSs] :: SetupInfo -> Map Text (Map (CompilerVersion 'CVActual) DownloadInfo) [siStack] :: SetupInfo -> Map Text (Map Version DownloadInfo) -- | Remote or inline SetupInfo data SetupInfoLocation SetupInfoFileOrURL :: String -> SetupInfoLocation SetupInfoInline :: SetupInfo -> SetupInfoLocation -- | Data passed into Docker container for the Docker entrypoint's use newtype DockerEntrypoint DockerEntrypoint :: Maybe DockerUser -> DockerEntrypoint -- | UIDGIDetc of host user, if we wish to perform UID/GID switch in -- container [deUser] :: DockerEntrypoint -> Maybe DockerUser -- | Docker host user info data DockerUser DockerUser :: UserID -> GroupID -> [GroupID] -> FileMode -> DockerUser -- | uid [duUid] :: DockerUser -> UserID -- | gid [duGid] :: DockerUser -> GroupID -- | Supplemantal groups [duGroups] :: DockerUser -> [GroupID] -- | File creation mask } [duUmask] :: DockerUser -> FileMode -- | The compiler specified by the MiniBuildPlan. This may be -- different from the actual compiler used! wantedCompilerVersionL :: HasBuildConfig s => Getting r s (CompilerVersion 'CVWanted) -- | The version of the compiler which will actually be used. May be -- different than that specified in the MiniBuildPlan and -- returned by wantedCompilerVersionL. actualCompilerVersionL :: HasEnvConfig s => Lens' s (CompilerVersion 'CVActual) buildOptsL :: HasConfig s => Lens' s BuildOpts globalOptsL :: Lens' GlobalOpts ConfigMonoid buildOptsInstallExesL :: Lens' BuildOpts Bool buildOptsMonoidHaddockL :: Lens' BuildOptsMonoid (Maybe Bool) buildOptsMonoidTestsL :: Lens' BuildOptsMonoid (Maybe Bool) buildOptsMonoidBenchmarksL :: Lens' BuildOptsMonoid (Maybe Bool) buildOptsMonoidInstallExesL :: Lens' BuildOptsMonoid (Maybe Bool) buildOptsHaddockL :: Lens' BuildOpts Bool globalOptsBuildOptsMonoidL :: Lens' GlobalOpts BuildOptsMonoid packageIndicesL :: HasConfig s => Lens' s [PackageIndex] stackRootL :: HasConfig s => Lens' s (Path Abs Dir) configUrlsL :: HasConfig env => Lens' env Urls cabalVersionL :: HasEnvConfig env => Lens' env Version whichCompilerL :: Getting r (CompilerVersion a) WhichCompiler envOverrideL :: HasConfig env => Lens' env (EnvSettings -> IO EnvOverride) loadedSnapshotL :: HasEnvConfig env => Lens' env LoadedSnapshot shouldForceGhcColorFlag :: (HasRunner env, HasEnvConfig env) => RIO env Bool appropriateGhcColorFlag :: (HasRunner env, HasEnvConfig env) => RIO env (Maybe String) -- | view is a synonym for (^.), generalised for -- MonadReader (we are able to use it instead of (^.) since -- functions are instances of the MonadReader class): -- --
-- >>> view _1 (1, 2) -- 1 ---- -- When you're using Reader for config and your config type has -- lenses generated for it, most of the time you'll be using view -- instead of asks: -- --
-- doSomething :: (MonadReader Config m) => m Int -- doSomething = do -- thingy <- view setting1 -- same as “asks (^. setting1)” -- anotherThingy <- view setting2 -- ... --view :: MonadReader s m => Getting a s a -> m 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 --to :: () => (s -> a) -> SimpleGetter s a instance GHC.Classes.Ord Stack.Types.Config.GhcOptionKey instance GHC.Classes.Eq Stack.Types.Config.GhcOptionKey instance GHC.Show.Show Stack.Types.Config.GlobalOpts instance GHC.Generics.Generic Stack.Types.Config.GlobalOptsMonoid instance GHC.Show.Show Stack.Types.Config.GlobalOptsMonoid instance GHC.Show.Show Stack.Types.Config.DockerEntrypoint instance GHC.Read.Read Stack.Types.Config.DockerEntrypoint instance GHC.Show.Show Stack.Types.Config.DockerUser instance GHC.Read.Read Stack.Types.Config.DockerUser instance GHC.Generics.Generic Stack.Types.Config.ConfigMonoid instance GHC.Show.Show Stack.Types.Config.ConfigMonoid instance GHC.Classes.Ord Stack.Types.Config.PvpBounds instance GHC.Classes.Eq Stack.Types.Config.PvpBounds instance GHC.Read.Read Stack.Types.Config.PvpBounds instance GHC.Show.Show Stack.Types.Config.PvpBounds instance GHC.Enum.Bounded Stack.Types.Config.PvpBoundsType instance GHC.Enum.Enum Stack.Types.Config.PvpBoundsType instance GHC.Classes.Ord Stack.Types.Config.PvpBoundsType instance GHC.Classes.Eq Stack.Types.Config.PvpBoundsType instance GHC.Read.Read Stack.Types.Config.PvpBoundsType instance GHC.Show.Show Stack.Types.Config.PvpBoundsType instance GHC.Show.Show Stack.Types.Config.SetupInfoLocation instance GHC.Show.Show Stack.Types.Config.SetupInfo instance GHC.Show.Show Stack.Types.Config.GHCDownloadInfo instance GHC.Show.Show Stack.Types.Config.VersionedDownloadInfo instance GHC.Show.Show Stack.Types.Config.DownloadInfo instance GHC.Show.Show Stack.Types.Config.GHCVariant instance GHC.Show.Show Stack.Types.Config.SCM instance GHC.Show.Show Stack.Types.Config.Project instance GHC.Show.Show Stack.Types.Config.PackageEntry instance GHC.Classes.Ord Stack.Types.Config.NamedComponent instance GHC.Classes.Eq Stack.Types.Config.NamedComponent instance GHC.Show.Show Stack.Types.Config.NamedComponent instance Data.Traversable.Traversable Stack.Types.Config.StackYamlLoc instance Data.Foldable.Foldable Stack.Types.Config.StackYamlLoc instance GHC.Base.Functor Stack.Types.Config.StackYamlLoc instance GHC.Show.Show filepath => GHC.Show.Show (Stack.Types.Config.StackYamlLoc filepath) instance GHC.Show.Show Stack.Types.Config.EvalOpts instance GHC.Show.Show Stack.Types.Config.ExecOpts instance GHC.Show.Show Stack.Types.Config.ExecOptsExtra instance GHC.Classes.Eq Stack.Types.Config.SpecialExecCmd instance GHC.Show.Show Stack.Types.Config.SpecialExecCmd instance GHC.Classes.Ord Stack.Types.Config.EnvSettings instance GHC.Classes.Eq Stack.Types.Config.EnvSettings instance GHC.Show.Show Stack.Types.Config.EnvSettings instance GHC.Enum.Bounded Stack.Types.Config.DumpLogs instance GHC.Enum.Enum Stack.Types.Config.DumpLogs instance GHC.Classes.Ord Stack.Types.Config.DumpLogs instance GHC.Classes.Eq Stack.Types.Config.DumpLogs instance GHC.Read.Read Stack.Types.Config.DumpLogs instance GHC.Show.Show Stack.Types.Config.DumpLogs instance GHC.Enum.Bounded Stack.Types.Config.ApplyGhcOptions instance GHC.Enum.Enum Stack.Types.Config.ApplyGhcOptions instance GHC.Classes.Ord Stack.Types.Config.ApplyGhcOptions instance GHC.Classes.Eq Stack.Types.Config.ApplyGhcOptions instance GHC.Read.Read Stack.Types.Config.ApplyGhcOptions instance GHC.Show.Show Stack.Types.Config.ApplyGhcOptions instance GHC.Classes.Ord Stack.Types.Config.HpackExecutable instance GHC.Classes.Eq Stack.Types.Config.HpackExecutable instance GHC.Read.Read Stack.Types.Config.HpackExecutable instance GHC.Show.Show Stack.Types.Config.HpackExecutable instance Stack.Types.Config.HasPlatform (Distribution.System.Platform, Stack.Types.Config.PlatformVariant) instance Stack.Types.Config.HasPlatform Stack.Types.Config.Config instance Stack.Types.Config.HasPlatform Stack.Types.Config.LoadConfig instance Stack.Types.Config.HasPlatform Stack.Types.Config.BuildConfig instance Stack.Types.Config.HasPlatform Stack.Types.Config.EnvConfig instance Stack.Types.Config.HasGHCVariant Stack.Types.Config.GHCVariant instance Stack.Types.Config.HasGHCVariant Stack.Types.Config.BuildConfig instance Stack.Types.Config.HasGHCVariant Stack.Types.Config.EnvConfig instance Stack.Types.Config.HasConfig Stack.Types.Config.Config instance Stack.Types.Config.HasConfig Stack.Types.Config.LoadConfig instance Stack.Types.Config.HasConfig Stack.Types.Config.BuildConfig instance Stack.Types.Config.HasConfig Stack.Types.Config.EnvConfig instance Stack.Types.Config.HasBuildConfig Stack.Types.Config.BuildConfig instance Stack.Types.Config.HasBuildConfig Stack.Types.Config.EnvConfig instance Stack.Types.Config.HasEnvConfig Stack.Types.Config.EnvConfig instance Stack.Types.Runner.HasRunner Stack.Types.Config.LoadConfig instance Stack.Types.Runner.HasRunner Stack.Types.Config.BuildConfig instance Stack.Types.Runner.HasRunner Stack.Types.Config.EnvConfig instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Config.GhcOptions instance Data.Aeson.Types.FromJSON.FromJSONKey Stack.Types.Config.GhcOptionKey instance GHC.Base.Monoid Stack.Types.Config.GlobalOptsMonoid instance Stack.Prelude.HasLogFunc Stack.Types.Config.EnvConfig instance Stack.Prelude.HasLogFunc Stack.Types.Config.LoadConfig instance Stack.Prelude.HasLogFunc Stack.Types.Config.BuildConfig instance Stack.Types.Runner.HasRunner Stack.Types.Config.Config instance Stack.Prelude.HasLogFunc Stack.Types.Config.Config instance GHC.Base.Monoid Stack.Types.Config.ConfigMonoid instance Data.Aeson.Types.ToJSON.ToJSON Stack.Types.Config.PvpBounds instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Config.PvpBounds instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Config.SetupInfoLocation) instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Config.SetupInfo) instance GHC.Base.Monoid Stack.Types.Config.SetupInfo instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Config.GHCDownloadInfo) instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Config.VersionedDownloadInfo) instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Config.DownloadInfo) instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Config.GHCVariant instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Config.SCM instance Data.Aeson.Types.ToJSON.ToJSON Stack.Types.Config.SCM instance GHC.Show.Show Stack.Types.Config.ConfigException instance GHC.Exception.Exception Stack.Types.Config.ConfigException instance Data.Aeson.Types.ToJSON.ToJSON Stack.Types.Config.Project instance Data.Aeson.Types.FromJSON.FromJSON (Data.Aeson.Extended.WithJSONWarnings Stack.Types.Config.PackageEntry) instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Config.DumpLogs instance Data.Aeson.Types.FromJSON.FromJSON Stack.Types.Config.ApplyGhcOptions -- | Provide ability to upload tarballs to Hackage. module Stack.Upload -- | Upload a single tarball with the given Uploader. -- -- Since 0.1.0.0 upload :: HackageCreds -> FilePath -> IO () -- | Upload a single tarball with the given Uploader. Instead of -- sending a file like upload, this sends a lazy bytestring. -- -- Since 0.1.2.1 uploadBytes :: HackageCreds -> String -> ByteString -> IO () uploadRevision :: HackageCreds -> PackageIdentifier -> ByteString -> IO () -- | Username and password to log into Hackage. -- -- Since 0.1.0.0 data HackageCreds -- | Load Hackage credentials, either from a save file or the command line. -- -- Since 0.1.0.0 loadCreds :: Config -> IO HackageCreds instance GHC.Show.Show Stack.Upload.HackageCreds instance Data.Aeson.Types.ToJSON.ToJSON Stack.Upload.HackageCreds instance Data.Aeson.Types.FromJSON.FromJSON (GHC.IO.FilePath -> Stack.Upload.HackageCreds) module Stack.Types.Package -- | All exceptions thrown by the library. data PackageException PackageInvalidCabalFile :: (Either PackageIdentifierRevision (Path Abs File)) -> PError -> PackageException PackageNoCabalFileFound :: (Path Abs Dir) -> PackageException PackageMultipleCabalFilesFound :: (Path Abs Dir) -> [Path Abs File] -> PackageException MismatchedCabalName :: (Path Abs File) -> PackageName -> PackageException MismatchedCabalIdentifier :: !PackageIdentifierRevision -> !PackageIdentifier -> PackageException -- | Libraries in a package. Since Cabal 2.0, internal libraries are a -- thing. data PackageLibraries NoLibraries :: PackageLibraries -- | the foreign library names, sub libraries get built automatically -- without explicit component name passing HasLibraries :: !(Set Text) -> PackageLibraries -- | Some package info. data Package Package :: !PackageName -> !Version -> !License -> !GetPackageFiles -> !(Map PackageName VersionRange) -> !(Map ExeName VersionRange) -> !(Set PackageName) -> ![Text] -> !(Map FlagName Bool) -> !(Map FlagName Bool) -> !PackageLibraries -> !(Map Text TestSuiteInterface) -> !(Set Text) -> !(Set Text) -> !GetPackageOpts -> !Bool -> !(Maybe BuildType) -> !(Maybe (Map PackageName VersionRange)) -> Package -- | Name of the package. [packageName] :: Package -> !PackageName -- | Version of the package [packageVersion] :: Package -> !Version -- | The license the package was released under. [packageLicense] :: Package -> !License -- | Get all files of the package. [packageFiles] :: Package -> !GetPackageFiles -- | Packages that the package depends on. [packageDeps] :: Package -> !(Map PackageName VersionRange) -- | A build tool name. [packageTools] :: Package -> !(Map ExeName VersionRange) -- | Original dependencies (not sieved). [packageAllDeps] :: Package -> !(Set PackageName) -- | Ghc options used on package. [packageGhcOptions] :: Package -> ![Text] -- | Flags used on package. [packageFlags] :: Package -> !(Map FlagName Bool) -- | Defaults for unspecified flags. [packageDefaultFlags] :: Package -> !(Map FlagName Bool) -- | does the package have a buildable library stanza? [packageLibraries] :: Package -> !PackageLibraries -- | names and interfaces of test suites [packageTests] :: Package -> !(Map Text TestSuiteInterface) -- | names of benchmarks [packageBenchmarks] :: Package -> !(Set Text) -- | names of executables [packageExes] :: Package -> !(Set Text) -- | Args to pass to GHC. [packageOpts] :: Package -> !GetPackageOpts -- | Does the package have exposed modules? [packageHasExposedModules] :: Package -> !Bool -- | Package build-type. [packageBuildType] :: Package -> !(Maybe BuildType) -- | If present: custom-setup dependencies [packageSetupDeps] :: Package -> !(Maybe (Map PackageName VersionRange)) packageIdentifier :: Package -> PackageIdentifier packageDefinedFlags :: Package -> Set FlagName -- | Files that the package depends on, relative to package directory. -- Argument is the location of the .cabal file newtype GetPackageOpts GetPackageOpts :: (forall env. HasEnvConfig env => SourceMap -> InstalledMap -> [PackageName] -> [PackageName] -> Path Abs File -> RIO env (Map NamedComponent (Set ModuleName), Map NamedComponent (Set DotCabalPath), Map NamedComponent BuildInfoOpts)) -> GetPackageOpts [getPackageOpts] :: GetPackageOpts -> forall env. HasEnvConfig env => SourceMap -> InstalledMap -> [PackageName] -> [PackageName] -> Path Abs File -> RIO env (Map NamedComponent (Set ModuleName), Map NamedComponent (Set DotCabalPath), Map NamedComponent BuildInfoOpts) -- | GHC options based on cabal information and ghc-options. data BuildInfoOpts BuildInfoOpts :: [String] -> [String] -> [String] -> Maybe (Path Abs File) -> BuildInfoOpts [bioOpts] :: BuildInfoOpts -> [String] [bioOneWordOpts] :: BuildInfoOpts -> [String] -- | These options can safely have nubOrd applied to them, as -- there are no multi-word options (see -- https://github.com/commercialhaskell/stack/issues/1255) [bioPackageFlags] :: BuildInfoOpts -> [String] [bioCabalMacros] :: BuildInfoOpts -> Maybe (Path Abs File) -- | Files to get for a cabal package. data CabalFileType AllFiles :: CabalFileType Modules :: CabalFileType -- | Files that the package depends on, relative to package directory. -- Argument is the location of the .cabal file newtype GetPackageFiles GetPackageFiles :: (forall env. HasEnvConfig env => Path Abs File -> RIO env (Map NamedComponent (Set ModuleName), Map NamedComponent (Set DotCabalPath), Set (Path Abs File), [PackageWarning])) -> GetPackageFiles [getPackageFiles] :: GetPackageFiles -> forall env. HasEnvConfig env => Path Abs File -> RIO env (Map NamedComponent (Set ModuleName), Map NamedComponent (Set DotCabalPath), Set (Path Abs File), [PackageWarning]) -- | Warning generated when reading a package data PackageWarning -- | Modules found that are not listed in cabal file UnlistedModulesWarning :: (Maybe String) -> [ModuleName] -> PackageWarning -- | Package build configuration data PackageConfig PackageConfig :: !Bool -> !Bool -> !(Map FlagName Bool) -> ![Text] -> !(CompilerVersion 'CVActual) -> !Platform -> PackageConfig -- | Are tests enabled? [packageConfigEnableTests] :: PackageConfig -> !Bool -- | Are benchmarks enabled? [packageConfigEnableBenchmarks] :: PackageConfig -> !Bool -- | Configured flags. [packageConfigFlags] :: PackageConfig -> !(Map FlagName Bool) -- | Configured ghc options. [packageConfigGhcOptions] :: PackageConfig -> ![Text] -- | GHC version [packageConfigCompilerVersion] :: PackageConfig -> !(CompilerVersion 'CVActual) -- | host platform [packageConfigPlatform] :: PackageConfig -> !Platform -- | Compares the package name. -- | Compares the package name. type SourceMap = Map PackageName PackageSource -- | Where the package's source is located: local directory or package -- index data PackageSource -- | Package which exist on the filesystem (as opposed to an index tarball) PSFiles :: LocalPackage -> InstallLocation -> PackageSource -- | Package which is in an index, and the files do not exist on the -- filesystem yet. PSIndex :: InstallLocation -> (Map FlagName Bool) -> [Text] -> PackageIdentifierRevision -> PackageSource piiVersion :: PackageSource -> Version piiLocation :: PackageSource -> InstallLocation piiPackageLocation :: PackageSource -> PackageLocationIndex FilePath -- | Information on a locally available package of source code data LocalPackage LocalPackage :: !Package -> !(Set NamedComponent) -> !(Set NamedComponent) -> !Bool -> !(Map PackageName VersionRange) -> !(Map PackageName VersionRange) -> !(Maybe Package) -> !(Path Abs Dir) -> !(Path Abs File) -> !Bool -> !(Maybe (Set FilePath)) -> !(Map FilePath FileCacheInfo) -> !(Set (Path Abs File)) -> !(PackageLocation FilePath) -> LocalPackage -- | The Package info itself, after resolution with package flags, -- with tests and benchmarks disabled [lpPackage] :: LocalPackage -> !Package -- | Components to build, not including the library component. [lpComponents] :: LocalPackage -> !(Set NamedComponent) -- | Components explicitly requested for build, that are marked "buildable: -- false". [lpUnbuildable] :: LocalPackage -> !(Set NamedComponent) -- | Whether this package is wanted as a target. [lpWanted] :: LocalPackage -> !Bool -- | Used for determining if we can use --enable-tests in a normal build. [lpTestDeps] :: LocalPackage -> !(Map PackageName VersionRange) -- | Used for determining if we can use --enable-benchmarks in a normal -- build. [lpBenchDeps] :: LocalPackage -> !(Map PackageName VersionRange) -- | This stores the Package with tests and benchmarks enabled, if -- either is asked for by the user. [lpTestBench] :: LocalPackage -> !(Maybe Package) -- | Directory of the package. [lpDir] :: LocalPackage -> !(Path Abs Dir) -- | The .cabal file [lpCabalFile] :: LocalPackage -> !(Path Abs File) [lpForceDirty] :: LocalPackage -> !Bool -- | Nothing == not dirty, Just == dirty. Note that the Set may be empty if -- we forced the build to treat packages as dirty. Also, the Set may not -- include all modified files. [lpDirtyFiles] :: LocalPackage -> !(Maybe (Set FilePath)) -- | current state of the files [lpNewBuildCache] :: LocalPackage -> !(Map FilePath FileCacheInfo) -- | all files used by this package [lpFiles] :: LocalPackage -> !(Set (Path Abs File)) -- | Where this source code came from [lpLocation] :: LocalPackage -> !(PackageLocation FilePath) renderComponent :: NamedComponent -> ByteString renderPkgComponents :: [(PackageName, NamedComponent)] -> Text renderPkgComponent :: (PackageName, NamedComponent) -> Text exeComponents :: Set NamedComponent -> Set Text testComponents :: Set NamedComponent -> Set Text benchComponents :: Set NamedComponent -> Set Text isCLib :: NamedComponent -> Bool isCExe :: NamedComponent -> Bool isCTest :: NamedComponent -> Bool isCBench :: NamedComponent -> Bool -- | A location to install a package into, either snapshot or local data InstallLocation Snap :: InstallLocation Local :: InstallLocation data InstalledPackageLocation InstalledTo :: InstallLocation -> InstalledPackageLocation ExtraGlobal :: InstalledPackageLocation data FileCacheInfo FileCacheInfo :: !ModTime -> !Word64 -> !ByteString -> FileCacheInfo [fciModTime] :: FileCacheInfo -> !ModTime [fciSize] :: FileCacheInfo -> !Word64 [fciHash] :: FileCacheInfo -> !ByteString -- | Used for storage and comparison. newtype ModTime ModTime :: (Integer, Rational) -> ModTime modTimeVC :: VersionConfig ModTime testSuccessVC :: VersionConfig Bool -- | A descriptor from a .cabal file indicating one of the following: -- -- exposed-modules: Foo other-modules: Foo or main-is: Foo.hs data DotCabalDescriptor DotCabalModule :: !ModuleName -> DotCabalDescriptor DotCabalMain :: !FilePath -> DotCabalDescriptor DotCabalFile :: !FilePath -> DotCabalDescriptor DotCabalCFile :: !FilePath -> DotCabalDescriptor -- | Maybe get the module name from the .cabal descriptor. dotCabalModule :: DotCabalDescriptor -> Maybe ModuleName -- | Maybe get the main name from the .cabal descriptor. dotCabalMain :: DotCabalDescriptor -> Maybe FilePath -- | A path resolved from the .cabal file, which is either main-is or an -- exposedinternalreferenced module. data DotCabalPath DotCabalModulePath :: !(Path Abs File) -> DotCabalPath DotCabalMainPath :: !(Path Abs File) -> DotCabalPath DotCabalFilePath :: !(Path Abs File) -> DotCabalPath DotCabalCFilePath :: !(Path Abs File) -> DotCabalPath -- | Get the module path. dotCabalModulePath :: DotCabalPath -> Maybe (Path Abs File) -- | Get the main path. dotCabalMainPath :: DotCabalPath -> Maybe (Path Abs File) -- | Get the c file path. dotCabalCFilePath :: DotCabalPath -> Maybe (Path Abs File) -- | Get the path. dotCabalGetPath :: DotCabalPath -> Path Abs File type InstalledMap = Map PackageName (InstallLocation, Installed) data Installed Library :: PackageIdentifier -> GhcPkgId -> (Maybe License) -> Installed Executable :: PackageIdentifier -> Installed installedPackageIdentifier :: Installed -> PackageIdentifier -- | Get the installed Version. installedVersion :: Installed -> Version instance GHC.Show.Show Stack.Types.Package.Package instance GHC.Show.Show Stack.Types.Package.LocalPackage instance GHC.Show.Show Stack.Types.Package.PackageSource instance GHC.Classes.Eq Stack.Types.Package.Installed instance GHC.Show.Show Stack.Types.Package.Installed instance GHC.Show.Show Stack.Types.Package.DotCabalPath instance GHC.Classes.Ord Stack.Types.Package.DotCabalPath instance GHC.Classes.Eq Stack.Types.Package.DotCabalPath instance GHC.Show.Show Stack.Types.Package.DotCabalDescriptor instance GHC.Classes.Ord Stack.Types.Package.DotCabalDescriptor instance GHC.Classes.Eq Stack.Types.Package.DotCabalDescriptor instance Data.Data.Data Stack.Types.Package.FileCacheInfo instance GHC.Classes.Eq Stack.Types.Package.FileCacheInfo instance GHC.Show.Show Stack.Types.Package.FileCacheInfo instance GHC.Generics.Generic Stack.Types.Package.FileCacheInfo instance Data.Data.Data Stack.Types.Package.ModTime instance Data.Store.Impl.Store Stack.Types.Package.ModTime instance Control.DeepSeq.NFData Stack.Types.Package.ModTime instance GHC.Classes.Eq Stack.Types.Package.ModTime instance GHC.Generics.Generic Stack.Types.Package.ModTime instance GHC.Show.Show Stack.Types.Package.ModTime instance GHC.Classes.Ord Stack.Types.Package.ModTime instance GHC.Classes.Eq Stack.Types.Package.InstalledPackageLocation instance GHC.Show.Show Stack.Types.Package.InstalledPackageLocation instance GHC.Classes.Eq Stack.Types.Package.InstallLocation instance GHC.Show.Show Stack.Types.Package.InstallLocation instance GHC.Show.Show Stack.Types.Package.PackageConfig instance GHC.Show.Show Stack.Types.Package.BuildInfoOpts instance GHC.Show.Show Stack.Types.Package.PackageLibraries instance GHC.Show.Show Stack.Types.Package.GetPackageOpts instance GHC.Classes.Ord Stack.Types.Package.Package instance GHC.Classes.Eq Stack.Types.Package.Package instance GHC.Show.Show Stack.Types.Package.GetPackageFiles instance Data.Store.Impl.Store Stack.Types.Package.FileCacheInfo instance Control.DeepSeq.NFData Stack.Types.Package.FileCacheInfo instance GHC.Base.Monoid Stack.Types.Package.InstallLocation instance GHC.Exception.Exception Stack.Types.Package.PackageException instance GHC.Show.Show Stack.Types.Package.PackageException -- | Build-specific types. module Stack.Types.Build data StackBuildException Couldn'tFindPkgId :: PackageName -> StackBuildException CompilerVersionMismatch :: (Maybe (CompilerVersion 'CVActual, Arch)) -> (CompilerVersion 'CVWanted, Arch) -> GHCVariant -> CompilerBuild -> VersionCheck -> (Maybe (Path Abs File)) -> Text -> StackBuildException Couldn'tParseTargets :: [Text] -> StackBuildException UnknownTargets :: (Set PackageName) -> (Map PackageName Version) -> (Path Abs File) -> StackBuildException TestSuiteFailure :: PackageIdentifier -> (Map Text (Maybe ExitCode)) -> (Maybe (Path Abs File)) -> ByteString -> StackBuildException TestSuiteTypeUnsupported :: TestSuiteInterface -> StackBuildException ConstructPlanFailed :: String -> StackBuildException CabalExitedUnsuccessfully :: ExitCode -> PackageIdentifier -> (Path Abs File) -> [String] -> (Maybe (Path Abs File)) -> [Text] -> StackBuildException SetupHsBuildFailure :: ExitCode -> (Maybe PackageIdentifier) -> (Path Abs File) -> [String] -> (Maybe (Path Abs File)) -> [Text] -> StackBuildException ExecutionFailure :: [SomeException] -> StackBuildException LocalPackageDoesn'tMatchTarget :: PackageName -> Version -> Version -> StackBuildException NoSetupHsFound :: (Path Abs Dir) -> StackBuildException InvalidFlagSpecification :: (Set UnusedFlags) -> StackBuildException TargetParseException :: [Text] -> StackBuildException SolverGiveUp :: String -> StackBuildException SolverMissingCabalInstall :: StackBuildException SomeTargetsNotBuildable :: [(PackageName, NamedComponent)] -> StackBuildException TestSuiteExeMissing :: Bool -> String -> String -> String -> StackBuildException CabalCopyFailed :: Bool -> String -> StackBuildException LocalPackagesPresent :: [PackageIdentifier] -> StackBuildException data FlagSource FSCommandLine :: FlagSource FSStackYaml :: FlagSource data UnusedFlags UFNoPackage :: FlagSource -> PackageName -> UnusedFlags UFFlagsNotDefined :: FlagSource -> Package -> (Set FlagName) -> UnusedFlags UFSnapshot :: PackageName -> UnusedFlags -- | A location to install a package into, either snapshot or local data InstallLocation Snap :: InstallLocation Local :: InstallLocation -- | Used for storage and comparison. data ModTime -- | One-way conversion to serialized time. modTime :: UTCTime -> ModTime data Installed Library :: PackageIdentifier -> GhcPkgId -> (Maybe License) -> Installed Executable :: PackageIdentifier -> Installed piiVersion :: PackageSource -> Version piiLocation :: PackageSource -> InstallLocation -- | A task to perform when building data Task Task :: !PackageIdentifier -> !TaskType -> !TaskConfigOpts -> !(Map PackageIdentifier GhcPkgId) -> !Bool -> !CachePkgSrc -> !Bool -> !Bool -> Task -- | the package/version to be built [taskProvides] :: Task -> !PackageIdentifier -- | the task type, telling us how to build this [taskType] :: Task -> !TaskType [taskConfigOpts] :: Task -> !TaskConfigOpts -- | GhcPkgIds of already-installed dependencies [taskPresent] :: Task -> !(Map PackageIdentifier GhcPkgId) -- | indicates that the package can be built in one step [taskAllInOne] :: Task -> !Bool [taskCachePkgSrc] :: Task -> !CachePkgSrc -- | Were any of the dependencies missing? The reason this is necessary -- is... hairy. And as you may expect, a bug in Cabal. See: -- https://github.com/haskell/cabal/issues/4728#issuecomment-337937673. -- The problem is that Cabal may end up generating the same package ID -- for a dependency, even if the ABI has changed. As a result, without -- this field, Stack would think that a reconfigure is unnecessary, when -- in fact we _do_ need to reconfigure. The details here suck. We really -- need proper hashes for package identifiers. [taskAnyMissing] :: Task -> !Bool -- | Is the build type of this package Configure. Check out -- ensureConfigureScript in Stack.Build.Execute for the motivation [taskBuildTypeConfig] :: Task -> !Bool taskIsTarget :: Task -> Bool taskLocation :: Task -> InstallLocation -- | Information on a locally available package of source code data LocalPackage LocalPackage :: !Package -> !(Set NamedComponent) -> !(Set NamedComponent) -> !Bool -> !(Map PackageName VersionRange) -> !(Map PackageName VersionRange) -> !(Maybe Package) -> !(Path Abs Dir) -> !(Path Abs File) -> !Bool -> !(Maybe (Set FilePath)) -> !(Map FilePath FileCacheInfo) -> !(Set (Path Abs File)) -> !(PackageLocation FilePath) -> LocalPackage -- | The Package info itself, after resolution with package flags, -- with tests and benchmarks disabled [lpPackage] :: LocalPackage -> !Package -- | Components to build, not including the library component. [lpComponents] :: LocalPackage -> !(Set NamedComponent) -- | Components explicitly requested for build, that are marked "buildable: -- false". [lpUnbuildable] :: LocalPackage -> !(Set NamedComponent) -- | Whether this package is wanted as a target. [lpWanted] :: LocalPackage -> !Bool -- | Used for determining if we can use --enable-tests in a normal build. [lpTestDeps] :: LocalPackage -> !(Map PackageName VersionRange) -- | Used for determining if we can use --enable-benchmarks in a normal -- build. [lpBenchDeps] :: LocalPackage -> !(Map PackageName VersionRange) -- | This stores the Package with tests and benchmarks enabled, if -- either is asked for by the user. [lpTestBench] :: LocalPackage -> !(Maybe Package) -- | Directory of the package. [lpDir] :: LocalPackage -> !(Path Abs Dir) -- | The .cabal file [lpCabalFile] :: LocalPackage -> !(Path Abs File) [lpForceDirty] :: LocalPackage -> !Bool -- | Nothing == not dirty, Just == dirty. Note that the Set may be empty if -- we forced the build to treat packages as dirty. Also, the Set may not -- include all modified files. [lpDirtyFiles] :: LocalPackage -> !(Maybe (Set FilePath)) -- | current state of the files [lpNewBuildCache] :: LocalPackage -> !(Map FilePath FileCacheInfo) -- | all files used by this package [lpFiles] :: LocalPackage -> !(Set (Path Abs File)) -- | Where this source code came from [lpLocation] :: LocalPackage -> !(PackageLocation FilePath) -- | Basic information used to calculate what the configure options are data BaseConfigOpts BaseConfigOpts :: !(Path Abs Dir) -> !(Path Abs Dir) -> !(Path Abs Dir) -> !(Path Abs Dir) -> !BuildOpts -> !BuildOptsCLI -> ![Path Abs Dir] -> BaseConfigOpts [bcoSnapDB] :: BaseConfigOpts -> !(Path Abs Dir) [bcoLocalDB] :: BaseConfigOpts -> !(Path Abs Dir) [bcoSnapInstallRoot] :: BaseConfigOpts -> !(Path Abs Dir) [bcoLocalInstallRoot] :: BaseConfigOpts -> !(Path Abs Dir) [bcoBuildOpts] :: BaseConfigOpts -> !BuildOpts [bcoBuildOptsCLI] :: BaseConfigOpts -> !BuildOptsCLI [bcoExtraDBs] :: BaseConfigOpts -> ![Path Abs Dir] -- | A complete plan of what needs to be built and how to do it data Plan Plan :: !(Map PackageName Task) -> !(Map PackageName Task) -> !(Map GhcPkgId (PackageIdentifier, Text)) -> !(Map Text InstallLocation) -> Plan [planTasks] :: Plan -> !(Map PackageName Task) -- | Final actions to be taken (test, benchmark, etc) [planFinals] :: Plan -> !(Map PackageName Task) -- | Text is reason we're unregistering, for display only [planUnregisterLocal] :: Plan -> !(Map GhcPkgId (PackageIdentifier, Text)) -- | Executables that should be installed after successful building [planInstallExes] :: Plan -> !(Map Text InstallLocation) -- | Options for the FinalAction DoTests data TestOpts TestOpts :: !Bool -> ![String] -> !Bool -> !Bool -> TestOpts -- | Whether successful tests will be run gain [toRerunTests] :: TestOpts -> !Bool -- | Arguments passed to the test program [toAdditionalArgs] :: TestOpts -> ![String] -- | Generate a code coverage report [toCoverage] :: TestOpts -> !Bool -- | Disable running of tests [toDisableRun] :: TestOpts -> !Bool -- | Options for the FinalAction DoBenchmarks data BenchmarkOpts BenchmarkOpts :: !(Maybe String) -> !Bool -> BenchmarkOpts -- | Arguments passed to the benchmark program [beoAdditionalArgs] :: BenchmarkOpts -> !(Maybe String) -- | Disable running of benchmarks [beoDisableRun] :: BenchmarkOpts -> !Bool data FileWatchOpts NoFileWatch :: FileWatchOpts FileWatch :: FileWatchOpts FileWatchPoll :: FileWatchOpts -- | Build options that is interpreted by the build command. This is built -- up from BuildOptsCLI and BuildOptsMonoid data BuildOpts BuildOpts :: !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !HaddockOpts -> !Bool -> !(Maybe Bool) -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !(Maybe Bool) -> !Bool -> !Bool -> !TestOpts -> !Bool -> !BenchmarkOpts -> !Bool -> !Bool -> !Bool -> ![Text] -> BuildOpts [boptsLibProfile] :: BuildOpts -> !Bool [boptsExeProfile] :: BuildOpts -> !Bool [boptsLibStrip] :: BuildOpts -> !Bool [boptsExeStrip] :: BuildOpts -> !Bool -- | Build haddocks? [boptsHaddock] :: BuildOpts -> !Bool -- | Options to pass to haddock [boptsHaddockOpts] :: BuildOpts -> !HaddockOpts -- | Open haddocks in the browser? [boptsOpenHaddocks] :: BuildOpts -> !Bool -- | Build haddocks for dependencies? [boptsHaddockDeps] :: BuildOpts -> !(Maybe Bool) -- | Build haddocks for all symbols and packages, like cabal haddock -- --internal [boptsHaddockInternal] :: BuildOpts -> !Bool -- | Build hyperlinked source if possible. Fallback to hscolour. -- Disable for no sources. [boptsHaddockHyperlinkSource] :: BuildOpts -> !Bool -- | Install executables to user path after building? [boptsInstallExes] :: BuildOpts -> !Bool -- | Install executables to compiler tools path after building? [boptsInstallCompilerTool] :: BuildOpts -> !Bool -- | Fetch all packages immediately ^ Watch files for changes and -- automatically rebuild [boptsPreFetch] :: BuildOpts -> !Bool -- | Keep building/running after failure [boptsKeepGoing] :: BuildOpts -> !(Maybe Bool) -- | Force treating all local packages as having dirty files [boptsForceDirty] :: BuildOpts -> !Bool -- | Turn on tests for local targets [boptsTests] :: BuildOpts -> !Bool -- | Additional test arguments [boptsTestOpts] :: BuildOpts -> !TestOpts -- | Turn on benchmarks for local targets [boptsBenchmarks] :: BuildOpts -> !Bool -- | Additional test arguments ^ Commands (with arguments) to run after a -- successful build ^ Only perform the configure step when building [boptsBenchmarkOpts] :: BuildOpts -> !BenchmarkOpts -- | Perform the configure step even if already configured [boptsReconfigure] :: BuildOpts -> !Bool -- | Ask Cabal to be verbose in its builds [boptsCabalVerbose] :: BuildOpts -> !Bool -- | Whether to enable split-objs. [boptsSplitObjs] :: BuildOpts -> !Bool -- | Which components to skip when building [boptsSkipComponents] :: BuildOpts -> ![Text] -- | Which subset of packages to build data BuildSubset BSAll :: BuildSubset -- | Only install packages in the snapshot database, skipping packages -- intended for the local database. BSOnlySnapshot :: BuildSubset BSOnlyDependencies :: BuildSubset defaultBuildOpts :: BuildOpts -- | The type of a task, either building local code or something from the -- package index (upstream) data TaskType TTFiles :: LocalPackage -> InstallLocation -> TaskType TTIndex :: Package -> InstallLocation -> PackageIdentifierRevision -> TaskType ttPackageLocation :: TaskType -> PackageLocationIndex FilePath -- | Given the IDs of any missing packages, produce the configure options data TaskConfigOpts TaskConfigOpts :: !(Set PackageIdentifier) -> !(Map PackageIdentifier GhcPkgId -> ConfigureOpts) -> TaskConfigOpts -- | Dependencies for which we don't yet have an GhcPkgId [tcoMissing] :: TaskConfigOpts -> !(Set PackageIdentifier) -- | Produce the list of options given the missing GhcPkgIds [tcoOpts] :: TaskConfigOpts -> !(Map PackageIdentifier GhcPkgId -> ConfigureOpts) -- | Stored on disk to know whether the files have changed. newtype BuildCache BuildCache :: Map FilePath FileCacheInfo -> BuildCache -- | Modification times of files. [buildCacheTimes] :: BuildCache -> Map FilePath FileCacheInfo buildCacheVC :: VersionConfig BuildCache -- | Stored on disk to know whether the flags have changed. data ConfigCache ConfigCache :: !ConfigureOpts -> !(Set GhcPkgId) -> !(Set ByteString) -> !Bool -> !CachePkgSrc -> ConfigCache -- | All options used for this package. [configCacheOpts] :: ConfigCache -> !ConfigureOpts -- | The GhcPkgIds of all of the dependencies. Since Cabal doesn't take the -- complete GhcPkgId (only a PackageIdentifier) in the configure options, -- just using the previous value is insufficient to know if dependencies -- have changed. [configCacheDeps] :: ConfigCache -> !(Set GhcPkgId) -- | The components to be built. It's a bit of a hack to include this in -- here, as it's not a configure option (just a build option), but this -- is a convenient way to force compilation when the components change. [configCacheComponents] :: ConfigCache -> !(Set ByteString) -- | Are haddocks to be built? [configCacheHaddock] :: ConfigCache -> !Bool [configCachePkgSrc] :: ConfigCache -> !CachePkgSrc configCacheVC :: VersionConfig ConfigCache -- | Render a BaseConfigOpts to an actual list of options configureOpts :: EnvConfig -> BaseConfigOpts -> Map PackageIdentifier GhcPkgId -> Bool -> InstallLocation -> Package -> ConfigureOpts data CachePkgSrc CacheSrcUpstream :: CachePkgSrc CacheSrcLocal :: FilePath -> CachePkgSrc toCachePkgSrc :: PackageSource -> CachePkgSrc isStackOpt :: Text -> Bool -- | Get set of wanted package names from locals. wantedLocalPackages :: [LocalPackage] -> Set PackageName data FileCacheInfo FileCacheInfo :: !ModTime -> !Word64 -> !ByteString -> FileCacheInfo [fciModTime] :: FileCacheInfo -> !ModTime [fciSize] :: FileCacheInfo -> !Word64 [fciHash] :: FileCacheInfo -> !ByteString -- | Configure options to be sent to Setup.hs configure data ConfigureOpts ConfigureOpts :: ![String] -> ![String] -> ConfigureOpts -- | Options related to various paths. We separate these out since they do -- not have an impact on the contents of the compiled binary for checking -- if we can use an existing precompiled cache. [coDirs] :: ConfigureOpts -> ![String] [coNoDirs] :: ConfigureOpts -> ![String] -- | Information on a compiled package: the library conf file (if -- relevant), and all of the executable paths. data PrecompiledCache PrecompiledCache :: !(Maybe FilePath) -> ![FilePath] -> PrecompiledCache -- | .conf file inside the package database [pcLibrary] :: PrecompiledCache -> !(Maybe FilePath) -- | Full paths to executables [pcExes] :: PrecompiledCache -> ![FilePath] precompiledCacheVC :: VersionConfig PrecompiledCache instance Data.Data.Data Stack.Types.Build.PrecompiledCache instance GHC.Generics.Generic Stack.Types.Build.PrecompiledCache instance GHC.Classes.Eq Stack.Types.Build.PrecompiledCache instance GHC.Show.Show Stack.Types.Build.PrecompiledCache instance Data.Data.Data Stack.Types.Build.ConfigCache instance GHC.Show.Show Stack.Types.Build.ConfigCache instance GHC.Classes.Eq Stack.Types.Build.ConfigCache instance GHC.Generics.Generic Stack.Types.Build.ConfigCache instance GHC.Show.Show Stack.Types.Build.Plan instance GHC.Show.Show Stack.Types.Build.Task instance Data.Data.Data Stack.Types.Build.ConfigureOpts instance GHC.Generics.Generic Stack.Types.Build.ConfigureOpts instance GHC.Classes.Eq Stack.Types.Build.ConfigureOpts instance GHC.Show.Show Stack.Types.Build.ConfigureOpts instance GHC.Show.Show Stack.Types.Build.BaseConfigOpts instance GHC.Show.Show Stack.Types.Build.TaskType instance Data.Data.Data Stack.Types.Build.CachePkgSrc instance GHC.Show.Show Stack.Types.Build.CachePkgSrc instance GHC.Classes.Eq Stack.Types.Build.CachePkgSrc instance GHC.Generics.Generic Stack.Types.Build.CachePkgSrc instance Data.Data.Data Stack.Types.Build.BuildCache instance GHC.Show.Show Stack.Types.Build.BuildCache instance GHC.Classes.Eq Stack.Types.Build.BuildCache instance GHC.Generics.Generic Stack.Types.Build.BuildCache instance Control.DeepSeq.NFData Stack.Types.Build.PkgDepsOracle instance Data.Store.Impl.Store Stack.Types.Build.PkgDepsOracle instance Data.Hashable.Class.Hashable Stack.Types.Build.PkgDepsOracle instance GHC.Classes.Eq Stack.Types.Build.PkgDepsOracle instance GHC.Show.Show Stack.Types.Build.PkgDepsOracle instance GHC.Classes.Ord Stack.Types.Build.UnusedFlags instance GHC.Classes.Eq Stack.Types.Build.UnusedFlags instance GHC.Show.Show Stack.Types.Build.UnusedFlags instance GHC.Classes.Ord Stack.Types.Build.FlagSource instance GHC.Classes.Eq Stack.Types.Build.FlagSource instance GHC.Show.Show Stack.Types.Build.FlagSource instance Data.Store.Impl.Store Stack.Types.Build.PrecompiledCache instance Control.DeepSeq.NFData Stack.Types.Build.PrecompiledCache instance Data.Store.Impl.Store Stack.Types.Build.ConfigCache instance Control.DeepSeq.NFData Stack.Types.Build.ConfigCache instance GHC.Show.Show Stack.Types.Build.TaskConfigOpts instance Data.Store.Impl.Store Stack.Types.Build.ConfigureOpts instance Control.DeepSeq.NFData Stack.Types.Build.ConfigureOpts instance Data.Store.Impl.Store Stack.Types.Build.CachePkgSrc instance Control.DeepSeq.NFData Stack.Types.Build.CachePkgSrc instance Control.DeepSeq.NFData Stack.Types.Build.BuildCache instance Data.Store.Impl.Store Stack.Types.Build.BuildCache instance GHC.Show.Show Stack.Types.Build.StackBuildException instance GHC.Exception.Exception Stack.Types.Build.StackBuildException -- | Functions for the GHC package database. module Stack.GhcPkg -- | Get the global package database getGlobalDB :: (MonadUnliftIO m, MonadLogger m) => EnvOverride -> WhichCompiler -> m (Path Abs Dir) -- | Get the value of a field of the package. findGhcPkgField :: (MonadUnliftIO m, MonadLogger m) => EnvOverride -> WhichCompiler -> [Path Abs Dir] -> String -> Text -> m (Maybe Text) -- | Create a package database in the given directory, if it doesn't exist. createDatabase :: (MonadUnliftIO m, MonadLogger m) => EnvOverride -> WhichCompiler -> Path Abs Dir -> m () unregisterGhcPkgId :: (MonadUnliftIO m, MonadLogger m) => EnvOverride -> WhichCompiler -> CompilerVersion 'CVActual -> Path Abs Dir -> GhcPkgId -> PackageIdentifier -> m () -- | Get the version of Cabal from the global package database. getCabalPkgVer :: (MonadUnliftIO m, MonadLogger m) => EnvOverride -> WhichCompiler -> m Version -- | Get the name to use for "ghc-pkg", given the compiler version. ghcPkgExeName :: WhichCompiler -> String -- | Get the environment variable to use for the package DB paths. ghcPkgPathEnvVar :: WhichCompiler -> Text -- | Get the value for GHC_PACKAGE_PATH mkGhcPackagePath :: Bool -> Path Abs Dir -> Path Abs Dir -> [Path Abs Dir] -> Path Abs Dir -> Text module Stack.PackageDump -- | A single line of input, not including line endings type Line = Text -- | Apply the given Sink to each section of output, broken by a single -- line containing --- eachSection :: Monad m => Sink Line m a -> Conduit Text m a -- | Grab each key/value pair eachPair :: Monad m => (Text -> Sink Line m a) -> Conduit Line m a -- | Dump information for a single package data DumpPackage profiling haddock symbols DumpPackage :: !GhcPkgId -> !PackageIdentifier -> !(Maybe License) -> ![FilePath] -> ![Text] -> !Bool -> ![Text] -> ![GhcPkgId] -> ![FilePath] -> !(Maybe FilePath) -> !profiling -> !haddock -> !symbols -> !Bool -> DumpPackage profiling haddock symbols [dpGhcPkgId] :: DumpPackage profiling haddock symbols -> !GhcPkgId [dpPackageIdent] :: DumpPackage profiling haddock symbols -> !PackageIdentifier [dpLicense] :: DumpPackage profiling haddock symbols -> !(Maybe License) [dpLibDirs] :: DumpPackage profiling haddock symbols -> ![FilePath] [dpLibraries] :: DumpPackage profiling haddock symbols -> ![Text] [dpHasExposedModules] :: DumpPackage profiling haddock symbols -> !Bool [dpExposedModules] :: DumpPackage profiling haddock symbols -> ![Text] [dpDepends] :: DumpPackage profiling haddock symbols -> ![GhcPkgId] [dpHaddockInterfaces] :: DumpPackage profiling haddock symbols -> ![FilePath] [dpHaddockHtml] :: DumpPackage profiling haddock symbols -> !(Maybe FilePath) [dpProfiling] :: DumpPackage profiling haddock symbols -> !profiling [dpHaddock] :: DumpPackage profiling haddock symbols -> !haddock [dpSymbols] :: DumpPackage profiling haddock symbols -> !symbols [dpIsExposed] :: DumpPackage profiling haddock symbols -> !Bool -- | Convert a stream of bytes into a stream of DumpPackages conduitDumpPackage :: MonadThrow m => Conduit Text m (DumpPackage () () ()) -- | Call ghc-pkg dump with appropriate flags and stream to the given -- Sink, for a single database ghcPkgDump :: (MonadUnliftIO m, MonadLogger m) => EnvOverride -> WhichCompiler -> [Path Abs Dir] -> Sink Text IO a -> m a -- | Call ghc-pkg describe with appropriate flags and stream to the given -- Sink, for a single database ghcPkgDescribe :: (MonadUnliftIO m, MonadLogger m) => PackageName -> EnvOverride -> WhichCompiler -> [Path Abs Dir] -> Sink Text IO a -> m a -- | Create a new, empty InstalledCache newInstalledCache :: MonadIO m => m InstalledCache -- | Load a InstalledCache from disk, swallowing any errors and -- returning an empty cache. loadInstalledCache :: (MonadLogger m, MonadUnliftIO m) => Path Abs File -> m InstalledCache -- | Save a InstalledCache to disk saveInstalledCache :: (MonadLogger m, MonadIO m) => Path Abs File -> InstalledCache -> m () -- | Add profiling information to the stream of DumpPackages addProfiling :: MonadIO m => InstalledCache -> Conduit (DumpPackage a b c) m (DumpPackage Bool b c) -- | Add haddock information to the stream of DumpPackages addHaddock :: MonadIO m => InstalledCache -> Conduit (DumpPackage a b c) m (DumpPackage a Bool c) -- | Add debugging symbol information to the stream of -- DumpPackages addSymbols :: MonadIO m => InstalledCache -> Conduit (DumpPackage a b c) m (DumpPackage a b Bool) -- | Find the package IDs matching the given constraints with all -- dependencies installed. Packages not mentioned in the provided -- Map are allowed to be present too. sinkMatching :: Monad m => Bool -> Bool -> Bool -> Map PackageName Version -> Consumer (DumpPackage Bool Bool Bool) m (Map PackageName (DumpPackage Bool Bool Bool)) -- | Prune a list of possible packages down to those whose dependencies are -- met. -- --
-- show (text "hello" <$> text "world") ---- -- Which would return the string "hello\nworld", i.e. -- --
-- hello -- world --data Doc a :: * -> * -- | The document (nest i x) renders document x with the -- current indentation level increased by i (See also hang, -- align and indent). -- --
-- nest 2 (text "hello" <$> text "world") <$> text "!" ---- -- outputs as: -- --
-- hello -- world -- ! --nest :: () => Int -> Doc a -> Doc a -- | The line document advances to the next line and indents to -- the current nesting level. Doc aument line behaves like -- (text " ") if the line break is undone by group. line :: () => Doc a -- | The linebreak document advances to the next line and indents -- to the current nesting level. Document linebreak behaves like -- empty if the line break is undone by group. linebreak :: () => Doc a -- | The group combinator is used to specify alternative layouts. -- The document (group x) undoes all line breaks in document -- x. The resulting line is added to the current line if that -- fits the page. Otherwise, the document x is rendered without -- any changes. group :: () => Doc a -> Doc a -- | The document softline behaves like space if the -- resulting output fits the page, otherwise it behaves like line. -- --
-- softline = group line --softline :: () => Doc a -- | The document softbreak behaves like empty if the -- resulting output fits the page, otherwise it behaves like line. -- --
-- softbreak = group linebreak --softbreak :: () => Doc a -- | The document (align x) renders document x with the -- nesting level set to the current column. It is used for example to -- implement hang. -- -- As an example, we will put a document right above another one, -- regardless of the current nesting level: -- --
-- x $$ y = align (x <$> y) ---- --
-- test = text "hi" <+> (text "nice" $$ text "world") ---- -- which will be layed out as: -- --
-- hi nice -- world --align :: () => Doc a -> Doc a -- | The hang combinator implements hanging indentation. The document -- (hang i x) renders document x with a nesting level -- set to the current column plus i. The following example uses -- hanging indentation for some text: -- --
-- test = hang 4 (fillSep (map text -- (words "the hang combinator indents these words !"))) ---- -- Which lays out on a page with a width of 20 characters as: -- --
-- the hang combinator -- indents these -- words ! ---- -- The hang combinator is implemented as: -- --
-- hang i x = align (nest i x) --hang :: () => Int -> Doc a -> Doc a -- | The document (indent i x) indents document x with -- i spaces. -- --
-- test = indent 4 (fillSep (map text -- (words "the indent combinator indents these words !"))) ---- -- Which lays out with a page width of 20 as: -- --
-- the indent -- combinator -- indents these -- words ! --indent :: () => Int -> Doc a -> Doc a -- | The document (encloseSep l r sep xs) concatenates the -- documents xs separated by sep and encloses the -- resulting document by l and r. The documents are -- rendered horizontally if that fits the page. Otherwise they are -- aligned vertically. All separators are put in front of the elements. -- For example, the combinator list can be defined with -- encloseSep: -- --
-- list xs = encloseSep lbracket rbracket comma xs -- test = text "list" <+> (list (map int [10,200,3000])) ---- -- Which is layed out with a page width of 20 as: -- --
-- list [10,200,3000] ---- -- But when the page width is 15, it is layed out as: -- --
-- list [10 -- ,200 -- ,3000] --encloseSep :: () => Doc a -> Doc a -> Doc a -> [Doc a] -> Doc a -- | The document (x <+> y) concatenates document x -- and y with a space in between. (infixr 6) (<+>) :: () => Doc a -> Doc a -> Doc a infixr 6 <+> -- | The document (hsep xs) concatenates all documents xs -- horizontally with (<+>). hsep :: () => [Doc a] -> Doc a -- | The document (vsep xs) concatenates all documents xs -- vertically with (<$>). If a group undoes the -- line breaks inserted by vsep, all documents are separated -- with a space. -- --
-- someText = map text (words ("text to lay out"))
--
-- test = text "some" <+> vsep someText
--
--
-- This is layed out as:
--
-- -- some text -- to -- lay -- out ---- -- The align combinator can be used to align the documents under -- their first element -- --
-- test = text "some" <+> align (vsep someText) ---- -- Which is printed as: -- --
-- some text -- to -- lay -- out --vsep :: () => [Doc a] -> Doc a -- | The document (fillSep xs) concatenates documents xs -- horizontally with (<+>) as long as its fits the page, -- than inserts a line and continues doing that for all -- documents in xs. -- --
-- fillSep xs = foldr (</>) empty xs --fillSep :: () => [Doc a] -> Doc a -- | The document (sep xs) concatenates all documents xs -- either horizontally with (<+>), if it fits the page, or -- vertically with (<$>). -- --
-- sep xs = group (vsep xs) --sep :: () => [Doc a] -> Doc a -- | The document (hcat xs) concatenates all documents xs -- horizontally with (<>). hcat :: () => [Doc a] -> Doc a -- | The document (vcat xs) concatenates all documents xs -- vertically with (<$$>). If a group undoes the -- line breaks inserted by vcat, all documents are directly -- concatenated. vcat :: () => [Doc a] -> Doc a -- | The document (fillCat xs) concatenates documents xs -- horizontally with (<>) as long as its fits the page, -- than inserts a linebreak and continues doing that for all -- documents in xs. -- --
-- fillCat xs = foldr (\<\/\/\>) empty xs --fillCat :: () => [Doc a] -> Doc a -- | The document (cat xs) concatenates all documents xs -- either horizontally with (<>), if it fits the page, or -- vertically with (<$$>). -- --
-- cat xs = group (vcat xs) --cat :: () => [Doc a] -> Doc a -- | (punctuate p xs) concatenates all documents in xs -- with document p except for the last document. -- --
-- someText = map text ["words","in","a","tuple"] -- test = parens (align (cat (punctuate comma someText))) ---- -- This is layed out on a page width of 20 as: -- --
-- (words,in,a,tuple) ---- -- But when the page width is 15, it is layed out as: -- --
-- (words, -- in, -- a, -- tuple) ---- -- (If you want put the commas in front of their elements instead of at -- the end, you should use tupled or, in general, -- encloseSep.) punctuate :: () => Doc a -> [Doc a] -> [Doc a] -- | The document (fill i x) renders document x. It than -- appends spaces until the width is equal to i. If the -- width of x is already larger, nothing is appended. This -- combinator is quite useful in practice to output a list of bindings. -- The following example demonstrates this. -- --
-- types = [("empty","Doc a")
-- ,("nest","Int -> Doc a -> Doc a")
-- ,("linebreak","Doc a")]
--
-- ptype (name,tp)
-- = fill 6 (text name) <+> text "::" <+> text tp
--
-- test = text "let" <+> align (vcat (map ptype types))
--
--
-- Which is layed out as:
--
-- -- let empty :: Doc a -- nest :: Int -> Doc a -> Doc a -- linebreak :: Doc a --fill :: () => Int -> Doc a -> Doc a -- | The document (fillBreak i x) first renders document -- x. It than appends spaces until the width is equal -- to i. If the width of x is already larger than -- i, the nesting level is increased by i and a -- line is appended. When we redefine ptype in the -- previous example to use fillBreak, we get a useful variation -- of the previous output: -- --
-- ptype (name,tp) -- = fillBreak 6 (text name) <+> text "::" <+> text tp ---- -- The output will now be: -- --
-- let empty :: Doc a -- nest :: Int -> Doc a -> Doc a -- linebreak -- :: Doc a --fillBreak :: () => Int -> Doc a -> Doc a -- | The document (enclose l r x) encloses document x -- between documents l and r using (<>). -- --
-- enclose l r x = l <> x <> r --enclose :: () => Doc a -> Doc a -> Doc a -> Doc a -- | Document (squotes x) encloses document x with single -- quotes "'". squotes :: () => Doc a -> Doc a -- | Document (dquotes x) encloses document x with double -- quotes '"'. dquotes :: () => Doc a -> Doc a -- | Document (parens x) encloses document x in -- parenthesis, "(" and ")". parens :: () => Doc a -> Doc a -- | Document (angles x) encloses document x in angles, -- "<" and ">". angles :: () => Doc a -> Doc a -- | Document (braces x) encloses document x in braces, -- "{" and "}". braces :: () => Doc a -> Doc a -- | Document (brackets x) encloses document x in square -- brackets, "[" and "]". brackets :: () => Doc a -> Doc a annotate :: () => a -> Doc a -> Doc a -- | Strip annotations from a document. This is useful for re-using the -- textual formatting of some sub-document, but applying a different -- high-level annotation. noAnnotate :: () => Doc a -> Doc a instance GHC.Classes.Ord Text.PrettyPrint.Leijen.Extended.SGRTag instance GHC.Classes.Eq Text.PrettyPrint.Leijen.Extended.SGRTag instance GHC.Base.Monoid Text.PrettyPrint.Leijen.Extended.AnsiAnn instance GHC.Show.Show Text.PrettyPrint.Leijen.Extended.AnsiAnn instance GHC.Classes.Eq Text.PrettyPrint.Leijen.Extended.AnsiAnn instance Text.PrettyPrint.Leijen.Extended.HasAnsiAnn Text.PrettyPrint.Leijen.Extended.AnsiAnn instance Text.PrettyPrint.Leijen.Extended.HasAnsiAnn () instance Text.PrettyPrint.Leijen.Extended.Display (Text.PrettyPrint.Annotated.Leijen.Doc a) instance GHC.Base.Monoid (Text.PrettyPrint.Annotated.Leijen.Doc a) module Stack.PrettyPrint displayPlain :: Display a => Int -> a -> Text displayWithColor :: (HasRunner env, Display a, HasAnsiAnn (Ann a), MonadReader env m, MonadLogger m) => a -> m Text prettyDebug :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => Doc AnsiAnn -> m () prettyInfo :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => Doc AnsiAnn -> m () prettyWarn :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => Doc AnsiAnn -> m () prettyError :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => Doc AnsiAnn -> m () prettyWarnNoIndent :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => Doc AnsiAnn -> m () prettyErrorNoIndent :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => Doc AnsiAnn -> m () prettyDebugL :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => [Doc AnsiAnn] -> m () prettyInfoL :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => [Doc AnsiAnn] -> m () prettyWarnL :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => [Doc AnsiAnn] -> m () prettyErrorL :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => [Doc AnsiAnn] -> m () prettyWarnNoIndentL :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => [Doc AnsiAnn] -> m () prettyErrorNoIndentL :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => [Doc AnsiAnn] -> m () prettyDebugS :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => String -> m () prettyInfoS :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => String -> m () prettyWarnS :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => String -> m () prettyErrorS :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => String -> m () prettyWarnNoIndentS :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => String -> m () prettyErrorNoIndentS :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m) => String -> m () -- | Style an AnsiDoc as a warning. Should be used sparingly, not to -- style entire long messages. For example, it's used to style the -- Warning: label for an error message, not the entire message. styleWarning :: AnsiDoc -> AnsiDoc -- | Style an AnsiDoc as an error. Should be used sparingly, not to -- style entire long messages. For example, it's used to style the -- Error: label for an error message, not the entire message. styleError :: AnsiDoc -> AnsiDoc -- | Style an AnsiDoc in a way to emphasize that it is a -- particularly good thing. styleGood :: AnsiDoc -> AnsiDoc -- | Style an AnsiDoc as a shell command, i.e. when suggesting -- something to the user that should be typed in directly as written. styleShell :: AnsiDoc -> AnsiDoc -- | Style an AnsiDoc as a filename. See styleDir for -- directories. styleFile :: AnsiDoc -> AnsiDoc -- | Style an AsciDoc as a URL. For now using the same style as -- files. styleUrl :: AnsiDoc -> AnsiDoc -- | Style an AnsiDoc as a directory name. See styleFile for -- files. styleDir :: AnsiDoc -> AnsiDoc -- | Style an AnsiDoc as a module name styleModule :: AnsiDoc -> AnsiDoc -- | Style an AnsiDoc in a way that emphasizes that it is related to -- a current thing. For example, could be used when talking about the -- current package we're processing when outputting the name of it. styleCurrent :: AnsiDoc -> AnsiDoc styleTarget :: AnsiDoc -> AnsiDoc displayMilliseconds :: TimeSpec -> AnsiDoc -- | Display a bulleted list of AnsiDoc. bulletedList :: [AnsiDoc] -> AnsiDoc -- | Display a bulleted list of AnsiDoc with a blank line between -- each. spacedBulletedList :: [AnsiDoc] -> AnsiDoc debugBracket :: (HasCallStack, HasRunner env, MonadReader env m, MonadLogger m, MonadIO m, MonadUnliftIO m) => Doc AnsiAnn -> m a -> m a class Display a where { type family Ann a; type Ann a = AnsiAnn; } display :: Display a => a -> Doc (Ann a) display :: (Display a, Show a) => a -> Doc (Ann a) type AnsiDoc = Doc AnsiAnn newtype AnsiAnn AnsiAnn :: [SGR] -> AnsiAnn class HasAnsiAnn a getAnsiAnn :: HasAnsiAnn a => a -> AnsiAnn toAnsiDoc :: HasAnsiAnn a => Doc a -> AnsiDoc -- | The abstract data type Doc a represents pretty documents. -- -- Doc a is an instance of the Show class. (show -- doc) pretty prints document doc with a page width of 100 -- characters and a ribbon width of 40 characters. -- --
-- show (text "hello" <$> text "world") ---- -- Which would return the string "hello\nworld", i.e. -- --
-- hello -- world --data Doc a :: * -> * -- | The document (nest i x) renders document x with the -- current indentation level increased by i (See also hang, -- align and indent). -- --
-- nest 2 (text "hello" <$> text "world") <$> text "!" ---- -- outputs as: -- --
-- hello -- world -- ! --nest :: () => Int -> Doc a -> Doc a -- | The line document advances to the next line and indents to -- the current nesting level. Doc aument line behaves like -- (text " ") if the line break is undone by group. line :: () => Doc a -- | The linebreak document advances to the next line and indents -- to the current nesting level. Document linebreak behaves like -- empty if the line break is undone by group. linebreak :: () => Doc a -- | The group combinator is used to specify alternative layouts. -- The document (group x) undoes all line breaks in document -- x. The resulting line is added to the current line if that -- fits the page. Otherwise, the document x is rendered without -- any changes. group :: () => Doc a -> Doc a -- | The document softline behaves like space if the -- resulting output fits the page, otherwise it behaves like line. -- --
-- softline = group line --softline :: () => Doc a -- | The document softbreak behaves like empty if the -- resulting output fits the page, otherwise it behaves like line. -- --
-- softbreak = group linebreak --softbreak :: () => Doc a -- | The document (align x) renders document x with the -- nesting level set to the current column. It is used for example to -- implement hang. -- -- As an example, we will put a document right above another one, -- regardless of the current nesting level: -- --
-- x $$ y = align (x <$> y) ---- --
-- test = text "hi" <+> (text "nice" $$ text "world") ---- -- which will be layed out as: -- --
-- hi nice -- world --align :: () => Doc a -> Doc a -- | The hang combinator implements hanging indentation. The document -- (hang i x) renders document x with a nesting level -- set to the current column plus i. The following example uses -- hanging indentation for some text: -- --
-- test = hang 4 (fillSep (map text -- (words "the hang combinator indents these words !"))) ---- -- Which lays out on a page with a width of 20 characters as: -- --
-- the hang combinator -- indents these -- words ! ---- -- The hang combinator is implemented as: -- --
-- hang i x = align (nest i x) --hang :: () => Int -> Doc a -> Doc a -- | The document (indent i x) indents document x with -- i spaces. -- --
-- test = indent 4 (fillSep (map text -- (words "the indent combinator indents these words !"))) ---- -- Which lays out with a page width of 20 as: -- --
-- the indent -- combinator -- indents these -- words ! --indent :: () => Int -> Doc a -> Doc a -- | The document (encloseSep l r sep xs) concatenates the -- documents xs separated by sep and encloses the -- resulting document by l and r. The documents are -- rendered horizontally if that fits the page. Otherwise they are -- aligned vertically. All separators are put in front of the elements. -- For example, the combinator list can be defined with -- encloseSep: -- --
-- list xs = encloseSep lbracket rbracket comma xs -- test = text "list" <+> (list (map int [10,200,3000])) ---- -- Which is layed out with a page width of 20 as: -- --
-- list [10,200,3000] ---- -- But when the page width is 15, it is layed out as: -- --
-- list [10 -- ,200 -- ,3000] --encloseSep :: () => Doc a -> Doc a -> Doc a -> [Doc a] -> Doc a -- | The document (x <+> y) concatenates document x -- and y with a space in between. (infixr 6) (<+>) :: () => Doc a -> Doc a -> Doc a infixr 6 <+> -- | The document (hsep xs) concatenates all documents xs -- horizontally with (<+>). hsep :: () => [Doc a] -> Doc a -- | The document (vsep xs) concatenates all documents xs -- vertically with (<$>). If a group undoes the -- line breaks inserted by vsep, all documents are separated -- with a space. -- --
-- someText = map text (words ("text to lay out"))
--
-- test = text "some" <+> vsep someText
--
--
-- This is layed out as:
--
-- -- some text -- to -- lay -- out ---- -- The align combinator can be used to align the documents under -- their first element -- --
-- test = text "some" <+> align (vsep someText) ---- -- Which is printed as: -- --
-- some text -- to -- lay -- out --vsep :: () => [Doc a] -> Doc a -- | The document (fillSep xs) concatenates documents xs -- horizontally with (<+>) as long as its fits the page, -- than inserts a line and continues doing that for all -- documents in xs. -- --
-- fillSep xs = foldr (</>) empty xs --fillSep :: () => [Doc a] -> Doc a -- | The document (sep xs) concatenates all documents xs -- either horizontally with (<+>), if it fits the page, or -- vertically with (<$>). -- --
-- sep xs = group (vsep xs) --sep :: () => [Doc a] -> Doc a -- | The document (hcat xs) concatenates all documents xs -- horizontally with (<>). hcat :: () => [Doc a] -> Doc a -- | The document (vcat xs) concatenates all documents xs -- vertically with (<$$>). If a group undoes the -- line breaks inserted by vcat, all documents are directly -- concatenated. vcat :: () => [Doc a] -> Doc a -- | The document (fillCat xs) concatenates documents xs -- horizontally with (<>) as long as its fits the page, -- than inserts a linebreak and continues doing that for all -- documents in xs. -- --
-- fillCat xs = foldr (\<\/\/\>) empty xs --fillCat :: () => [Doc a] -> Doc a -- | The document (cat xs) concatenates all documents xs -- either horizontally with (<>), if it fits the page, or -- vertically with (<$$>). -- --
-- cat xs = group (vcat xs) --cat :: () => [Doc a] -> Doc a -- | (punctuate p xs) concatenates all documents in xs -- with document p except for the last document. -- --
-- someText = map text ["words","in","a","tuple"] -- test = parens (align (cat (punctuate comma someText))) ---- -- This is layed out on a page width of 20 as: -- --
-- (words,in,a,tuple) ---- -- But when the page width is 15, it is layed out as: -- --
-- (words, -- in, -- a, -- tuple) ---- -- (If you want put the commas in front of their elements instead of at -- the end, you should use tupled or, in general, -- encloseSep.) punctuate :: () => Doc a -> [Doc a] -> [Doc a] -- | The document (fill i x) renders document x. It than -- appends spaces until the width is equal to i. If the -- width of x is already larger, nothing is appended. This -- combinator is quite useful in practice to output a list of bindings. -- The following example demonstrates this. -- --
-- types = [("empty","Doc a")
-- ,("nest","Int -> Doc a -> Doc a")
-- ,("linebreak","Doc a")]
--
-- ptype (name,tp)
-- = fill 6 (text name) <+> text "::" <+> text tp
--
-- test = text "let" <+> align (vcat (map ptype types))
--
--
-- Which is layed out as:
--
-- -- let empty :: Doc a -- nest :: Int -> Doc a -> Doc a -- linebreak :: Doc a --fill :: () => Int -> Doc a -> Doc a -- | The document (fillBreak i x) first renders document -- x. It than appends spaces until the width is equal -- to i. If the width of x is already larger than -- i, the nesting level is increased by i and a -- line is appended. When we redefine ptype in the -- previous example to use fillBreak, we get a useful variation -- of the previous output: -- --
-- ptype (name,tp) -- = fillBreak 6 (text name) <+> text "::" <+> text tp ---- -- The output will now be: -- --
-- let empty :: Doc a -- nest :: Int -> Doc a -> Doc a -- linebreak -- :: Doc a --fillBreak :: () => Int -> Doc a -> Doc a -- | The document (enclose l r x) encloses document x -- between documents l and r using (<>). -- --
-- enclose l r x = l <> x <> r --enclose :: () => Doc a -> Doc a -> Doc a -> Doc a -- | Document (squotes x) encloses document x with single -- quotes "'". squotes :: () => Doc a -> Doc a -- | Document (dquotes x) encloses document x with double -- quotes '"'. dquotes :: () => Doc a -> Doc a -- | Document (parens x) encloses document x in -- parenthesis, "(" and ")". parens :: () => Doc a -> Doc a -- | Document (angles x) encloses document x in angles, -- "<" and ">". angles :: () => Doc a -> Doc a -- | Document (braces x) encloses document x in braces, -- "{" and "}". braces :: () => Doc a -> Doc a -- | Document (brackets x) encloses document x in square -- brackets, "[" and "]". brackets :: () => Doc a -> Doc a -- | Use after a label and before the rest of what's being labelled for -- consistent spacingindentingetc. -- -- For example this is used after Warning: in warning messages. indentAfterLabel :: Doc a -> Doc a -- | Make a Doc from each word in a String wordDocs :: String -> [Doc a] -- | Wordwrap a String flow :: String -> Doc a instance Text.PrettyPrint.Leijen.Extended.Display Stack.Types.PackageName.PackageName instance Text.PrettyPrint.Leijen.Extended.Display Stack.Types.PackageIdentifier.PackageIdentifier instance Text.PrettyPrint.Leijen.Extended.Display Stack.Types.Version.Version instance Text.PrettyPrint.Leijen.Extended.Display (Path.Internal.Path b Path.File) instance Text.PrettyPrint.Leijen.Extended.Display (Path.Internal.Path b Path.Dir) instance Text.PrettyPrint.Leijen.Extended.Display (Stack.Types.PackageName.PackageName, Stack.Types.Config.NamedComponent) -- | Dealing with Cabal. module Stack.Package -- | Reads and exposes the package information readPackageDir :: forall env. HasConfig env => PackageConfig -> Path Abs Dir -> Bool -> RIO env (Package, Path Abs File) -- | Read the raw, unresolved package information from a file. readPackageUnresolvedDir :: forall env. HasConfig env => Path Abs Dir -> Bool -> RIO env (GenericPackageDescription, Path Abs File) -- | Read the GenericPackageDescription from the given -- PackageIdentifierRevision. readPackageUnresolvedIndex :: forall env. HasRunner env => (PackageIdentifierRevision -> IO ByteString) -> PackageIdentifierRevision -> RIO env GenericPackageDescription -- | Get GenericPackageDescription and PackageDescription -- reading info from given directory. readPackageDescriptionDir :: forall env. HasConfig env => PackageConfig -> Path Abs Dir -> Bool -> RIO env (GenericPackageDescription, PackageDescriptionPair) -- | 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. readDotBuildinfo :: MonadIO m => Path Abs File -> m HookedBuildInfo -- | 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. resolvePackage :: PackageConfig -> GenericPackageDescription -> Package packageFromPackageDescription :: PackageConfig -> [Flag] -> PackageDescriptionPair -> Package -- | Some package info. data Package Package :: !PackageName -> !Version -> !License -> !GetPackageFiles -> !(Map PackageName VersionRange) -> !(Map ExeName VersionRange) -> !(Set PackageName) -> ![Text] -> !(Map FlagName Bool) -> !(Map FlagName Bool) -> !PackageLibraries -> !(Map Text TestSuiteInterface) -> !(Set Text) -> !(Set Text) -> !GetPackageOpts -> !Bool -> !(Maybe BuildType) -> !(Maybe (Map PackageName VersionRange)) -> Package -- | Name of the package. [packageName] :: Package -> !PackageName -- | Version of the package [packageVersion] :: Package -> !Version -- | The license the package was released under. [packageLicense] :: Package -> !License -- | Get all files of the package. [packageFiles] :: Package -> !GetPackageFiles -- | Packages that the package depends on. [packageDeps] :: Package -> !(Map PackageName VersionRange) -- | A build tool name. [packageTools] :: Package -> !(Map ExeName VersionRange) -- | Original dependencies (not sieved). [packageAllDeps] :: Package -> !(Set PackageName) -- | Ghc options used on package. [packageGhcOptions] :: Package -> ![Text] -- | Flags used on package. [packageFlags] :: Package -> !(Map FlagName Bool) -- | Defaults for unspecified flags. [packageDefaultFlags] :: Package -> !(Map FlagName Bool) -- | does the package have a buildable library stanza? [packageLibraries] :: Package -> !PackageLibraries -- | names and interfaces of test suites [packageTests] :: Package -> !(Map Text TestSuiteInterface) -- | names of benchmarks [packageBenchmarks] :: Package -> !(Set Text) -- | names of executables [packageExes] :: Package -> !(Set Text) -- | Args to pass to GHC. [packageOpts] :: Package -> !GetPackageOpts -- | Does the package have exposed modules? [packageHasExposedModules] :: Package -> !Bool -- | Package build-type. [packageBuildType] :: Package -> !(Maybe BuildType) -- | If present: custom-setup dependencies [packageSetupDeps] :: Package -> !(Maybe (Map PackageName VersionRange)) -- | 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. -- -- MSS 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?" data PackageDescriptionPair PackageDescriptionPair :: PackageDescription -> PackageDescription -> PackageDescriptionPair [pdpOrigBuildable] :: PackageDescriptionPair -> PackageDescription [pdpModifiedBuildable] :: PackageDescriptionPair -> PackageDescription -- | Files that the package depends on, relative to package directory. -- Argument is the location of the .cabal file newtype GetPackageFiles GetPackageFiles :: (forall env. HasEnvConfig env => Path Abs File -> RIO env (Map NamedComponent (Set ModuleName), Map NamedComponent (Set DotCabalPath), Set (Path Abs File), [PackageWarning])) -> GetPackageFiles [getPackageFiles] :: GetPackageFiles -> forall env. HasEnvConfig env => Path Abs File -> RIO env (Map NamedComponent (Set ModuleName), Map NamedComponent (Set DotCabalPath), Set (Path Abs File), [PackageWarning]) -- | Files that the package depends on, relative to package directory. -- Argument is the location of the .cabal file newtype GetPackageOpts GetPackageOpts :: (forall env. HasEnvConfig env => SourceMap -> InstalledMap -> [PackageName] -> [PackageName] -> Path Abs File -> RIO env (Map NamedComponent (Set ModuleName), Map NamedComponent (Set DotCabalPath), Map NamedComponent BuildInfoOpts)) -> GetPackageOpts [getPackageOpts] :: GetPackageOpts -> forall env. HasEnvConfig env => SourceMap -> InstalledMap -> [PackageName] -> [PackageName] -> Path Abs File -> RIO env (Map NamedComponent (Set ModuleName), Map NamedComponent (Set DotCabalPath), Map NamedComponent BuildInfoOpts) -- | Package build configuration data PackageConfig PackageConfig :: !Bool -> !Bool -> !(Map FlagName Bool) -> ![Text] -> !(CompilerVersion 'CVActual) -> !Platform -> PackageConfig -- | Are tests enabled? [packageConfigEnableTests] :: PackageConfig -> !Bool -- | Are benchmarks enabled? [packageConfigEnableBenchmarks] :: PackageConfig -> !Bool -- | Configured flags. [packageConfigFlags] :: PackageConfig -> !(Map FlagName Bool) -- | Configured ghc options. [packageConfigGhcOptions] :: PackageConfig -> ![Text] -- | GHC version [packageConfigCompilerVersion] :: PackageConfig -> !(CompilerVersion 'CVActual) -- | host platform [packageConfigPlatform] :: PackageConfig -> !Platform -- | Path for the package's build log. buildLogPath :: (MonadReader env m, HasBuildConfig env, MonadThrow m) => Package -> Maybe String -> m (Path Abs File) -- | All exceptions thrown by the library. data PackageException PackageInvalidCabalFile :: (Either PackageIdentifierRevision (Path Abs File)) -> PError -> PackageException PackageNoCabalFileFound :: (Path Abs Dir) -> PackageException PackageMultipleCabalFilesFound :: (Path Abs Dir) -> [Path Abs File] -> PackageException MismatchedCabalName :: (Path Abs File) -> PackageName -> PackageException MismatchedCabalIdentifier :: !PackageIdentifierRevision -> !PackageIdentifier -> PackageException -- | Evaluates the conditions of a GenericPackageDescription, -- yielding a resolved PackageDescription. resolvePackageDescription :: PackageConfig -> GenericPackageDescription -> PackageDescriptionPair -- | Get all dependencies of the package (buildable targets only). -- -- This uses both the new buildToolDepends and old -- buildTools information. packageDescTools :: PackageDescription -> Map ExeName VersionRange -- | Get all dependencies of the package (buildable targets only). packageDependencies :: PackageDescription -> Map PackageName VersionRange -- | Make the autogen dir. autogenDir :: Path Abs Dir -> Path Abs Dir -- | Extract the PackageIdentifier given an exploded haskell -- package path. cabalFilePackageId :: (MonadIO m, MonadThrow m) => Path Abs File -> m PackageIdentifier gpdPackageIdentifier :: GenericPackageDescription -> PackageIdentifier gpdPackageName :: GenericPackageDescription -> PackageName gpdVersion :: GenericPackageDescription -> Version instance Stack.Types.Config.HasPlatform Stack.Package.Ctx instance Stack.Types.Config.HasGHCVariant Stack.Package.Ctx instance Stack.Prelude.HasLogFunc Stack.Package.Ctx instance Stack.Types.Runner.HasRunner Stack.Package.Ctx instance Stack.Types.Config.HasConfig Stack.Package.Ctx instance Stack.Types.Config.HasBuildConfig Stack.Package.Ctx instance Stack.Types.Config.HasEnvConfig Stack.Package.Ctx -- | This module builds Docker (OpenContainer) images. module Stack.Image -- | Stages the executables & additional content in a staging directory -- under '.stack-work' stageContainerImageArtifacts :: HasEnvConfig env => Maybe (Path Abs Dir) -> [Text] -> RIO env () -- | Builds a Docker (OpenContainer) image extending the base -- image specified in the project's stack.yaml. Then new image will be -- extended with an ENTRYPOINT specified for each entrypoint -- listed in the config file. createContainerImageFromStage :: HasConfig env => Maybe (Path Abs Dir) -> [Text] -> RIO env () -- | The command name for dealing with images. imgCmdName :: String -- | The command name for building a docker container. imgDockerCmdName :: String -- | Convert image opts monoid to image options. imgOptsFromMonoid :: ImageOptsMonoid -> ImageOpts instance GHC.Exception.Exception Stack.Image.StackImageException instance GHC.Show.Show Stack.Image.StackImageException -- | Generate haddocks module Stack.Build.Haddock -- | Generate Haddock index and contents for local packages. generateLocalHaddockIndex :: (MonadUnliftIO m, MonadLogger m) => EnvOverride -> WhichCompiler -> BaseConfigOpts -> Map GhcPkgId (DumpPackage () () ()) -> [LocalPackage] -> m () -- | Generate Haddock index and contents for local packages and their -- dependencies. generateDepsHaddockIndex :: (MonadUnliftIO m, MonadLogger m) => EnvOverride -> WhichCompiler -> BaseConfigOpts -> Map GhcPkgId (DumpPackage () () ()) -> Map GhcPkgId (DumpPackage () () ()) -> Map GhcPkgId (DumpPackage () () ()) -> [LocalPackage] -> m () -- | Generate Haddock index and contents for all snapshot packages. generateSnapHaddockIndex :: (MonadUnliftIO m, MonadLogger m) => EnvOverride -> WhichCompiler -> BaseConfigOpts -> Map GhcPkgId (DumpPackage () () ()) -> Map GhcPkgId (DumpPackage () () ()) -> m () openHaddocksInBrowser :: HasRunner env => BaseConfigOpts -> Map PackageName (PackageIdentifier, InstallLocation) -> Set PackageName -> RIO env () -- | Determine whether we should haddock for a package. shouldHaddockPackage :: BuildOpts -> Set PackageName -> PackageName -> Bool -- | Determine whether to build haddocks for dependencies. shouldHaddockDeps :: BuildOpts -> Bool module Path.CheckInstall -- | Checks if the installed executable will be available on the user's -- PATH. This doesn't use envSearchPath menv because it includes -- paths only visible when running in the stack environment. warnInstallSearchPathIssues :: HasConfig env => FilePath -> [Text] -> RIO env () module Network.HTTP.Download.Verified -- | Copied and extended version of Network.HTTP.Download.download. -- -- Has the following additional features: * Verifies that response -- content-length header (if present) matches expected length * Limits -- the download to (close to) the expected # of bytes * Verifies that the -- expected # bytes were downloaded (not too few) * Verifies md5 if -- response includes content-md5 header * Verifies the expected hashes -- -- Throws VerifiedDownloadException. Throws IOExceptions related to file -- system operations. Throws HttpException. verifiedDownload :: (MonadUnliftIO m, MonadLogger m, HasRunner env, MonadReader env m) => DownloadRequest -> Path Abs File -> (Maybe Integer -> Sink ByteString IO ()) -> m Bool recoveringHttp :: (MonadUnliftIO m, MonadLogger m, HasRunner env, MonadReader env m) => RetryPolicy -> m a -> m a -- | A request together with some checks to perform. data DownloadRequest DownloadRequest :: Request -> [HashCheck] -> Maybe LengthCheck -> RetryPolicy -> DownloadRequest [drRequest] :: DownloadRequest -> Request [drHashChecks] :: DownloadRequest -> [HashCheck] [drLengthCheck] :: DownloadRequest -> Maybe LengthCheck [drRetryPolicy] :: DownloadRequest -> RetryPolicy -- | Default to retrying thrice with a short constant delay. drRetryPolicyDefault :: RetryPolicy data HashCheck HashCheck :: a -> CheckHexDigest -> HashCheck [hashCheckAlgorithm] :: HashCheck -> a [hashCheckHexDigest] :: HashCheck -> CheckHexDigest data CheckHexDigest CheckHexDigestString :: String -> CheckHexDigest CheckHexDigestByteString :: ByteString -> CheckHexDigest CheckHexDigestHeader :: ByteString -> CheckHexDigest type LengthCheck = Int -- | An exception regarding verification of a download. data VerifiedDownloadException WrongContentLength :: Request -> Int -> ByteString -> VerifiedDownloadException WrongStreamLength :: Request -> Int -> Int -> VerifiedDownloadException WrongDigest :: Request -> String -> CheckHexDigest -> String -> VerifiedDownloadException instance GHC.Show.Show Network.HTTP.Download.Verified.VerifyFileException instance GHC.Show.Show Network.HTTP.Download.Verified.CheckHexDigest instance GHC.Show.Show Network.HTTP.Download.Verified.HashCheck instance GHC.Exception.Exception Network.HTTP.Download.Verified.VerifyFileException instance GHC.Show.Show Network.HTTP.Download.Verified.VerifiedDownloadException instance GHC.Exception.Exception Network.HTTP.Download.Verified.VerifiedDownloadException instance Data.String.IsString Network.HTTP.Download.Verified.CheckHexDigest -- | Deal with downloading, cloning, or whatever else is necessary for -- getting a PackageLocation into something Stack can work with. module Stack.PackageLocation -- | Same as resolveMultiPackageLocation, but works on a -- SinglePackageLocation. resolveSinglePackageLocation :: HasConfig env => Path Abs Dir -> PackageLocation FilePath -> RIO env (Path Abs Dir) -- | Resolve a PackageLocation into a path, downloading and cloning as -- necessary. -- -- Returns the updated PackageLocation value with just a single subdir -- (if relevant). resolveMultiPackageLocation :: HasConfig env => Path Abs Dir -> PackageLocation Subdirs -> RIO env [(Path Abs Dir, PackageLocation FilePath)] parseSingleCabalFile :: forall env. HasConfig env => Path Abs Dir -> Bool -> PackageLocation FilePath -> RIO env LocalPackageView -- | Parse the cabal files present in the given 'PackageLocationIndex -- FilePath'. parseSingleCabalFileIndex :: forall env. HasConfig env => (PackageIdentifierRevision -> IO ByteString) -> Path Abs Dir -> PackageLocationIndex FilePath -> RIO env GenericPackageDescription -- | Load and parse cabal files into GenericPackageDescriptions parseMultiCabalFiles :: forall env. HasConfig env => Path Abs Dir -> Bool -> PackageLocation Subdirs -> RIO env [LocalPackageView] -- | parseMultiCabalFiles but supports PLIndex parseMultiCabalFilesIndex :: forall env. HasConfig env => (PackageIdentifierRevision -> IO ByteString) -> Path Abs Dir -> PackageLocationIndex Subdirs -> RIO env [(GenericPackageDescription, PackageLocationIndex FilePath)] module Network.HTTP.Download -- | Copied and extended version of Network.HTTP.Download.download. -- -- Has the following additional features: * Verifies that response -- content-length header (if present) matches expected length * Limits -- the download to (close to) the expected # of bytes * Verifies that the -- expected # bytes were downloaded (not too few) * Verifies md5 if -- response includes content-md5 header * Verifies the expected hashes -- -- Throws VerifiedDownloadException. Throws IOExceptions related to file -- system operations. Throws HttpException. verifiedDownload :: (MonadUnliftIO m, MonadLogger m, HasRunner env, MonadReader env m) => DownloadRequest -> Path Abs File -> (Maybe Integer -> Sink ByteString IO ()) -> m Bool -- | A request together with some checks to perform. data DownloadRequest DownloadRequest :: Request -> [HashCheck] -> Maybe LengthCheck -> RetryPolicy -> DownloadRequest [drRequest] :: DownloadRequest -> Request [drHashChecks] :: DownloadRequest -> [HashCheck] [drLengthCheck] :: DownloadRequest -> Maybe LengthCheck [drRetryPolicy] :: DownloadRequest -> RetryPolicy -- | Default to retrying thrice with a short constant delay. drRetryPolicyDefault :: RetryPolicy data HashCheck HashCheck :: a -> CheckHexDigest -> HashCheck [hashCheckAlgorithm] :: HashCheck -> a [hashCheckHexDigest] :: HashCheck -> CheckHexDigest data DownloadException RedownloadFailed :: Request -> (Path Abs File) -> (Response ()) -> DownloadException data CheckHexDigest CheckHexDigestString :: String -> CheckHexDigest CheckHexDigestByteString :: ByteString -> CheckHexDigest CheckHexDigestHeader :: ByteString -> CheckHexDigest type LengthCheck = Int -- | An exception regarding verification of a download. data VerifiedDownloadException WrongContentLength :: Request -> Int -> ByteString -> VerifiedDownloadException WrongStreamLength :: Request -> Int -> Int -> VerifiedDownloadException WrongDigest :: Request -> String -> CheckHexDigest -> String -> VerifiedDownloadException -- | Download the given URL to the given location. If the file already -- exists, no download is performed. Otherwise, creates the parent -- directory, downloads to a temporary file, and on file download -- completion moves to the appropriate destination. -- -- Throws an exception if things go wrong download :: (MonadUnliftIO m, MonadLogger m, HasRunner env, MonadReader env m) => Request -> Path Abs File -> m Bool -- | Same as download, but will download a file a second time if it -- is already present. -- -- Returns True if the file was downloaded, False otherwise redownload :: (MonadUnliftIO m, MonadLogger m, HasRunner env, MonadReader env m) => Request -> Path Abs File -> m Bool -- | Perform an HTTP request and parse the body as JSON. In the event of an -- JSON parse errors, a JSONException runtime exception will be -- thrown. httpJSON :: (MonadIO m, FromJSON a) => Request -> m Response a -- | Convert a URL into a Request. -- -- This defaults some of the values in Request, such as setting -- method to GET and requestHeaders to []. -- -- Since this function uses MonadThrow, the return monad can be -- anything that is an instance of MonadThrow, such as IO -- or Maybe. -- -- You can place the request method at the beginning of the URL separated -- by a space, e.g.: -- -- @@ parseRequest "POST http://httpbin.org/post" @@ -- -- Note that the request method must be provided as all capital letters. -- -- Request created by this function won't cause exceptions on -- non-2XX response status codes. -- -- To create a request which throws on non-2XX status codes, see -- parseUrlThrow parseRequest :: MonadThrow m => String -> m Request -- | Same as parseRequest, except will throw an HttpException -- in the event of a non-2XX response. parseUrlThrow :: MonadThrow m => String -> m Request -- | Set the user-agent request header setGithubHeaders :: Request -> Request instance GHC.Show.Show Network.HTTP.Download.DownloadException instance GHC.Exception.Exception Network.HTTP.Download.DownloadException module Stack.Sig.Sign -- | Sign a haskell package with the given url of the signature service and -- a path to a tarball. sign :: (MonadUnliftIO m, MonadLogger m, MonadThrow m) => String -> Path Abs File -> m Signature -- | Sign a haskell package given the url to the signature service, a -- PackageIdentifier and a file path to the package on disk. signPackage :: (MonadIO m, MonadLogger m, MonadThrow m) => String -> PackageIdentifier -> Path Abs File -> m Signature -- | Sign a haskell package with the given url to the signature service, a -- package tarball path (package tarball name) and a lazy bytestring of -- bytes that represent the tarball bytestream. The function will write -- the bytes to the path in a temp dir and sign the tarball with GPG. signTarBytes :: (MonadUnliftIO m, MonadLogger m, MonadThrow m) => String -> Path Rel File -> ByteString -> m Signature module Stack.Sig -- | Dealing with the 01-index file and all its cabal files. module Stack.PackageIndex -- | Update all of the package indices updateAllIndices :: HasConfig env => RIO env () -- | Load the package caches, or create the caches if necessary. -- -- This has two levels of caching: in memory, and the on-disk cache. So, -- feel free to call this function multiple times. getPackageCaches :: HasConfig env => RIO env (PackageCache PackageIndex) -- | Get the known versions for a given package from the package caches. -- -- See getPackageCaches for performance notes. getPackageVersions :: HasConfig env => PackageName -> RIO env (Set Version) lookupPackageVersions :: PackageName -> PackageCache index -> Set Version instance GHC.Exception.Exception Stack.PackageIndex.PackageIndexException instance GHC.Show.Show Stack.PackageIndex.PackageIndexException -- | Create new a new project directory populated with a basic working -- project. module Stack.New -- | Create a new project with the given options. new :: HasConfig env => NewOpts -> Bool -> RIO env (Path Abs Dir) -- | Options for creating a new project. data NewOpts NewOpts :: PackageName -> Bool -> Maybe TemplateName -> Map Text Text -> NewOpts -- | Name of the project to create. [newOptsProjectName] :: NewOpts -> PackageName -- | Whether to create the project without a directory. [newOptsCreateBare] :: NewOpts -> Bool -- | Name of the template to use. [newOptsTemplate] :: NewOpts -> Maybe TemplateName -- | Nonce parameters specified just for this invocation. [newOptsNonceParams] :: NewOpts -> Map Text Text -- | The default template name you can use if you don't have one. defaultTemplateName :: TemplateName -- | An argument which accepts a template name of the format -- foo.hsfiles or foo, ultimately normalized to -- foo. templateNameArgument :: Mod ArgumentFields TemplateName -> Parser TemplateName -- | Get the set of templates. getTemplates :: HasLogFunc env => RIO env (Set TemplateName) -- | A template name. data TemplateName -- | Display the set of templates accompanied with description if -- available. listTemplates :: HasLogFunc env => RIO env () instance GHC.Exception.Exception Stack.New.NewException instance GHC.Show.Show Stack.New.NewException instance Data.Aeson.Types.FromJSON.FromJSON Stack.New.TemplateSet -- | Functionality for downloading packages securely for cabal's usage. module Stack.Fetch -- | Intended to work for the command line command. unpackPackages :: HasConfig env => Maybe SnapshotDef -> FilePath -> [String] -> RIO env () -- | Same as unpackPackageIdents, but for a single package. unpackPackageIdent :: HasConfig env => Path Abs Dir -> Path Rel Dir -> PackageIdentifierRevision -> RIO env (Path Abs Dir) -- | Ensure that all of the given package idents are unpacked into the -- build unpack directory, and return the paths to all of the -- subdirectories. unpackPackageIdents :: HasConfig env => Path Abs Dir -> Maybe (Path Rel Dir) -> [PackageIdentifierRevision] -> RIO env (Map PackageIdentifier (Path Abs Dir)) -- | Fetch packages into the cache without unpacking fetchPackages :: HasConfig env => Set PackageIdentifier -> RIO env () -- | Internal function used to unpack tarball. -- -- Takes a path to a .tar.gz file, the name of the directory it should -- contain, and a destination folder to extract the tarball into. Returns -- unexpected entries, as pairs of paths and descriptions. untar :: forall b1 b2. Path b1 File -> Path Rel Dir -> Path b2 Dir -> IO [(FilePath, Text)] -- | Resolve a set of package names and identifiers into -- FetchPackage values. resolvePackages :: HasConfig env => Maybe SnapshotDef -> [PackageIdentifierRevision] -> Set PackageName -> RIO env [ResolvedPackage] -- | Turn package identifiers and package names into a list of -- ResolvedPackages. Returns any unresolved names and -- identifier. These are considered unresolved even if the only mismatch -- is in the cabal file info (MSS 2017-07-17: old versions of this code -- had special handling to treat missing cabal file info as a warning, -- that's no longer necessary or desirable since all info should be -- present and checked). resolvePackagesAllowMissing :: forall env. HasConfig env => Maybe SnapshotDef -> [PackageIdentifierRevision] -> Set PackageName -> RIO env (Set PackageName, HashSet PackageIdentifierRevision, [ResolvedPackage]) data ResolvedPackage ResolvedPackage :: !PackageIdentifier -> !(Maybe PackageDownload) -> !OffsetSize -> !PackageIndex -> ResolvedPackage [rpIdent] :: ResolvedPackage -> !PackageIdentifier [rpDownload] :: ResolvedPackage -> !(Maybe PackageDownload) [rpOffsetSize] :: ResolvedPackage -> !OffsetSize [rpIndex] :: ResolvedPackage -> !PackageIndex -- | Add the cabal files to a list of idents with their caches. withCabalFiles :: (MonadReader env m, MonadUnliftIO m, HasConfig env, MonadThrow m) => IndexName -> [(ResolvedPackage, a)] -> (PackageIdentifier -> a -> ByteString -> IO b) -> m [b] -- | Provide a function which will load up a cabal ByteString from -- the package indices. withCabalLoader :: HasConfig env => ((PackageIdentifierRevision -> IO ByteString) -> RIO env a) -> RIO env a instance GHC.Show.Show Stack.Fetch.ResolvedPackage instance GHC.Exception.Exception Stack.Fetch.FetchException instance GHC.Show.Show Stack.Fetch.FetchException -- | Reading in SnapshotDefs and converting them into -- LoadedSnapshots. module Stack.Snapshot -- | Convert a Resolver into a SnapshotDef loadResolver :: forall env. HasConfig env => Resolver -> RIO env SnapshotDef -- | Fully load up a SnapshotDef into a LoadedSnapshot loadSnapshot :: forall env. (HasConfig env, HasGHCVariant env) => Maybe (CompilerVersion 'CVActual) -> Path Abs Dir -> SnapshotDef -> RIO env LoadedSnapshot -- | Given information on a LoadedSnapshot and a given set of -- additional packages and configuration values, calculates the new -- global and snapshot packages, as well as the new local packages. -- -- The new globals and snapshots must be a subset of the initial values. calculatePackagePromotion :: forall env localLocation. (HasConfig env, HasGHCVariant env) => (PackageIdentifierRevision -> IO ByteString) -> Path Abs Dir -> LoadedSnapshot -> [(GenericPackageDescription, SinglePackageLocation, localLocation)] -> Map PackageName (Map FlagName Bool) -> Map PackageName Bool -> Map PackageName [Text] -> Set PackageName -> RIO env (Map PackageName (LoadedPackageInfo GhcPkgId), Map PackageName (LoadedPackageInfo SinglePackageLocation), Map PackageName (LoadedPackageInfo (SinglePackageLocation, Maybe localLocation))) instance GHC.Exception.Exception Stack.Snapshot.SnapshotException instance GHC.Show.Show Stack.Snapshot.SnapshotException -- | Resolving a build plan for a set of packages in a given Stackage -- snapshot. module Stack.BuildPlan data BuildPlanException UnknownPackages :: (Path Abs File) -> (Map PackageName (Maybe Version, Set PackageName)) -> (Map PackageName (Set PackageIdentifier)) -> BuildPlanException SnapshotNotFound :: SnapName -> BuildPlanException NeitherCompilerOrResolverSpecified :: Text -> BuildPlanException data BuildPlanCheck BuildPlanCheckOk :: (Map PackageName (Map FlagName Bool)) -> BuildPlanCheck BuildPlanCheckPartial :: (Map PackageName (Map FlagName Bool)) -> DepErrors -> BuildPlanCheck BuildPlanCheckFail :: (Map PackageName (Map FlagName Bool)) -> DepErrors -> (CompilerVersion 'CVActual) -> BuildPlanCheck -- | Check a set of GenericPackageDescriptions and a set of flags -- against a given snapshot. Returns how well the snapshot satisfies the -- dependencies of the packages. checkSnapBuildPlan :: (HasConfig env, HasGHCVariant env) => Path Abs Dir -> [GenericPackageDescription] -> Maybe (Map PackageName (Map FlagName Bool)) -> SnapshotDef -> Maybe (CompilerVersion 'CVActual) -> RIO env BuildPlanCheck data DepError DepError :: !(Maybe Version) -> !(Map PackageName VersionRange) -> DepError [deVersion] :: DepError -> !(Maybe Version) [deNeededBy] :: DepError -> !(Map PackageName VersionRange) type DepErrors = Map PackageName DepError gpdPackageDeps :: GenericPackageDescription -> CompilerVersion 'CVActual -> Platform -> Map FlagName Bool -> Map PackageName VersionRange gpdPackages :: [GenericPackageDescription] -> Map PackageName Version removeSrcPkgDefaultFlags :: [GenericPackageDescription] -> Map PackageName (Map FlagName Bool) -> Map PackageName (Map FlagName Bool) -- | Find a snapshot and set of flags that is compatible with and matches -- as best as possible with the given GenericPackageDescriptions. selectBestSnapshot :: (HasConfig env, HasGHCVariant env) => Path Abs Dir -> [GenericPackageDescription] -> NonEmpty SnapName -> RIO env (SnapshotDef, BuildPlanCheck) -- | Map from tool name to package providing it. This accounts for both -- snapshot and local packages (deps and project packages). getToolMap :: LoadedSnapshot -> LocalPackages -> Map ExeName (Set PackageName) showItems :: Show a => [a] -> Text instance GHC.Show.Show Stack.BuildPlan.DepError instance GHC.Show.Show Stack.BuildPlan.BuildPlanCheck instance GHC.Exception.Exception Stack.BuildPlan.BuildPlanException instance GHC.Show.Show Stack.BuildPlan.BuildPlanException -- | 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". module Stack.Config -- | An environment with a subset of BuildConfig used for setup. data MiniConfig -- | 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. loadConfig :: HasRunner env => ConfigMonoid -> Maybe AbstractResolver -> StackYamlLoc (Path Abs File) -> RIO env LoadConfig loadConfigMaybeProject :: HasRunner env => ConfigMonoid -> Maybe AbstractResolver -> LocalConfigStatus (Project, Path Abs File, ConfigMonoid) -> RIO env LoadConfig -- | Load the MiniConfig. loadMiniConfig :: Config -> MiniConfig -- | Load and parse YAML from the given config file. Throws -- ParseConfigFileException when there's a decoding error. loadConfigYaml :: (MonadIO m, MonadLogger m) => (Value -> Parser (WithJSONWarnings a)) -> Path Abs File -> m a packagesParser :: Parser [String] -- | Get packages from EnvConfig, downloading and cloning as necessary. If -- the packages have already been downloaded, this uses a cached value ( getLocalPackages :: forall env. HasEnvConfig env => RIO env LocalPackages -- | 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. getImplicitGlobalProjectDir :: (MonadIO m, MonadLogger m) => Config -> m (Path Abs Dir) -- | This is slightly more expensive than asks -- (bcStackYaml . getBuildConfig) and should -- only be used when no BuildConfig is at hand. getStackYaml :: HasConfig env => RIO env (Path Abs File) -- | Download the Snapshots value from stackage.org. getSnapshots :: HasConfig env => RIO env Snapshots -- | Turn an AbstractResolver into a Resolver. makeConcreteResolver :: HasConfig env => Maybe (Path Abs Dir) -> AbstractResolver -> RIO env Resolver -- | 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. checkOwnership :: (MonadIO m) => Path Abs Dir -> m () -- | True if we are currently running inside a Docker container. getInContainer :: (MonadIO m) => m Bool -- | True if we are currently running inside a Nix. getInNixShell :: (MonadIO m) => m Bool defaultConfigYaml :: ByteString -- | Get the location of the project config file, if it exists. getProjectConfig :: (MonadIO m, MonadThrow m, MonadLogger m) => StackYamlLoc (Path Abs File) -> m (LocalConfigStatus (Path Abs File)) data LocalConfigStatus a LCSNoProject :: LocalConfigStatus a LCSProject :: a -> LocalConfigStatus a -- | parent directory for making a concrete resolving LCSNoConfig :: !(Path Abs Dir) -> LocalConfigStatus a instance Data.Traversable.Traversable Stack.Config.LocalConfigStatus instance Data.Foldable.Foldable Stack.Config.LocalConfigStatus instance GHC.Base.Functor Stack.Config.LocalConfigStatus instance GHC.Show.Show a => GHC.Show.Show (Stack.Config.LocalConfigStatus a) instance Stack.Types.Config.HasConfig Stack.Config.MiniConfig instance Stack.Types.Config.HasPlatform Stack.Config.MiniConfig instance Stack.Types.Config.HasGHCVariant Stack.Config.MiniConfig instance Stack.Types.Runner.HasRunner Stack.Config.MiniConfig instance Stack.Prelude.HasLogFunc Stack.Config.MiniConfig -- | Run commands in a nix-shell module Stack.Nix -- | If Nix is enabled, re-runs the currently running OS command in a Nix -- container. Otherwise, runs the inner action. reexecWithOptionalShell :: HasConfig env => Maybe (Path Abs Dir) -> IO (CompilerVersion 'CVWanted) -> IO () -> RIO env () -- | Command-line argument for "nix" nixCmdName :: String nixHelpOptName :: String instance GHC.Exception.Exception Stack.Nix.StackNixException instance GHC.Show.Show Stack.Nix.StackNixException module Stack.Options.NixParser nixOptsParser :: Bool -> Parser NixOptsMonoid -- | Functions for IDEs. module Stack.IDE -- | List the packages inside the current project. listPackages :: HasEnvConfig env => RIO env () -- | List the targets in the current project. listTargets :: HasEnvConfig env => RIO env () -- | Make changes to project or global configuration. module Stack.ConfigCmd data ConfigCmdSet ConfigCmdSetResolver :: AbstractResolver -> ConfigCmdSet ConfigCmdSetSystemGhc :: CommandScope -> Bool -> ConfigCmdSet ConfigCmdSetInstallGhc :: CommandScope -> Bool -> ConfigCmdSet configCmdSetParser :: Parser ConfigCmdSet cfgCmdSet :: (HasConfig env, HasGHCVariant env) => GlobalOpts -> ConfigCmdSet -> RIO env () cfgCmdSetName :: String cfgCmdName :: String -- | Clean a project. module Stack.Clean -- | Deletes build artifacts in the current project. -- -- Throws StackCleanException. clean :: HasEnvConfig env => CleanOpts -> RIO env () -- | Options for stack clean. data CleanOpts -- | Delete the "dist directories" as defined in distRelativeDir for -- the given local packages. If no packages are given, all project -- packages should be cleaned. CleanShallow :: [PackageName] -> CleanOpts -- | Delete all work directories in the project. CleanFull :: CleanOpts -- | Exceptions during cleanup. newtype StackCleanException NonLocalPackages :: [PackageName] -> StackCleanException instance GHC.Show.Show Stack.Clean.StackCleanException instance GHC.Exception.Exception Stack.Clean.StackCleanException module Stack.Options.CleanParser -- | Command-line parser for the clean command. cleanOptsParser :: Parser CleanOpts -- | Parsing command line targets -- -- There are two relevant data sources for performing this parsing: the -- project configuration, and command line arguments. Project -- configurations includes the resolver (defining a LoadedSnapshot of -- global and snapshot packages), local dependencies, and project -- packages. It also defines local flag overrides. -- -- The command line arguments specify both additional local flag -- overrides and targets in their raw form. -- -- Flags are simple: we just combine CLI flags with config flags and make -- one big map of flags, preferring CLI flags when present. -- -- Raw targets can be a package name, a package name with component, just -- a component, or a package name and version number. We first must -- resolve these raw targets into both simple targets and additional -- dependencies. This works as follows: -- --