stack-1.4.0: The Haskell Tool Stack

Safe HaskellNone
LanguageHaskell2010

Stack.Types.BuildPlan

Contents

Description

Shared types for various stackage packages.

Synopsis

Types

newtype ExeName Source #

Name of an executable.

Constructors

ExeName 

Fields

Instances

Eq ExeName Source # 

Methods

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

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

Data ExeName Source # 

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 Source # 
Show ExeName Source # 
IsString ExeName Source # 

Methods

fromString :: String -> ExeName #

Generic ExeName Source # 

Associated Types

type Rep ExeName :: * -> * #

Methods

from :: ExeName -> Rep ExeName x #

to :: Rep ExeName x -> ExeName #

Hashable ExeName Source # 

Methods

hashWithSalt :: Int -> ExeName -> Int #

hash :: ExeName -> Int #

ToJSON ExeName Source # 
ToJSONKey ExeName Source # 
FromJSON ExeName Source # 
FromJSONKey ExeName Source # 
NFData ExeName Source # 

Methods

rnf :: ExeName -> () #

Store ExeName Source # 
type Rep ExeName Source # 
type Rep ExeName = D1 (MetaData "ExeName" "Stack.Types.BuildPlan" "stack-1.4.0-4jVgPk96892TH5DsjZdsx" True) (C1 (MetaCons "ExeName" PrefixI True) (S1 (MetaSel (Just Symbol "unExeName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data SimpleDesc Source #

A simplified package description that tracks:

  • Package dependencies
  • Build tool dependencies
  • Provided executables

It has fully resolved all conditionals

Constructors

SimpleDesc 

Fields

data Snapshots Source #

Most recent Nightly and newest LTS version per major release.

Constructors

Snapshots 

data Component Source #

Instances

data SnapName Source #

The name of an LTS Haskell or Stackage Nightly snapshot.

Constructors

LTS !Int !Int 
Nightly !Day 

data MiniBuildPlan Source #

A simplified version of the BuildPlan + cabal file.

Instances

Eq MiniBuildPlan Source # 
Data MiniBuildPlan Source # 

Methods

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

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

toConstr :: MiniBuildPlan -> Constr #

dataTypeOf :: MiniBuildPlan -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> MiniBuildPlan -> MiniBuildPlan #

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

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

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

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

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

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

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

Show MiniBuildPlan Source # 
Generic MiniBuildPlan Source # 

Associated Types

type Rep MiniBuildPlan :: * -> * #

NFData MiniBuildPlan Source # 

Methods

rnf :: MiniBuildPlan -> () #

Store MiniBuildPlan Source # 
type Rep MiniBuildPlan Source # 
type Rep MiniBuildPlan = D1 (MetaData "MiniBuildPlan" "Stack.Types.BuildPlan" "stack-1.4.0-4jVgPk96892TH5DsjZdsx" False) (C1 (MetaCons "MiniBuildPlan" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "mbpCompilerVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 CompilerVersion)) (S1 (MetaSel (Just Symbol "mbpPackages") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Map PackageName MiniPackageInfo)))))

data MiniPackageInfo Source #

Information on a single package for the MiniBuildPlan.

Constructors

MiniPackageInfo 

Fields

Instances

Eq MiniPackageInfo Source # 
Data MiniPackageInfo Source # 

Methods

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

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

toConstr :: MiniPackageInfo -> Constr #

dataTypeOf :: MiniPackageInfo -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> MiniPackageInfo -> MiniPackageInfo #

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

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

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

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

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

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

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

Show MiniPackageInfo Source # 
Generic MiniPackageInfo Source # 
NFData MiniPackageInfo Source # 

Methods

rnf :: MiniPackageInfo -> () #

Store MiniPackageInfo Source # 
type Rep MiniPackageInfo Source # 

data CabalFileInfo Source #

Information on the contents of a cabal file

Constructors

CabalFileInfo 

Fields

newtype GitSHA1 Source #

Constructors

GitSHA1 ByteString 

Instances

Eq GitSHA1 Source # 

Methods

(==) :: GitSHA1 -> GitSHA1 -> Bool #

(/=) :: GitSHA1 -> GitSHA1 -> Bool #

Data GitSHA1 Source # 

Methods

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

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

toConstr :: GitSHA1 -> Constr #

dataTypeOf :: GitSHA1 -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> GitSHA1 -> GitSHA1 #

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

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

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

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

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

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

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

Ord GitSHA1 Source # 
Show GitSHA1 Source # 
Generic GitSHA1 Source # 

Associated Types

type Rep GitSHA1 :: * -> * #

Methods

from :: GitSHA1 -> Rep GitSHA1 x #

to :: Rep GitSHA1 x -> GitSHA1 #

Hashable GitSHA1 Source # 

Methods

hashWithSalt :: Int -> GitSHA1 -> Int #

hash :: GitSHA1 -> Int #

NFData GitSHA1 Source # 

Methods

rnf :: GitSHA1 -> () #

Store GitSHA1 Source # 
type Rep GitSHA1 Source # 
type Rep GitSHA1 = D1 (MetaData "GitSHA1" "Stack.Types.BuildPlan" "stack-1.4.0-4jVgPk96892TH5DsjZdsx" True) (C1 (MetaCons "GitSHA1" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

renderSnapName :: SnapName -> Text Source #

Convert a SnapName into its short representation, e.g. lts-2.8, nightly-2015-03-05.

parseSnapName :: MonadThrow m => Text -> m SnapName Source #

Parse the short representation of a SnapName.

newtype SnapshotHash Source #

Constructors

SnapshotHash 

Instances

Eq SnapshotHash Source # 
Show SnapshotHash Source # 
Generic SnapshotHash Source # 

Associated Types

type Rep SnapshotHash :: * -> * #

type Rep SnapshotHash Source # 
type Rep SnapshotHash = D1 (MetaData "SnapshotHash" "Stack.Types.BuildPlan" "stack-1.4.0-4jVgPk96892TH5DsjZdsx" True) (C1 (MetaCons "SnapshotHash" PrefixI True) (S1 (MetaSel (Just Symbol "unShapshotHash") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

newtype ModuleName Source #

Constructors

ModuleName 

Instances

Eq ModuleName Source # 
Data ModuleName Source # 

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 Source # 
Show ModuleName Source # 
Generic ModuleName Source # 

Associated Types

type Rep ModuleName :: * -> * #

NFData ModuleName Source # 

Methods

rnf :: ModuleName -> () #

Store ModuleName Source # 
type Rep ModuleName Source # 
type Rep ModuleName = D1 (MetaData "ModuleName" "Stack.Types.BuildPlan" "stack-1.4.0-4jVgPk96892TH5DsjZdsx" True) (C1 (MetaCons "ModuleName" PrefixI True) (S1 (MetaSel (Just Symbol "unModuleName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

data ModuleInfo Source #

Instances

Eq ModuleInfo Source # 
Data ModuleInfo Source # 

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 Source # 
Show ModuleInfo Source # 
Generic ModuleInfo Source # 

Associated Types

type Rep ModuleInfo :: * -> * #

NFData ModuleInfo Source # 

Methods

rnf :: ModuleInfo -> () #

Store ModuleInfo Source # 
type Rep ModuleInfo Source # 
type Rep ModuleInfo = D1 (MetaData "ModuleInfo" "Stack.Types.BuildPlan" "stack-1.4.0-4jVgPk96892TH5DsjZdsx" False) (C1 (MetaCons "ModuleInfo" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "miCorePackages") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Set PackageName))) (S1 (MetaSel (Just Symbol "miModules") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Map ModuleName (Set PackageName))))))