stack-1.5.1: 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.5.1-5e9OdzxbAr7JlXF5YdN55t" 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.5.1-5e9OdzxbAr7JlXF5YdN55t" 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 #

A SHA1 hash, but in Git format. This means that the contents are prefixed with blob and the size of the payload before hashing, as Git itself does.

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.5.1-5e9OdzxbAr7JlXF5YdN55t" 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.5.1-5e9OdzxbAr7JlXF5YdN55t" 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.5.1-5e9OdzxbAr7JlXF5YdN55t" 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.5.1-5e9OdzxbAr7JlXF5YdN55t" 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))))))