Cabal
CopyrightIsaac Jones 2003-2004
LicenseBSD3
Maintainercabal-devel@haskell.org
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Distribution.Simple.Compiler

Description

This should be a much more sophisticated abstraction than it is. Currently it's just a bit of data about the compiler, like its flavour and name and version. The reason it's just data is because currently it has to be in Read and Show so it can be saved along with the LocalBuildInfo. The only interesting bit of info it contains is a mapping between language extensions and compiler command line flags. This module also defines a PackageDB type which is used to refer to package databases. Most compilers only know about a single global package collection but GHC has a global and per-user one and it lets you create arbitrary other package databases. We do not yet fully support this latter feature.

Synopsis

Haskell implementations

data CompilerFlavor #

Constructors

GHC 
GHCJS 
NHC 
YHC 
Hugs 
HBC 
Helium 
JHC 
LHC 
UHC 
Eta 
MHS 
OtherCompiler String 

Instances

Instances details
Parsec CompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

parsec :: CabalParsing m => m CompilerFlavor

Pretty CompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

pretty :: CompilerFlavor -> Doc

prettyVersioned :: CabalSpecVersion -> CompilerFlavor -> Doc

Structured CompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

structure :: Proxy CompilerFlavor -> Structure

structureHash' :: Tagged CompilerFlavor MD5

Binary CompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

put :: CompilerFlavor -> Put #

get :: Get CompilerFlavor #

putList :: [CompilerFlavor] -> Put #

NFData CompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

rnf :: CompilerFlavor -> () #

Data CompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

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

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

toConstr :: CompilerFlavor -> Constr #

dataTypeOf :: CompilerFlavor -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic CompilerFlavor 
Instance details

Defined in Distribution.Compiler

Associated Types

type Rep CompilerFlavor 
Instance details

Defined in Distribution.Compiler

type Rep CompilerFlavor = D1 ('MetaData "CompilerFlavor" "Distribution.Compiler" "Cabal-syntax-3.16.0.0-inplace" 'False) (((C1 ('MetaCons "GHC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GHCJS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NHC" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "YHC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Hugs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HBC" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Helium" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "JHC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LHC" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "UHC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Eta" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MHS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherCompiler" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))))

Methods

from :: CompilerFlavor -> Rep CompilerFlavor x #

to :: Rep CompilerFlavor x -> CompilerFlavor #

Read CompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

readsPrec :: Int -> ReadS CompilerFlavor #

readList :: ReadS [CompilerFlavor] #

readPrec :: ReadPrec CompilerFlavor #

readListPrec :: ReadPrec [CompilerFlavor] #

Show CompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

showsPrec :: Int -> CompilerFlavor -> ShowS #

show :: CompilerFlavor -> String #

showList :: [CompilerFlavor] -> ShowS #

Eq CompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

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

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

Ord CompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

compare :: CompilerFlavor -> CompilerFlavor -> Ordering #

(<) :: CompilerFlavor -> CompilerFlavor -> Bool #

(<=) :: CompilerFlavor -> CompilerFlavor -> Bool #

(>) :: CompilerFlavor -> CompilerFlavor -> Bool #

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

max :: CompilerFlavor -> CompilerFlavor -> CompilerFlavor #

min :: CompilerFlavor -> CompilerFlavor -> CompilerFlavor #

Newtype (CompilerFlavor, VersionRange) TestedWith 
Instance details

Defined in Distribution.FieldGrammar.Newtypes

Methods

pack :: (CompilerFlavor, VersionRange) -> TestedWith

unpack :: TestedWith -> (CompilerFlavor, VersionRange)

type Rep CompilerFlavor 
Instance details

Defined in Distribution.Compiler

type Rep CompilerFlavor = D1 ('MetaData "CompilerFlavor" "Distribution.Compiler" "Cabal-syntax-3.16.0.0-inplace" 'False) (((C1 ('MetaCons "GHC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GHCJS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NHC" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "YHC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Hugs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HBC" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Helium" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "JHC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LHC" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "UHC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Eta" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MHS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherCompiler" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))))

data AbiTag #

Constructors

NoAbiTag 
AbiTag String 

Instances

Instances details
Parsec AbiTag 
Instance details

Defined in Distribution.Compiler

Methods

parsec :: CabalParsing m => m AbiTag

Pretty AbiTag 
Instance details

Defined in Distribution.Compiler

Methods

pretty :: AbiTag -> Doc

prettyVersioned :: CabalSpecVersion -> AbiTag -> Doc

Structured AbiTag 
Instance details

Defined in Distribution.Compiler

Methods

structure :: Proxy AbiTag -> Structure

structureHash' :: Tagged AbiTag MD5

Binary AbiTag 
Instance details

Defined in Distribution.Compiler

Methods

put :: AbiTag -> Put #

get :: Get AbiTag #

putList :: [AbiTag] -> Put #

Generic AbiTag 
Instance details

Defined in Distribution.Compiler

Associated Types

type Rep AbiTag 
Instance details

Defined in Distribution.Compiler

type Rep AbiTag = D1 ('MetaData "AbiTag" "Distribution.Compiler" "Cabal-syntax-3.16.0.0-inplace" 'False) (C1 ('MetaCons "NoAbiTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AbiTag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Methods

from :: AbiTag -> Rep AbiTag x #

to :: Rep AbiTag x -> AbiTag #

Read AbiTag 
Instance details

Defined in Distribution.Compiler

Methods

readsPrec :: Int -> ReadS AbiTag #

readList :: ReadS [AbiTag] #

readPrec :: ReadPrec AbiTag #

readListPrec :: ReadPrec [AbiTag] #

Show AbiTag 
Instance details

Defined in Distribution.Compiler

Methods

showsPrec :: Int -> AbiTag -> ShowS #

show :: AbiTag -> String #

showList :: [AbiTag] -> ShowS #

Eq AbiTag 
Instance details

Defined in Distribution.Compiler

Methods

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

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

type Rep AbiTag 
Instance details

Defined in Distribution.Compiler

type Rep AbiTag = D1 ('MetaData "AbiTag" "Distribution.Compiler" "Cabal-syntax-3.16.0.0-inplace" 'False) (C1 ('MetaCons "NoAbiTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AbiTag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data CompilerInfo #

Constructors

CompilerInfo 

Fields

Instances

Instances details
Binary CompilerInfo 
Instance details

Defined in Distribution.Compiler

Methods

put :: CompilerInfo -> Put #

get :: Get CompilerInfo #

putList :: [CompilerInfo] -> Put #

Generic CompilerInfo 
Instance details

Defined in Distribution.Compiler

Associated Types

type Rep CompilerInfo 
Instance details

Defined in Distribution.Compiler

type Rep CompilerInfo = D1 ('MetaData "CompilerInfo" "Distribution.Compiler" "Cabal-syntax-3.16.0.0-inplace" 'False) (C1 ('MetaCons "CompilerInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "compilerInfoId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompilerId) :*: S1 ('MetaSel ('Just "compilerInfoAbiTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AbiTag)) :*: (S1 ('MetaSel ('Just "compilerInfoCompat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [CompilerId])) :*: (S1 ('MetaSel ('Just "compilerInfoLanguages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Language])) :*: S1 ('MetaSel ('Just "compilerInfoExtensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Extension]))))))

Methods

from :: CompilerInfo -> Rep CompilerInfo x #

to :: Rep CompilerInfo x -> CompilerInfo #

Read CompilerInfo 
Instance details

Defined in Distribution.Compiler

Methods

readsPrec :: Int -> ReadS CompilerInfo #

readList :: ReadS [CompilerInfo] #

readPrec :: ReadPrec CompilerInfo #

readListPrec :: ReadPrec [CompilerInfo] #

Show CompilerInfo 
Instance details

Defined in Distribution.Compiler

Methods

showsPrec :: Int -> CompilerInfo -> ShowS #

show :: CompilerInfo -> String #

showList :: [CompilerInfo] -> ShowS #

type Rep CompilerInfo 
Instance details

Defined in Distribution.Compiler

type Rep CompilerInfo = D1 ('MetaData "CompilerInfo" "Distribution.Compiler" "Cabal-syntax-3.16.0.0-inplace" 'False) (C1 ('MetaCons "CompilerInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "compilerInfoId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompilerId) :*: S1 ('MetaSel ('Just "compilerInfoAbiTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AbiTag)) :*: (S1 ('MetaSel ('Just "compilerInfoCompat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [CompilerId])) :*: (S1 ('MetaSel ('Just "compilerInfoLanguages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Language])) :*: S1 ('MetaSel ('Just "compilerInfoExtensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Extension]))))))

data CompilerId #

Constructors

CompilerId CompilerFlavor Version 

Instances

Instances details
Parsec CompilerId 
Instance details

Defined in Distribution.Compiler

Methods

parsec :: CabalParsing m => m CompilerId

Pretty CompilerId 
Instance details

Defined in Distribution.Compiler

Methods

pretty :: CompilerId -> Doc

prettyVersioned :: CabalSpecVersion -> CompilerId -> Doc

Structured CompilerId 
Instance details

Defined in Distribution.Compiler

Methods

structure :: Proxy CompilerId -> Structure

structureHash' :: Tagged CompilerId MD5

Binary CompilerId 
Instance details

Defined in Distribution.Compiler

Methods

put :: CompilerId -> Put #

get :: Get CompilerId #

putList :: [CompilerId] -> Put #

NFData CompilerId 
Instance details

Defined in Distribution.Compiler

Methods

rnf :: CompilerId -> () #

Generic CompilerId 
Instance details

Defined in Distribution.Compiler

Associated Types

type Rep CompilerId 
Instance details

Defined in Distribution.Compiler

type Rep CompilerId = D1 ('MetaData "CompilerId" "Distribution.Compiler" "Cabal-syntax-3.16.0.0-inplace" 'False) (C1 ('MetaCons "CompilerId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompilerFlavor) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version)))

Methods

from :: CompilerId -> Rep CompilerId x #

to :: Rep CompilerId x -> CompilerId #

Read CompilerId 
Instance details

Defined in Distribution.Compiler

Methods

readsPrec :: Int -> ReadS CompilerId #

readList :: ReadS [CompilerId] #

readPrec :: ReadPrec CompilerId #

readListPrec :: ReadPrec [CompilerId] #

Show CompilerId 
Instance details

Defined in Distribution.Compiler

Methods

showsPrec :: Int -> CompilerId -> ShowS #

show :: CompilerId -> String #

showList :: [CompilerId] -> ShowS #

Eq CompilerId 
Instance details

Defined in Distribution.Compiler

Methods

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

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

Ord CompilerId 
Instance details

Defined in Distribution.Compiler

Methods

compare :: CompilerId -> CompilerId -> Ordering #

(<) :: CompilerId -> CompilerId -> Bool #

(<=) :: CompilerId -> CompilerId -> Bool #

(>) :: CompilerId -> CompilerId -> Bool #

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

max :: CompilerId -> CompilerId -> CompilerId #

min :: CompilerId -> CompilerId -> CompilerId #

type Rep CompilerId 
Instance details

Defined in Distribution.Compiler

type Rep CompilerId = D1 ('MetaData "CompilerId" "Distribution.Compiler" "Cabal-syntax-3.16.0.0-inplace" 'False) (C1 ('MetaCons "CompilerId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompilerFlavor) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version)))

data PerCompilerFlavor v #

Constructors

PerCompilerFlavor v v 

Instances

Instances details
Functor PerCompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

fmap :: (a -> b) -> PerCompilerFlavor a -> PerCompilerFlavor b #

(<$) :: a -> PerCompilerFlavor b -> PerCompilerFlavor a #

Foldable PerCompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

fold :: Monoid m => PerCompilerFlavor m -> m #

foldMap :: Monoid m => (a -> m) -> PerCompilerFlavor a -> m #

foldMap' :: Monoid m => (a -> m) -> PerCompilerFlavor a -> m #

foldr :: (a -> b -> b) -> b -> PerCompilerFlavor a -> b #

foldr' :: (a -> b -> b) -> b -> PerCompilerFlavor a -> b #

foldl :: (b -> a -> b) -> b -> PerCompilerFlavor a -> b #

foldl' :: (b -> a -> b) -> b -> PerCompilerFlavor a -> b #

foldr1 :: (a -> a -> a) -> PerCompilerFlavor a -> a #

foldl1 :: (a -> a -> a) -> PerCompilerFlavor a -> a #

toList :: PerCompilerFlavor a -> [a] #

null :: PerCompilerFlavor a -> Bool #

length :: PerCompilerFlavor a -> Int #

elem :: Eq a => a -> PerCompilerFlavor a -> Bool #

maximum :: Ord a => PerCompilerFlavor a -> a #

minimum :: Ord a => PerCompilerFlavor a -> a #

sum :: Num a => PerCompilerFlavor a -> a #

product :: Num a => PerCompilerFlavor a -> a #

Traversable PerCompilerFlavor 
Instance details

Defined in Distribution.Compiler

Methods

traverse :: Applicative f => (a -> f b) -> PerCompilerFlavor a -> f (PerCompilerFlavor b) #

sequenceA :: Applicative f => PerCompilerFlavor (f a) -> f (PerCompilerFlavor a) #

mapM :: Monad m => (a -> m b) -> PerCompilerFlavor a -> m (PerCompilerFlavor b) #

sequence :: Monad m => PerCompilerFlavor (m a) -> m (PerCompilerFlavor a) #

Structured a => Structured (PerCompilerFlavor a) 
Instance details

Defined in Distribution.Compiler

Methods

structure :: Proxy (PerCompilerFlavor a) -> Structure

structureHash' :: Tagged (PerCompilerFlavor a) MD5

Binary a => Binary (PerCompilerFlavor a) 
Instance details

Defined in Distribution.Compiler

Methods

put :: PerCompilerFlavor a -> Put #

get :: Get (PerCompilerFlavor a) #

putList :: [PerCompilerFlavor a] -> Put #

NFData a => NFData (PerCompilerFlavor a) 
Instance details

Defined in Distribution.Compiler

Methods

rnf :: PerCompilerFlavor a -> () #

(Semigroup a, Monoid a) => Monoid (PerCompilerFlavor a) 
Instance details

Defined in Distribution.Compiler

Methods

mempty :: PerCompilerFlavor a #

mappend :: PerCompilerFlavor a -> PerCompilerFlavor a -> PerCompilerFlavor a #

mconcat :: [PerCompilerFlavor a] -> PerCompilerFlavor a #

Semigroup a => Semigroup (PerCompilerFlavor a) 
Instance details

Defined in Distribution.Compiler

Methods

(<>) :: PerCompilerFlavor a -> PerCompilerFlavor a -> PerCompilerFlavor a #

sconcat :: NonEmpty (PerCompilerFlavor a) -> PerCompilerFlavor a #

stimes :: Integral b => b -> PerCompilerFlavor a -> PerCompilerFlavor a #

Data v => Data (PerCompilerFlavor v) 
Instance details

Defined in Distribution.Compiler

Methods

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

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

toConstr :: PerCompilerFlavor v -> Constr #

dataTypeOf :: PerCompilerFlavor v -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic (PerCompilerFlavor v) 
Instance details

Defined in Distribution.Compiler

Associated Types

type Rep (PerCompilerFlavor v) 
Instance details

Defined in Distribution.Compiler

type Rep (PerCompilerFlavor v) = D1 ('MetaData "PerCompilerFlavor" "Distribution.Compiler" "Cabal-syntax-3.16.0.0-inplace" 'False) (C1 ('MetaCons "PerCompilerFlavor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v)))

Methods

from :: PerCompilerFlavor v -> Rep (PerCompilerFlavor v) x #

to :: Rep (PerCompilerFlavor v) x -> PerCompilerFlavor v #

Read v => Read (PerCompilerFlavor v) 
Instance details

Defined in Distribution.Compiler

Methods

readsPrec :: Int -> ReadS (PerCompilerFlavor v) #

readList :: ReadS [PerCompilerFlavor v] #

readPrec :: ReadPrec (PerCompilerFlavor v) #

readListPrec :: ReadPrec [PerCompilerFlavor v] #

Show v => Show (PerCompilerFlavor v) 
Instance details

Defined in Distribution.Compiler

Methods

showsPrec :: Int -> PerCompilerFlavor v -> ShowS #

show :: PerCompilerFlavor v -> String #

showList :: [PerCompilerFlavor v] -> ShowS #

Eq v => Eq (PerCompilerFlavor v) 
Instance details

Defined in Distribution.Compiler

Methods

(==) :: PerCompilerFlavor v -> PerCompilerFlavor v -> Bool #

(/=) :: PerCompilerFlavor v -> PerCompilerFlavor v -> Bool #

Ord v => Ord (PerCompilerFlavor v) 
Instance details

Defined in Distribution.Compiler

Methods

compare :: PerCompilerFlavor v -> PerCompilerFlavor v -> Ordering #

(<) :: PerCompilerFlavor v -> PerCompilerFlavor v -> Bool #

(<=) :: PerCompilerFlavor v -> PerCompilerFlavor v -> Bool #

(>) :: PerCompilerFlavor v -> PerCompilerFlavor v -> Bool #

(>=) :: PerCompilerFlavor v -> PerCompilerFlavor v -> Bool #

max :: PerCompilerFlavor v -> PerCompilerFlavor v -> PerCompilerFlavor v #

min :: PerCompilerFlavor v -> PerCompilerFlavor v -> PerCompilerFlavor v #

type Rep (PerCompilerFlavor v) 
Instance details

Defined in Distribution.Compiler

type Rep (PerCompilerFlavor v) = D1 ('MetaData "PerCompilerFlavor" "Distribution.Compiler" "Cabal-syntax-3.16.0.0-inplace" 'False) (C1 ('MetaCons "PerCompilerFlavor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v)))

abiTagString :: AbiTag -> String #

buildCompilerFlavor :: CompilerFlavor #

buildCompilerId :: CompilerId #

classifyCompilerFlavor :: String -> CompilerFlavor #

defaultCompilerFlavor :: Maybe CompilerFlavor #

knownCompilerFlavors :: [CompilerFlavor] #

perCompilerFlavorToList :: PerCompilerFlavor v -> [(CompilerFlavor, v)] #

unknownCompilerInfo :: CompilerId -> AbiTag -> CompilerInfo #

data Compiler Source #

Constructors

Compiler 

Fields

Instances

Instances details
Structured Compiler Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

structure :: Proxy Compiler -> Structure

structureHash' :: Tagged Compiler MD5

Binary Compiler Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

put :: Compiler -> Put #

get :: Get Compiler #

putList :: [Compiler] -> Put #

Generic Compiler Source # 
Instance details

Defined in Distribution.Simple.Compiler

Associated Types

type Rep Compiler 
Instance details

Defined in Distribution.Simple.Compiler

type Rep Compiler = D1 ('MetaData "Compiler" "Distribution.Simple.Compiler" "Cabal-3.16.0.0-inplace" 'False) (C1 ('MetaCons "Compiler" 'PrefixI 'True) ((S1 ('MetaSel ('Just "compilerId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompilerId) :*: (S1 ('MetaSel ('Just "compilerAbiTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AbiTag) :*: S1 ('MetaSel ('Just "compilerCompat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CompilerId]))) :*: (S1 ('MetaSel ('Just "compilerLanguages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Language, CompilerFlag)]) :*: (S1 ('MetaSel ('Just "compilerExtensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Extension, Maybe CompilerFlag)]) :*: S1 ('MetaSel ('Just "compilerProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String String))))))

Methods

from :: Compiler -> Rep Compiler x #

to :: Rep Compiler x -> Compiler #

Read Compiler Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

readsPrec :: Int -> ReadS Compiler #

readList :: ReadS [Compiler] #

readPrec :: ReadPrec Compiler #

readListPrec :: ReadPrec [Compiler] #

Show Compiler Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

showsPrec :: Int -> Compiler -> ShowS #

show :: Compiler -> String #

showList :: [Compiler] -> ShowS #

Eq Compiler Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

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

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

type Rep Compiler Source # 
Instance details

Defined in Distribution.Simple.Compiler

type Rep Compiler = D1 ('MetaData "Compiler" "Distribution.Simple.Compiler" "Cabal-3.16.0.0-inplace" 'False) (C1 ('MetaCons "Compiler" 'PrefixI 'True) ((S1 ('MetaSel ('Just "compilerId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompilerId) :*: (S1 ('MetaSel ('Just "compilerAbiTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AbiTag) :*: S1 ('MetaSel ('Just "compilerCompat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CompilerId]))) :*: (S1 ('MetaSel ('Just "compilerLanguages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Language, CompilerFlag)]) :*: (S1 ('MetaSel ('Just "compilerExtensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Extension, Maybe CompilerFlag)]) :*: S1 ('MetaSel ('Just "compilerProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String String))))))

showCompilerId :: Compiler -> String Source #

showCompilerIdWithAbi :: Compiler -> String Source #

compilerFlavor :: Compiler -> CompilerFlavor Source #

compilerVersion :: Compiler -> Version Source #

compilerCompatFlavor :: CompilerFlavor -> Compiler -> Bool Source #

Is this compiler compatible with the compiler flavour we're interested in?

For example this checks if the compiler is actually GHC or is another compiler that claims to be compatible with some version of GHC, e.g. GHCJS.

if compilerCompatFlavor GHC compiler then ... else ...

compilerCompatVersion :: CompilerFlavor -> Compiler -> Maybe Version Source #

Is this compiler compatible with the compiler flavour we're interested in, and if so what version does it claim to be compatible with.

For example this checks if the compiler is actually GHC-7.x or is another compiler that claims to be compatible with some GHC-7.x version.

case compilerCompatVersion GHC compiler of
  Just (Version (7:_)) -> ...
  _                    -> ...

compilerInfo :: Compiler -> CompilerInfo Source #

Support for package databases

type PackageDB = PackageDBX (SymbolicPath Pkg ('Dir PkgDB)) Source #

type PackageDBStack = PackageDBStackX (SymbolicPath Pkg ('Dir PkgDB)) Source #

type PackageDBCWD = PackageDBX FilePath Source #

type PackageDBStackCWD = PackageDBStackX FilePath Source #

data PackageDBX fp Source #

Some compilers have a notion of a database of available packages. For some there is just one global db of packages, other compilers support a per-user or an arbitrary db specified at some location in the file system. This can be used to build isolated environments of packages, for example to build a collection of related packages without installing them globally.

Abstracted over

Constructors

GlobalPackageDB 
UserPackageDB 
SpecificPackageDB fp

NB: the path might be relative or it might be absolute

Instances

Instances details
Functor PackageDBX Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

fmap :: (a -> b) -> PackageDBX a -> PackageDBX b #

(<$) :: a -> PackageDBX b -> PackageDBX a #

Foldable PackageDBX Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

fold :: Monoid m => PackageDBX m -> m #

foldMap :: Monoid m => (a -> m) -> PackageDBX a -> m #

foldMap' :: Monoid m => (a -> m) -> PackageDBX a -> m #

foldr :: (a -> b -> b) -> b -> PackageDBX a -> b #

foldr' :: (a -> b -> b) -> b -> PackageDBX a -> b #

foldl :: (b -> a -> b) -> b -> PackageDBX a -> b #

foldl' :: (b -> a -> b) -> b -> PackageDBX a -> b #

foldr1 :: (a -> a -> a) -> PackageDBX a -> a #

foldl1 :: (a -> a -> a) -> PackageDBX a -> a #

toList :: PackageDBX a -> [a] #

null :: PackageDBX a -> Bool #

length :: PackageDBX a -> Int #

elem :: Eq a => a -> PackageDBX a -> Bool #

maximum :: Ord a => PackageDBX a -> a #

minimum :: Ord a => PackageDBX a -> a #

sum :: Num a => PackageDBX a -> a #

product :: Num a => PackageDBX a -> a #

Traversable PackageDBX Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

traverse :: Applicative f => (a -> f b) -> PackageDBX a -> f (PackageDBX b) #

sequenceA :: Applicative f => PackageDBX (f a) -> f (PackageDBX a) #

mapM :: Monad m => (a -> m b) -> PackageDBX a -> m (PackageDBX b) #

sequence :: Monad m => PackageDBX (m a) -> m (PackageDBX a) #

Structured fp => Structured (PackageDBX fp) Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

structure :: Proxy (PackageDBX fp) -> Structure

structureHash' :: Tagged (PackageDBX fp) MD5

Binary fp => Binary (PackageDBX fp) Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

put :: PackageDBX fp -> Put #

get :: Get (PackageDBX fp) #

putList :: [PackageDBX fp] -> Put #

Generic (PackageDBX fp) Source # 
Instance details

Defined in Distribution.Simple.Compiler

Associated Types

type Rep (PackageDBX fp) 
Instance details

Defined in Distribution.Simple.Compiler

type Rep (PackageDBX fp) = D1 ('MetaData "PackageDBX" "Distribution.Simple.Compiler" "Cabal-3.16.0.0-inplace" 'False) (C1 ('MetaCons "GlobalPackageDB" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UserPackageDB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SpecificPackageDB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 fp))))

Methods

from :: PackageDBX fp -> Rep (PackageDBX fp) x #

to :: Rep (PackageDBX fp) x -> PackageDBX fp #

Read fp => Read (PackageDBX fp) Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

readsPrec :: Int -> ReadS (PackageDBX fp) #

readList :: ReadS [PackageDBX fp] #

readPrec :: ReadPrec (PackageDBX fp) #

readListPrec :: ReadPrec [PackageDBX fp] #

Show fp => Show (PackageDBX fp) Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

showsPrec :: Int -> PackageDBX fp -> ShowS #

show :: PackageDBX fp -> String #

showList :: [PackageDBX fp] -> ShowS #

Eq fp => Eq (PackageDBX fp) Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

(==) :: PackageDBX fp -> PackageDBX fp -> Bool #

(/=) :: PackageDBX fp -> PackageDBX fp -> Bool #

Ord fp => Ord (PackageDBX fp) Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

compare :: PackageDBX fp -> PackageDBX fp -> Ordering #

(<) :: PackageDBX fp -> PackageDBX fp -> Bool #

(<=) :: PackageDBX fp -> PackageDBX fp -> Bool #

(>) :: PackageDBX fp -> PackageDBX fp -> Bool #

(>=) :: PackageDBX fp -> PackageDBX fp -> Bool #

max :: PackageDBX fp -> PackageDBX fp -> PackageDBX fp #

min :: PackageDBX fp -> PackageDBX fp -> PackageDBX fp #

type Rep (PackageDBX fp) Source # 
Instance details

Defined in Distribution.Simple.Compiler

type Rep (PackageDBX fp) = D1 ('MetaData "PackageDBX" "Distribution.Simple.Compiler" "Cabal-3.16.0.0-inplace" 'False) (C1 ('MetaCons "GlobalPackageDB" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UserPackageDB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SpecificPackageDB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 fp))))

type PackageDBStackX from = [PackageDBX from] Source #

We typically get packages from several databases, and stack them together. This type lets us be explicit about that stacking. For example typical stacks include:

[GlobalPackageDB]
[GlobalPackageDB, UserPackageDB]
[GlobalPackageDB, SpecificPackageDB "package.conf.inplace"]

Note that the GlobalPackageDB is invariably at the bottom since it contains the rts, base and other special compiler-specific packages.

We are not restricted to using just the above combinations. In particular we can use several custom package dbs and the user package db together.

When it comes to writing, the top most (last) package is used.

type PackageDBS from = PackageDBX (SymbolicPath from ('Dir PkgDB)) Source #

type PackageDBStackS from = PackageDBStackX (SymbolicPath from ('Dir PkgDB)) Source #

registrationPackageDB :: PackageDBStackX from -> PackageDBX from Source #

Return the package that we should register into. This is the package db at the top of the stack.

absolutePackageDBPaths :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDBStack -> IO PackageDBStack Source #

Make package paths absolute

absolutePackageDBPath :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> IO PackageDB Source #

interpretPackageDB :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> PackageDBCWD Source #

interpretPackageDBStack :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDBStack -> PackageDBStackCWD Source #

coercePackageDB :: PackageDBCWD -> PackageDBX (SymbolicPath CWD ('Dir PkgDB)) Source #

Transform a package db using a FilePath into one using symbolic paths.

coercePackageDBStack :: [PackageDBCWD] -> [PackageDBX (SymbolicPath CWD ('Dir PkgDB))] Source #

Support for optimisation levels

data OptimisationLevel Source #

Some compilers support optimising. Some have different levels. For compilers that do not the level is just capped to the level they do support.

Constructors

NoOptimisation 
NormalOptimisation 
MaximumOptimisation 

Instances

Instances details
Structured OptimisationLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

structure :: Proxy OptimisationLevel -> Structure

structureHash' :: Tagged OptimisationLevel MD5

Binary OptimisationLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

put :: OptimisationLevel -> Put #

get :: Get OptimisationLevel #

putList :: [OptimisationLevel] -> Put #

Bounded OptimisationLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

minBound :: OptimisationLevel #

maxBound :: OptimisationLevel #

Enum OptimisationLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

succ :: OptimisationLevel -> OptimisationLevel #

pred :: OptimisationLevel -> OptimisationLevel #

toEnum :: Int -> OptimisationLevel #

fromEnum :: OptimisationLevel -> Int #

enumFrom :: OptimisationLevel -> [OptimisationLevel] #

enumFromThen :: OptimisationLevel -> OptimisationLevel -> [OptimisationLevel] #

enumFromTo :: OptimisationLevel -> OptimisationLevel -> [OptimisationLevel] #

enumFromThenTo :: OptimisationLevel -> OptimisationLevel -> OptimisationLevel -> [OptimisationLevel] #

Generic OptimisationLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Associated Types

type Rep OptimisationLevel 
Instance details

Defined in Distribution.Simple.Compiler

type Rep OptimisationLevel = D1 ('MetaData "OptimisationLevel" "Distribution.Simple.Compiler" "Cabal-3.16.0.0-inplace" 'False) (C1 ('MetaCons "NoOptimisation" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NormalOptimisation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MaximumOptimisation" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: OptimisationLevel -> Rep OptimisationLevel x #

to :: Rep OptimisationLevel x -> OptimisationLevel #

Read OptimisationLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

readsPrec :: Int -> ReadS OptimisationLevel #

readList :: ReadS [OptimisationLevel] #

readPrec :: ReadPrec OptimisationLevel #

readListPrec :: ReadPrec [OptimisationLevel] #

Show OptimisationLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

showsPrec :: Int -> OptimisationLevel -> ShowS #

show :: OptimisationLevel -> String #

showList :: [OptimisationLevel] -> ShowS #

Eq OptimisationLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

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

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

type Rep OptimisationLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

type Rep OptimisationLevel = D1 ('MetaData "OptimisationLevel" "Distribution.Simple.Compiler" "Cabal-3.16.0.0-inplace" 'False) (C1 ('MetaCons "NoOptimisation" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NormalOptimisation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MaximumOptimisation" 'PrefixI 'False) (U1 :: Type -> Type)))

flagToOptimisationLevel :: Maybe String -> OptimisationLevel Source #

Support for debug info levels

data DebugInfoLevel Source #

Some compilers support emitting debug info. Some have different levels. For compilers that do not the level is just capped to the level they do support.

Constructors

NoDebugInfo 
MinimalDebugInfo 
NormalDebugInfo 
MaximalDebugInfo 

Instances

Instances details
Structured DebugInfoLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

structure :: Proxy DebugInfoLevel -> Structure

structureHash' :: Tagged DebugInfoLevel MD5

Binary DebugInfoLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

put :: DebugInfoLevel -> Put #

get :: Get DebugInfoLevel #

putList :: [DebugInfoLevel] -> Put #

Bounded DebugInfoLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

minBound :: DebugInfoLevel #

maxBound :: DebugInfoLevel #

Enum DebugInfoLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

succ :: DebugInfoLevel -> DebugInfoLevel #

pred :: DebugInfoLevel -> DebugInfoLevel #

toEnum :: Int -> DebugInfoLevel #

fromEnum :: DebugInfoLevel -> Int #

enumFrom :: DebugInfoLevel -> [DebugInfoLevel] #

enumFromThen :: DebugInfoLevel -> DebugInfoLevel -> [DebugInfoLevel] #

enumFromTo :: DebugInfoLevel -> DebugInfoLevel -> [DebugInfoLevel] #

enumFromThenTo :: DebugInfoLevel -> DebugInfoLevel -> DebugInfoLevel -> [DebugInfoLevel] #

Generic DebugInfoLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Associated Types

type Rep DebugInfoLevel 
Instance details

Defined in Distribution.Simple.Compiler

type Rep DebugInfoLevel = D1 ('MetaData "DebugInfoLevel" "Distribution.Simple.Compiler" "Cabal-3.16.0.0-inplace" 'False) ((C1 ('MetaCons "NoDebugInfo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MinimalDebugInfo" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NormalDebugInfo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MaximalDebugInfo" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: DebugInfoLevel -> Rep DebugInfoLevel x #

to :: Rep DebugInfoLevel x -> DebugInfoLevel #

Read DebugInfoLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

readsPrec :: Int -> ReadS DebugInfoLevel #

readList :: ReadS [DebugInfoLevel] #

readPrec :: ReadPrec DebugInfoLevel #

readListPrec :: ReadPrec [DebugInfoLevel] #

Show DebugInfoLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

showsPrec :: Int -> DebugInfoLevel -> ShowS #

show :: DebugInfoLevel -> String #

showList :: [DebugInfoLevel] -> ShowS #

Eq DebugInfoLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

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

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

type Rep DebugInfoLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

type Rep DebugInfoLevel = D1 ('MetaData "DebugInfoLevel" "Distribution.Simple.Compiler" "Cabal-3.16.0.0-inplace" 'False) ((C1 ('MetaCons "NoDebugInfo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MinimalDebugInfo" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NormalDebugInfo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MaximalDebugInfo" 'PrefixI 'False) (U1 :: Type -> Type)))

flagToDebugInfoLevel :: Maybe String -> DebugInfoLevel Source #

Support for language extensions

type CompilerFlag = String Source #

languageToFlags :: Compiler -> Maybe Language -> [CompilerFlag] Source #

unsupportedLanguages :: Compiler -> [Language] -> [Language] Source #

extensionsToFlags :: Compiler -> [Extension] -> [CompilerFlag] Source #

For the given compiler, return the flags for the supported extensions.

unsupportedExtensions :: Compiler -> [Extension] -> [Extension] Source #

For the given compiler, return the extensions it does not support.

parmakeSupported :: Compiler -> Bool Source #

Does this compiler support parallel --make mode?

reexportedModulesSupported :: Compiler -> Bool Source #

Does this compiler support reexported-modules?

renamingPackageFlagsSupported :: Compiler -> Bool Source #

Does this compiler support thinning/renaming on package flags?

unifiedIPIDRequired :: Compiler -> Bool Source #

Does this compiler have unified IPIDs (so no package keys)

packageKeySupported :: Compiler -> Bool Source #

Does this compiler support package keys?

unitIdSupported :: Compiler -> Bool Source #

Does this compiler support unit IDs?

coverageSupported :: Compiler -> Bool Source #

Does this compiler support Haskell program coverage?

profilingSupported :: Compiler -> Bool Source #

Does this compiler support profiling?

profilingDynamicSupported :: Compiler -> Maybe Bool Source #

Is the compiler distributed with profiling dynamic libraries

profilingDynamicSupportedOrUnknown :: Compiler -> Bool Source #

Either profiling dynamic is definitely supported or we don't know (so assume it is)

profilingVanillaSupported :: Compiler -> Maybe Bool Source #

Is the compiler distributed with profiling libraries

profilingVanillaSupportedOrUnknown :: Compiler -> Bool Source #

Either profiling is definitely supported or we don't know (so assume it is)

dynamicSupported :: Compiler -> Maybe Bool Source #

Is the compiler distributed with dynamic libraries

backpackSupported :: Compiler -> Bool Source #

Does this compiler support Backpack?

arResponseFilesSupported :: Compiler -> Bool Source #

Does this compiler's "ar" command supports response file arguments (i.e. @file-style arguments).

arDashLSupported :: Compiler -> Bool Source #

Does this compiler's "ar" command support llvm-ar's -L flag, which compels the archiver to add an input archive's members rather than adding the archive itself.

libraryDynDirSupported :: Compiler -> Bool Source #

Does this compiler support a package database entry with: "dynamic-library-dirs"?

libraryVisibilitySupported :: Compiler -> Bool Source #

Does this compiler support a package database entry with: "visibility"?

jsemSupported :: Compiler -> Bool Source #

Does this compiler support the -jsem option?

reexportedAsSupported :: Compiler -> Bool Source #

Does the compiler support the -reexported-modules "A as B" syntax

Support for profiling detail levels

data ProfDetailLevel Source #

Some compilers (notably GHC) support profiling and can instrument programs so the system can account costs to different functions. There are different levels of detail that can be used for this accounting. For compilers that do not support this notion or the particular detail levels, this is either ignored or just capped to some similar level they do support.

Constructors

ProfDetailNone 
ProfDetailDefault 
ProfDetailExportedFunctions 
ProfDetailToplevelFunctions 
ProfDetailAllFunctions 
ProfDetailTopLate 
ProfDetailOther String 

Instances

Instances details
Structured ProfDetailLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

structure :: Proxy ProfDetailLevel -> Structure

structureHash' :: Tagged ProfDetailLevel MD5

Binary ProfDetailLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

put :: ProfDetailLevel -> Put #

get :: Get ProfDetailLevel #

putList :: [ProfDetailLevel] -> Put #

Generic ProfDetailLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Associated Types

type Rep ProfDetailLevel 
Instance details

Defined in Distribution.Simple.Compiler

type Rep ProfDetailLevel = D1 ('MetaData "ProfDetailLevel" "Distribution.Simple.Compiler" "Cabal-3.16.0.0-inplace" 'False) ((C1 ('MetaCons "ProfDetailNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ProfDetailDefault" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ProfDetailExportedFunctions" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ProfDetailToplevelFunctions" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ProfDetailAllFunctions" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ProfDetailTopLate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ProfDetailOther" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

Methods

from :: ProfDetailLevel -> Rep ProfDetailLevel x #

to :: Rep ProfDetailLevel x -> ProfDetailLevel #

Read ProfDetailLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

readsPrec :: Int -> ReadS ProfDetailLevel #

readList :: ReadS [ProfDetailLevel] #

readPrec :: ReadPrec ProfDetailLevel #

readListPrec :: ReadPrec [ProfDetailLevel] #

Show ProfDetailLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

showsPrec :: Int -> ProfDetailLevel -> ShowS #

show :: ProfDetailLevel -> String #

showList :: [ProfDetailLevel] -> ShowS #

Eq ProfDetailLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

Methods

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

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

type Rep ProfDetailLevel Source # 
Instance details

Defined in Distribution.Simple.Compiler

type Rep ProfDetailLevel = D1 ('MetaData "ProfDetailLevel" "Distribution.Simple.Compiler" "Cabal-3.16.0.0-inplace" 'False) ((C1 ('MetaCons "ProfDetailNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ProfDetailDefault" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ProfDetailExportedFunctions" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ProfDetailToplevelFunctions" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ProfDetailAllFunctions" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ProfDetailTopLate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ProfDetailOther" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

knownProfDetailLevels :: [(String, [String], ProfDetailLevel)] Source #

flagToProfDetailLevel :: String -> ProfDetailLevel Source #

showProfDetailLevel :: ProfDetailLevel -> String Source #