Stack.Types.BuildPlan

Shared types for various stackage packages.

Types

data SnapshotDef

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.

Constructors

SnapshotDef

Fields

• sdParent :: !(Either (CompilerVersion CVWanted) 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.

• sdResolver :: !LoadedResolver

  The resolver that provides this definition.

• sdResolverName :: !Text

  A user-friendly way of referring to this resolver.

• sdLocations :: ![PackageLocationIndex Subdirs]

  Where to grab all of the packages from.

• sdDropPackages :: !(Set PackageName)

  Packages present in the parent which should not be included here.

• sdFlags :: !(Map PackageName (Map FlagName Bool))

  Flag values to override from the defaults

• sdHidden :: !(Map PackageName 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.

• sdGhcOptions :: !(Map PackageName [Text])

  GHC options per package

• sdGlobalHints :: !(Map PackageName (Maybe Version))

  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.

Instances

Eq SnapshotDef

Methods

(==) :: SnapshotDef -> SnapshotDef -> Bool

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

Data SnapshotDef

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SnapshotDef -> c SnapshotDef

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SnapshotDef

toConstr :: SnapshotDef -> Constr

dataTypeOf :: SnapshotDef -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SnapshotDef)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SnapshotDef)

gmapT :: (forall b. Data b => b -> b) -> SnapshotDef -> SnapshotDef

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SnapshotDef -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SnapshotDef -> r

gmapQ :: (forall d. Data d => d -> u) -> SnapshotDef -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SnapshotDef -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SnapshotDef -> m SnapshotDef

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SnapshotDef -> m SnapshotDef

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SnapshotDef -> m SnapshotDef

Show SnapshotDef

Methods

showsPrec :: Int -> SnapshotDef -> ShowS

show :: SnapshotDef -> String

showList :: [SnapshotDef] -> ShowS

Generic SnapshotDef

Associated Types

type Rep SnapshotDef :: * -> *

Methods

from :: SnapshotDef -> Rep SnapshotDef x

to :: Rep SnapshotDef x -> SnapshotDef

NFData SnapshotDef

Methods

rnf :: SnapshotDef -> ()

Store SnapshotDef

Methods

size :: Size SnapshotDef

poke :: SnapshotDef -> Poke ()

peek :: Peek SnapshotDef

type Rep SnapshotDef

type Rep SnapshotDef = D1 * (MetaData "SnapshotDef" "Stack.Types.BuildPlan" "stack-1.6.3.1-Lx3ZSkZ5nhFFvhJafO580B" False) (C1 * (MetaCons "SnapshotDef" PrefixI True) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "sdParent") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Either (CompilerVersion CVWanted) SnapshotDef))) (S1 * (MetaSel (Just Symbol "sdResolver") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * LoadedResolver))) ((:*:) * (S1 * (MetaSel (Just Symbol "sdResolverName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "sdLocations") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * [PackageLocationIndex Subdirs])))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "sdDropPackages") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Set PackageName))) (S1 * (MetaSel (Just Symbol "sdFlags") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map PackageName (Map FlagName Bool))))) ((:*:) * (S1 * (MetaSel (Just Symbol "sdHidden") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map PackageName Bool))) ((:*:) * (S1 * (MetaSel (Just Symbol "sdGhcOptions") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map PackageName [Text]))) (S1 * (MetaSel (Just Symbol "sdGlobalHints") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map PackageName (Maybe Version)))))))))

snapshotDefVC :: VersionConfig SnapshotDef

sdRawPathName :: SnapshotDef -> String

A relative file path including a unique string for the given snapshot.

data PackageLocation subdirs

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.

Constructors

PLFilePath !FilePath

Note that we use FilePath and not Paths. The goal is: first parse the value raw, and then use canonicalizePath and parseAbsDir.

PLArchive !(Archive subdirs)

PLRepo !(Repo subdirs)

Stored in a source control repository

Instances

Functor PackageLocation

Methods

fmap :: (a -> b) -> PackageLocation a -> PackageLocation b

(<$) :: a -> PackageLocation b -> PackageLocation a

Eq subdirs => Eq (PackageLocation subdirs)

Methods

(==) :: PackageLocation subdirs -> PackageLocation subdirs -> Bool

(/=) :: PackageLocation subdirs -> PackageLocation subdirs -> Bool

Data subdirs => Data (PackageLocation subdirs)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PackageLocation subdirs -> c (PackageLocation subdirs)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (PackageLocation subdirs)

toConstr :: PackageLocation subdirs -> Constr

dataTypeOf :: PackageLocation subdirs -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (PackageLocation subdirs))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (PackageLocation subdirs))

gmapT :: (forall b. Data b => b -> b) -> PackageLocation subdirs -> PackageLocation subdirs

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PackageLocation subdirs -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PackageLocation subdirs -> r

gmapQ :: (forall d. Data d => d -> u) -> PackageLocation subdirs -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PackageLocation subdirs -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PackageLocation subdirs -> m (PackageLocation subdirs)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageLocation subdirs -> m (PackageLocation subdirs)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageLocation subdirs -> m (PackageLocation subdirs)

Ord subdirs => Ord (PackageLocation subdirs)

Methods

compare :: PackageLocation subdirs -> PackageLocation subdirs -> Ordering

(<) :: PackageLocation subdirs -> PackageLocation subdirs -> Bool

(<=) :: PackageLocation subdirs -> PackageLocation subdirs -> Bool

(>) :: PackageLocation subdirs -> PackageLocation subdirs -> Bool

(>=) :: PackageLocation subdirs -> PackageLocation subdirs -> Bool

max :: PackageLocation subdirs -> PackageLocation subdirs -> PackageLocation subdirs

min :: PackageLocation subdirs -> PackageLocation subdirs -> PackageLocation subdirs

Show subdirs => Show (PackageLocation subdirs)

Methods

showsPrec :: Int -> PackageLocation subdirs -> ShowS

show :: PackageLocation subdirs -> String

showList :: [PackageLocation subdirs] -> ShowS

Generic (PackageLocation subdirs)

Associated Types

type Rep (PackageLocation subdirs) :: * -> *

Methods

from :: PackageLocation subdirs -> Rep (PackageLocation subdirs) x

to :: Rep (PackageLocation subdirs) x -> PackageLocation subdirs

NFData a => NFData (PackageLocation a)

Methods

rnf :: PackageLocation a -> ()

(~) * subdirs Subdirs => ToJSON (PackageLocation subdirs)

Methods

toJSON :: PackageLocation subdirs -> Value

toEncoding :: PackageLocation subdirs -> Encoding

toJSONList :: [PackageLocation subdirs] -> Value

toEncodingList :: [PackageLocation subdirs] -> Encoding

(~) * subdirs Subdirs => FromJSON (WithJSONWarnings (PackageLocation subdirs))

Methods

parseJSON :: Value -> Parser (WithJSONWarnings (PackageLocation subdirs))

parseJSONList :: Value -> Parser [WithJSONWarnings (PackageLocation subdirs)]

Store a => Store (PackageLocation a)

Methods

size :: Size (PackageLocation a)

poke :: PackageLocation a -> Poke ()

peek :: Peek (PackageLocation a)

type Rep (PackageLocation subdirs)

type Rep (PackageLocation subdirs) = D1 * (MetaData "PackageLocation" "Stack.Types.BuildPlan" "stack-1.6.3.1-Lx3ZSkZ5nhFFvhJafO580B" False) ((:+:) * (C1 * (MetaCons "PLFilePath" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * FilePath))) ((:+:) * (C1 * (MetaCons "PLArchive" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Archive subdirs)))) (C1 * (MetaCons "PLRepo" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Repo subdirs))))))

data PackageLocationIndex 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.

Constructors

PLIndex !PackageIdentifierRevision

Grab the package from the package index with the given version and (optional) cabal file info to specify the correct revision.

PLOther !(PackageLocation subdirs)

Instances

Functor PackageLocationIndex

Methods

fmap :: (a -> b) -> PackageLocationIndex a -> PackageLocationIndex b

(<$) :: a -> PackageLocationIndex b -> PackageLocationIndex a

Eq subdirs => Eq (PackageLocationIndex subdirs)

Methods

(==) :: PackageLocationIndex subdirs -> PackageLocationIndex subdirs -> Bool

(/=) :: PackageLocationIndex subdirs -> PackageLocationIndex subdirs -> Bool

Data subdirs => Data (PackageLocationIndex subdirs)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PackageLocationIndex subdirs -> c (PackageLocationIndex subdirs)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (PackageLocationIndex subdirs)

toConstr :: PackageLocationIndex subdirs -> Constr

dataTypeOf :: PackageLocationIndex subdirs -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (PackageLocationIndex subdirs))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (PackageLocationIndex subdirs))

gmapT :: (forall b. Data b => b -> b) -> PackageLocationIndex subdirs -> PackageLocationIndex subdirs

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PackageLocationIndex subdirs -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PackageLocationIndex subdirs -> r

gmapQ :: (forall d. Data d => d -> u) -> PackageLocationIndex subdirs -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PackageLocationIndex subdirs -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PackageLocationIndex subdirs -> m (PackageLocationIndex subdirs)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageLocationIndex subdirs -> m (PackageLocationIndex subdirs)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageLocationIndex subdirs -> m (PackageLocationIndex subdirs)

Ord subdirs => Ord (PackageLocationIndex subdirs)

Methods

compare :: PackageLocationIndex subdirs -> PackageLocationIndex subdirs -> Ordering

(<) :: PackageLocationIndex subdirs -> PackageLocationIndex subdirs -> Bool

(<=) :: PackageLocationIndex subdirs -> PackageLocationIndex subdirs -> Bool

(>) :: PackageLocationIndex subdirs -> PackageLocationIndex subdirs -> Bool

(>=) :: PackageLocationIndex subdirs -> PackageLocationIndex subdirs -> Bool

max :: PackageLocationIndex subdirs -> PackageLocationIndex subdirs -> PackageLocationIndex subdirs

min :: PackageLocationIndex subdirs -> PackageLocationIndex subdirs -> PackageLocationIndex subdirs

Show subdirs => Show (PackageLocationIndex subdirs)

Methods

showsPrec :: Int -> PackageLocationIndex subdirs -> ShowS

show :: PackageLocationIndex subdirs -> String

showList :: [PackageLocationIndex subdirs] -> ShowS

Generic (PackageLocationIndex subdirs)

Associated Types

type Rep (PackageLocationIndex subdirs) :: * -> *

Methods

from :: PackageLocationIndex subdirs -> Rep (PackageLocationIndex subdirs) x

to :: Rep (PackageLocationIndex subdirs) x -> PackageLocationIndex subdirs

NFData a => NFData (PackageLocationIndex a)

Methods

rnf :: PackageLocationIndex a -> ()

(~) * subdirs Subdirs => ToJSON (PackageLocationIndex subdirs)

Methods

toJSON :: PackageLocationIndex subdirs -> Value

toEncoding :: PackageLocationIndex subdirs -> Encoding

toJSONList :: [PackageLocationIndex subdirs] -> Value

toEncodingList :: [PackageLocationIndex subdirs] -> Encoding

(~) * subdirs Subdirs => FromJSON (WithJSONWarnings (PackageLocationIndex subdirs))

Methods

parseJSON :: Value -> Parser (WithJSONWarnings (PackageLocationIndex subdirs))

parseJSONList :: Value -> Parser [WithJSONWarnings (PackageLocationIndex subdirs)]

Store a => Store (PackageLocationIndex a)

Methods

size :: Size (PackageLocationIndex a)

poke :: PackageLocationIndex a -> Poke ()

peek :: Peek (PackageLocationIndex a)

type Rep (PackageLocationIndex subdirs)

type Rep (PackageLocationIndex subdirs) = D1 * (MetaData "PackageLocationIndex" "Stack.Types.BuildPlan" "stack-1.6.3.1-Lx3ZSkZ5nhFFvhJafO580B" False) ((:+:) * (C1 * (MetaCons "PLIndex" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * PackageIdentifierRevision))) (C1 * (MetaCons "PLOther" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (PackageLocation subdirs)))))

data RepoType

The type of a source control repository.

Constructors

RepoGit

RepoHg

Instances

Eq RepoType

Methods

(==) :: RepoType -> RepoType -> Bool

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

Data RepoType

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RepoType -> c RepoType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RepoType

toConstr :: RepoType -> Constr

dataTypeOf :: RepoType -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RepoType)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RepoType)

gmapT :: (forall b. Data b => b -> b) -> RepoType -> RepoType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RepoType -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RepoType -> r

gmapQ :: (forall d. Data d => d -> u) -> RepoType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RepoType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RepoType -> m RepoType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RepoType -> m RepoType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RepoType -> m RepoType

Ord RepoType

Methods

compare :: RepoType -> RepoType -> Ordering

(<) :: RepoType -> RepoType -> Bool

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

(>) :: RepoType -> RepoType -> Bool

(>=) :: RepoType -> RepoType -> Bool

max :: RepoType -> RepoType -> RepoType

min :: RepoType -> RepoType -> RepoType

Show RepoType

Methods

showsPrec :: Int -> RepoType -> ShowS

show :: RepoType -> String

showList :: [RepoType] -> ShowS

Generic RepoType

Associated Types

type Rep RepoType :: * -> *

Methods

from :: RepoType -> Rep RepoType x

to :: Rep RepoType x -> RepoType

NFData RepoType

Methods

rnf :: RepoType -> ()

Store RepoType

Methods

size :: Size RepoType

poke :: RepoType -> Poke ()

peek :: Peek RepoType

type Rep RepoType

type Rep RepoType = D1 * (MetaData "RepoType" "Stack.Types.BuildPlan" "stack-1.6.3.1-Lx3ZSkZ5nhFFvhJafO580B" False) ((:+:) * (C1 * (MetaCons "RepoGit" PrefixI False) (U1 *)) (C1 * (MetaCons "RepoHg" PrefixI False) (U1 *)))

data Subdirs

Constructors

DefaultSubdirs

ExplicitSubdirs ![FilePath]

Instances

Eq Subdirs

Methods

(==) :: Subdirs -> Subdirs -> Bool

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

Data Subdirs

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Subdirs -> c Subdirs

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Subdirs

toConstr :: Subdirs -> Constr

dataTypeOf :: Subdirs -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Subdirs)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Subdirs)

gmapT :: (forall b. Data b => b -> b) -> Subdirs -> Subdirs

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Subdirs -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Subdirs -> r

gmapQ :: (forall d. Data d => d -> u) -> Subdirs -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Subdirs -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Subdirs -> m Subdirs

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Subdirs -> m Subdirs

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Subdirs -> m Subdirs

Show Subdirs

Methods

showsPrec :: Int -> Subdirs -> ShowS

show :: Subdirs -> String

showList :: [Subdirs] -> ShowS

Generic Subdirs

Associated Types

type Rep Subdirs :: * -> *

Methods

from :: Subdirs -> Rep Subdirs x

to :: Rep Subdirs x -> Subdirs

NFData Subdirs

Methods

rnf :: Subdirs -> ()

FromJSON Subdirs

Methods

parseJSON :: Value -> Parser Subdirs

parseJSONList :: Value -> Parser [Subdirs]

Store Subdirs

Methods

size :: Size Subdirs

poke :: Subdirs -> Poke ()

peek :: Peek Subdirs

type Rep Subdirs

type Rep Subdirs = D1 * (MetaData "Subdirs" "Stack.Types.BuildPlan" "stack-1.6.3.1-Lx3ZSkZ5nhFFvhJafO580B" False) ((:+:) * (C1 * (MetaCons "DefaultSubdirs" PrefixI False) (U1 *)) (C1 * (MetaCons "ExplicitSubdirs" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * [FilePath]))))

data Repo subdirs

Information on packages stored in a source control repository.

Constructors

Repo

Fields

• repoUrl :: !Text
• repoCommit :: !Text
• repoType :: !RepoType
• repoSubdirs :: !subdirs

Instances

Functor Repo

Methods

fmap :: (a -> b) -> Repo a -> Repo b

(<$) :: a -> Repo b -> Repo a

Eq subdirs => Eq (Repo subdirs)

Methods

(==) :: Repo subdirs -> Repo subdirs -> Bool

(/=) :: Repo subdirs -> Repo subdirs -> Bool

Data subdirs => Data (Repo subdirs)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Repo subdirs -> c (Repo subdirs)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Repo subdirs)

toConstr :: Repo subdirs -> Constr

dataTypeOf :: Repo subdirs -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Repo subdirs))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Repo subdirs))

gmapT :: (forall b. Data b => b -> b) -> Repo subdirs -> Repo subdirs

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Repo subdirs -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Repo subdirs -> r

gmapQ :: (forall d. Data d => d -> u) -> Repo subdirs -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Repo subdirs -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Repo subdirs -> m (Repo subdirs)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Repo subdirs -> m (Repo subdirs)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Repo subdirs -> m (Repo subdirs)

Ord subdirs => Ord (Repo subdirs)

Methods

compare :: Repo subdirs -> Repo subdirs -> Ordering

(<) :: Repo subdirs -> Repo subdirs -> Bool

(<=) :: Repo subdirs -> Repo subdirs -> Bool

(>) :: Repo subdirs -> Repo subdirs -> Bool

(>=) :: Repo subdirs -> Repo subdirs -> Bool

max :: Repo subdirs -> Repo subdirs -> Repo subdirs

min :: Repo subdirs -> Repo subdirs -> Repo subdirs

Show subdirs => Show (Repo subdirs)

Methods

showsPrec :: Int -> Repo subdirs -> ShowS

show :: Repo subdirs -> String

showList :: [Repo subdirs] -> ShowS

Generic (Repo subdirs)

Associated Types

type Rep (Repo subdirs) :: * -> *

Methods

from :: Repo subdirs -> Rep (Repo subdirs) x

to :: Rep (Repo subdirs) x -> Repo subdirs

NFData a => NFData (Repo a)

Methods

rnf :: Repo a -> ()

Store a => Store (Repo a)

Methods

size :: Size (Repo a)

poke :: Repo a -> Poke ()

peek :: Peek (Repo a)

type Rep (Repo subdirs)

type Rep (Repo subdirs) = D1 * (MetaData "Repo" "Stack.Types.BuildPlan" "stack-1.6.3.1-Lx3ZSkZ5nhFFvhJafO580B" False) (C1 * (MetaCons "Repo" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "repoUrl") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "repoCommit") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Text))) ((:*:) * (S1 * (MetaSel (Just Symbol "repoType") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * RepoType)) (S1 * (MetaSel (Just Symbol "repoSubdirs") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * subdirs)))))

data Archive 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.

Constructors

Archive

Fields

• archiveUrl :: !Text
• archiveSubdirs :: !subdirs
• archiveHash :: !(Maybe StaticSHA256)

Instances

Functor Archive

Methods

fmap :: (a -> b) -> Archive a -> Archive b

(<$) :: a -> Archive b -> Archive a

Eq subdirs => Eq (Archive subdirs)

Methods

(==) :: Archive subdirs -> Archive subdirs -> Bool

(/=) :: Archive subdirs -> Archive subdirs -> Bool

Data subdirs => Data (Archive subdirs)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Archive subdirs -> c (Archive subdirs)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Archive subdirs)

toConstr :: Archive subdirs -> Constr

dataTypeOf :: Archive subdirs -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Archive subdirs))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Archive subdirs))

gmapT :: (forall b. Data b => b -> b) -> Archive subdirs -> Archive subdirs

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Archive subdirs -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Archive subdirs -> r

gmapQ :: (forall d. Data d => d -> u) -> Archive subdirs -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Archive subdirs -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Archive subdirs -> m (Archive subdirs)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Archive subdirs -> m (Archive subdirs)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Archive subdirs -> m (Archive subdirs)

Ord subdirs => Ord (Archive subdirs)

Methods

compare :: Archive subdirs -> Archive subdirs -> Ordering

(<) :: Archive subdirs -> Archive subdirs -> Bool

(<=) :: Archive subdirs -> Archive subdirs -> Bool

(>) :: Archive subdirs -> Archive subdirs -> Bool

(>=) :: Archive subdirs -> Archive subdirs -> Bool

max :: Archive subdirs -> Archive subdirs -> Archive subdirs

min :: Archive subdirs -> Archive subdirs -> Archive subdirs

Show subdirs => Show (Archive subdirs)

Methods

showsPrec :: Int -> Archive subdirs -> ShowS

show :: Archive subdirs -> String

showList :: [Archive subdirs] -> ShowS

Generic (Archive subdirs)

Associated Types

type Rep (Archive subdirs) :: * -> *

Methods

from :: Archive subdirs -> Rep (Archive subdirs) x

to :: Rep (Archive subdirs) x -> Archive subdirs

NFData a => NFData (Archive a)

Methods

rnf :: Archive a -> ()

Store a => Store (Archive a)

Methods

size :: Size (Archive a)

poke :: Archive a -> Poke ()

peek :: Peek (Archive a)

type Rep (Archive subdirs)

type Rep (Archive subdirs) = D1 * (MetaData "Archive" "Stack.Types.BuildPlan" "stack-1.6.3.1-Lx3ZSkZ5nhFFvhJafO580B" False) (C1 * (MetaCons "Archive" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "archiveUrl") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Text)) ((:*:) * (S1 * (MetaSel (Just Symbol "archiveSubdirs") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * subdirs)) (S1 * (MetaSel (Just Symbol "archiveHash") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe StaticSHA256))))))

newtype ExeName

Name of an executable.

Constructors

ExeName

Fields

• unExeName :: Text

Instances

Eq ExeName

Methods

(==) :: ExeName -> ExeName -> Bool

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

Data ExeName

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExeName -> c ExeName

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExeName

toConstr :: ExeName -> Constr

dataTypeOf :: ExeName -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ExeName)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExeName)

gmapT :: (forall b. Data b => b -> b) -> ExeName -> ExeName

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExeName -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExeName -> r

gmapQ :: (forall d. Data d => d -> u) -> ExeName -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ExeName -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExeName -> m ExeName

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExeName -> m ExeName

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExeName -> m ExeName

Ord ExeName

Methods

compare :: ExeName -> ExeName -> Ordering

(<) :: ExeName -> ExeName -> Bool

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

(>) :: ExeName -> ExeName -> Bool

(>=) :: ExeName -> ExeName -> Bool

max :: ExeName -> ExeName -> ExeName

min :: ExeName -> ExeName -> ExeName

Show ExeName

Methods

showsPrec :: Int -> ExeName -> ShowS

show :: ExeName -> String

showList :: [ExeName] -> ShowS

IsString ExeName

Methods

fromString :: String -> ExeName

Generic ExeName

Associated Types

type Rep ExeName :: * -> *

Methods

from :: ExeName -> Rep ExeName x

to :: Rep ExeName x -> ExeName

NFData ExeName

Methods

rnf :: ExeName -> ()

Hashable ExeName

Methods

hashWithSalt :: Int -> ExeName -> Int

hash :: ExeName -> Int

Store ExeName

Methods

size :: Size ExeName

poke :: ExeName -> Poke ()

peek :: Peek ExeName

type Rep ExeName

type Rep ExeName = D1 * (MetaData "ExeName" "Stack.Types.BuildPlan" "stack-1.6.3.1-Lx3ZSkZ5nhFFvhJafO580B" True) (C1 * (MetaCons "ExeName" PrefixI True) (S1 * (MetaSel (Just Symbol "unExeName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

data LoadedSnapshot

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.

Constructors

LoadedSnapshot

Fields

• lsCompilerVersion :: !(CompilerVersion CVActual)
• lsGlobals :: !(Map PackageName (LoadedPackageInfo GhcPkgId))
• lsPackages :: !(Map PackageName (LoadedPackageInfo (PackageLocationIndex FilePath)))

Instances

Eq LoadedSnapshot

Methods

(==) :: LoadedSnapshot -> LoadedSnapshot -> Bool

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

Data LoadedSnapshot

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LoadedSnapshot -> c LoadedSnapshot

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LoadedSnapshot

toConstr :: LoadedSnapshot -> Constr

dataTypeOf :: LoadedSnapshot -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c LoadedSnapshot)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LoadedSnapshot)

gmapT :: (forall b. Data b => b -> b) -> LoadedSnapshot -> LoadedSnapshot

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LoadedSnapshot -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LoadedSnapshot -> r

gmapQ :: (forall d. Data d => d -> u) -> LoadedSnapshot -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LoadedSnapshot -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LoadedSnapshot -> m LoadedSnapshot

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LoadedSnapshot -> m LoadedSnapshot

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LoadedSnapshot -> m LoadedSnapshot

Show LoadedSnapshot

Methods

showsPrec :: Int -> LoadedSnapshot -> ShowS

show :: LoadedSnapshot -> String

showList :: [LoadedSnapshot] -> ShowS

Generic LoadedSnapshot

Associated Types

type Rep LoadedSnapshot :: * -> *

Methods

from :: LoadedSnapshot -> Rep LoadedSnapshot x

to :: Rep LoadedSnapshot x -> LoadedSnapshot

NFData LoadedSnapshot

Methods

rnf :: LoadedSnapshot -> ()

Store LoadedSnapshot

Methods

size :: Size LoadedSnapshot

poke :: LoadedSnapshot -> Poke ()

peek :: Peek LoadedSnapshot

type Rep LoadedSnapshot

type Rep LoadedSnapshot = D1 * (MetaData "LoadedSnapshot" "Stack.Types.BuildPlan" "stack-1.6.3.1-Lx3ZSkZ5nhFFvhJafO580B" False) (C1 * (MetaCons "LoadedSnapshot" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "lsCompilerVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (CompilerVersion CVActual))) ((:*:) * (S1 * (MetaSel (Just Symbol "lsGlobals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map PackageName (LoadedPackageInfo GhcPkgId)))) (S1 * (MetaSel (Just Symbol "lsPackages") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map PackageName (LoadedPackageInfo (PackageLocationIndex FilePath))))))))

loadedSnapshotVC :: VersionConfig LoadedSnapshot

data LoadedPackageInfo loc

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.

Constructors

LoadedPackageInfo

Fields

• lpiVersion :: !Version

  This must match the version specified within rpiDef.

• lpiLocation :: !loc

  Where to get the package from. This could be a few different things:

  • For a global package, it will be the GhcPkgId. (If we end up needing to rebuild this because we've changed a dependency, we will take it from the package index with no CabalFileInfo.
  • For a dependency, it will be a PackageLocation.
  • For a project package, it will be a Path Abs Dir.
• lpiFlags :: !(Map FlagName Bool)

  Flags to build this package with.

• lpiGhcOptions :: ![Text]

  GHC options to use when building this package.

• lpiPackageDeps :: !(Map PackageName VersionIntervals)

  All packages which must be builtcopiedregistered before this package.

• lpiProvidedExes :: !(Set ExeName)

  The names of executables provided by this package, for performing build tool lookups.

• lpiNeededExes :: !(Map ExeName VersionIntervals)

  Executables needed by this package.

• lpiExposedModules :: !(Set ModuleName)

  Modules exposed by this package's library

• lpiHide :: !Bool

  Should this package be hidden in the database. Affects the script interpreter's module name import parser.

Instances

Functor LoadedPackageInfo

Methods

fmap :: (a -> b) -> LoadedPackageInfo a -> LoadedPackageInfo b

(<$) :: a -> LoadedPackageInfo b -> LoadedPackageInfo a

Eq loc => Eq (LoadedPackageInfo loc)

Methods

(==) :: LoadedPackageInfo loc -> LoadedPackageInfo loc -> Bool

(/=) :: LoadedPackageInfo loc -> LoadedPackageInfo loc -> Bool

Data loc => Data (LoadedPackageInfo loc)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LoadedPackageInfo loc -> c (LoadedPackageInfo loc)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (LoadedPackageInfo loc)

toConstr :: LoadedPackageInfo loc -> Constr

dataTypeOf :: LoadedPackageInfo loc -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (LoadedPackageInfo loc))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (LoadedPackageInfo loc))

gmapT :: (forall b. Data b => b -> b) -> LoadedPackageInfo loc -> LoadedPackageInfo loc

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LoadedPackageInfo loc -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LoadedPackageInfo loc -> r

gmapQ :: (forall d. Data d => d -> u) -> LoadedPackageInfo loc -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LoadedPackageInfo loc -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LoadedPackageInfo loc -> m (LoadedPackageInfo loc)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LoadedPackageInfo loc -> m (LoadedPackageInfo loc)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LoadedPackageInfo loc -> m (LoadedPackageInfo loc)

Show loc => Show (LoadedPackageInfo loc)

Methods

showsPrec :: Int -> LoadedPackageInfo loc -> ShowS

show :: LoadedPackageInfo loc -> String

showList :: [LoadedPackageInfo loc] -> ShowS

Generic (LoadedPackageInfo loc)

Associated Types

type Rep (LoadedPackageInfo loc) :: * -> *

Methods

from :: LoadedPackageInfo loc -> Rep (LoadedPackageInfo loc) x

to :: Rep (LoadedPackageInfo loc) x -> LoadedPackageInfo loc

NFData a => NFData (LoadedPackageInfo a)

Methods

rnf :: LoadedPackageInfo a -> ()

Store a => Store (LoadedPackageInfo a)

Methods

size :: Size (LoadedPackageInfo a)

poke :: LoadedPackageInfo a -> Poke ()

peek :: Peek (LoadedPackageInfo a)

type Rep (LoadedPackageInfo loc)

type Rep (LoadedPackageInfo loc) = D1 * (MetaData "LoadedPackageInfo" "Stack.Types.BuildPlan" "stack-1.6.3.1-Lx3ZSkZ5nhFFvhJafO580B" False) (C1 * (MetaCons "LoadedPackageInfo" PrefixI True) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "lpiVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Version)) (S1 * (MetaSel (Just Symbol "lpiLocation") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * loc))) ((:*:) * (S1 * (MetaSel (Just Symbol "lpiFlags") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map FlagName Bool))) (S1 * (MetaSel (Just Symbol "lpiGhcOptions") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * [Text])))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "lpiPackageDeps") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map PackageName VersionIntervals))) (S1 * (MetaSel (Just Symbol "lpiProvidedExes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Set ExeName)))) ((:*:) * (S1 * (MetaSel (Just Symbol "lpiNeededExes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Map ExeName VersionIntervals))) ((:*:) * (S1 * (MetaSel (Just Symbol "lpiExposedModules") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Set ModuleName))) (S1 * (MetaSel (Just Symbol "lpiHide") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Bool)))))))

newtype ModuleName

Constructors

ModuleName

Fields

• unModuleName :: ByteString

Instances

Eq ModuleName

Methods

(==) :: ModuleName -> ModuleName -> Bool

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

Data ModuleName

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModuleName -> c ModuleName

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModuleName

toConstr :: ModuleName -> Constr

dataTypeOf :: ModuleName -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ModuleName)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModuleName)

gmapT :: (forall b. Data b => b -> b) -> ModuleName -> ModuleName

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModuleName -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModuleName -> r

gmapQ :: (forall d. Data d => d -> u) -> ModuleName -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ModuleName -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModuleName -> m ModuleName

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleName -> m ModuleName

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleName -> m ModuleName

Ord ModuleName

Methods

compare :: ModuleName -> ModuleName -> Ordering

(<) :: ModuleName -> ModuleName -> Bool

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

(>) :: ModuleName -> ModuleName -> Bool

(>=) :: ModuleName -> ModuleName -> Bool

max :: ModuleName -> ModuleName -> ModuleName

min :: ModuleName -> ModuleName -> ModuleName

Show ModuleName

Methods

showsPrec :: Int -> ModuleName -> ShowS

show :: ModuleName -> String

showList :: [ModuleName] -> ShowS

Generic ModuleName

Associated Types

type Rep ModuleName :: * -> *

Methods

from :: ModuleName -> Rep ModuleName x

to :: Rep ModuleName x -> ModuleName

NFData ModuleName

Methods

rnf :: ModuleName -> ()

Store ModuleName

Methods

size :: Size ModuleName

poke :: ModuleName -> Poke ()

peek :: Peek ModuleName

type Rep ModuleName

type Rep ModuleName = D1 * (MetaData "ModuleName" "Stack.Types.BuildPlan" "stack-1.6.3.1-Lx3ZSkZ5nhFFvhJafO580B" True) (C1 * (MetaCons "ModuleName" PrefixI True) (S1 * (MetaSel (Just Symbol "unModuleName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ByteString)))

fromCabalModuleName :: ModuleName -> ModuleName

newtype ModuleInfo

Constructors

ModuleInfo

Fields

• miModules :: Map ModuleName (Set PackageName)

Instances

Eq ModuleInfo

Methods

(==) :: ModuleInfo -> ModuleInfo -> Bool

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

Data ModuleInfo

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModuleInfo -> c ModuleInfo

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModuleInfo

toConstr :: ModuleInfo -> Constr

dataTypeOf :: ModuleInfo -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ModuleInfo)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModuleInfo)

gmapT :: (forall b. Data b => b -> b) -> ModuleInfo -> ModuleInfo

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModuleInfo -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModuleInfo -> r

gmapQ :: (forall d. Data d => d -> u) -> ModuleInfo -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ModuleInfo -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModuleInfo -> m ModuleInfo

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleInfo -> m ModuleInfo

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleInfo -> m ModuleInfo

Ord ModuleInfo

Methods

compare :: ModuleInfo -> ModuleInfo -> Ordering

(<) :: ModuleInfo -> ModuleInfo -> Bool

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

(>) :: ModuleInfo -> ModuleInfo -> Bool

(>=) :: ModuleInfo -> ModuleInfo -> Bool

max :: ModuleInfo -> ModuleInfo -> ModuleInfo

min :: ModuleInfo -> ModuleInfo -> ModuleInfo

Show ModuleInfo

Methods

showsPrec :: Int -> ModuleInfo -> ShowS

show :: ModuleInfo -> String

showList :: [ModuleInfo] -> ShowS

Generic ModuleInfo

Associated Types

type Rep ModuleInfo :: * -> *

Methods

from :: ModuleInfo -> Rep ModuleInfo x

to :: Rep ModuleInfo x -> ModuleInfo

Monoid ModuleInfo

Methods

mempty :: ModuleInfo

mappend :: ModuleInfo -> ModuleInfo -> ModuleInfo

mconcat :: [ModuleInfo] -> ModuleInfo

NFData ModuleInfo

Methods

rnf :: ModuleInfo -> ()

Store ModuleInfo

Methods

size :: Size ModuleInfo

poke :: ModuleInfo -> Poke ()

peek :: Peek ModuleInfo

type Rep ModuleInfo

type Rep ModuleInfo = D1 * (MetaData "ModuleInfo" "Stack.Types.BuildPlan" "stack-1.6.3.1-Lx3ZSkZ5nhFFvhJafO580B" True) (C1 * (MetaCons "ModuleInfo" PrefixI True) (S1 * (MetaSel (Just Symbol "miModules") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Map ModuleName (Set PackageName)))))

moduleInfoVC :: VersionConfig ModuleInfo

setCompilerVersion :: CompilerVersion CVWanted -> SnapshotDef -> SnapshotDef

Modify the wanted compiler version in this snapshot. This is used when overriding via the compiler value in a custom snapshot or stack.yaml file. We do _not_ need to modify the snapshot's hash for this: all binary caches of a snapshot are stored in a filepath that encodes the actual compiler version in addition to the hash. Therefore, modifications here will not lead to any invalid data.

sdWantedCompilerVersion :: SnapshotDef -> CompilerVersion CVWanted

Determined the desired compiler version for this SnapshotDef.