Copyright	Isaac Jones 2003-2004
License	BSD3
Maintainer	cabal-devel@haskell.org
Portability	portable
Safe Haskell	None
Language	Haskell2010

Distribution.Compiler

Contents

Compiler flavor
Per compiler flavor
Compiler id
Compiler info

Description

This has an enumeration of the various compilers that Cabal knows about. It also specifies the default compiler. Sadly you'll often see code that does case analysis on this compiler flavour enumeration like:

case compilerFlavor comp of
  GHC -> GHC.getInstalledPackages verbosity packageDb progdb

Obviously it would be better to use the proper Compiler abstraction because that would keep all the compiler-specific code together. Unfortunately we cannot make this change yet without breaking the UserHooks api, which would break all custom Setup.hs files, so for the moment we just have to live with this deficiency. If you're interested, see ticket #57.

Synopsis

data CompilerFlavor
- = GHC
- | GHCJS
- | NHC
- | YHC
- | Hugs
- | HBC
- | Helium
- | JHC
- | LHC
- | UHC
- | Eta
- | HaskellSuite String
- | OtherCompiler String
buildCompilerId :: CompilerId
buildCompilerFlavor :: CompilerFlavor
defaultCompilerFlavor :: Maybe CompilerFlavor
classifyCompilerFlavor :: String -> CompilerFlavor
knownCompilerFlavors :: [CompilerFlavor]
data PerCompilerFlavor v = PerCompilerFlavor v v
perCompilerFlavorToList :: PerCompilerFlavor v -> [(CompilerFlavor, v)]
data CompilerId = CompilerId CompilerFlavor Version
data CompilerInfo = CompilerInfo {
- compilerInfoId :: CompilerId
- compilerInfoAbiTag :: AbiTag
- compilerInfoCompat :: Maybe [CompilerId]
- compilerInfoLanguages :: Maybe [Language]
- compilerInfoExtensions :: Maybe [Extension]
}
unknownCompilerInfo :: CompilerId -> AbiTag -> CompilerInfo
data AbiTag
- = NoAbiTag
- | AbiTag String
abiTagString :: AbiTag -> String

Compiler flavor

data CompilerFlavor #

Constructors

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

Instances

Eq CompilerFlavor #
Instance details Defined in Distribution.Compiler Methods (==) :: CompilerFlavor -> CompilerFlavor -> Bool # (/=) :: CompilerFlavor -> CompilerFlavor -> Bool #
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 :: (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 #
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 #
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 #
Generic CompilerFlavor #
Instance details Defined in Distribution.Compiler Associated Types type Rep CompilerFlavor :: Type -> Type # Methods from :: CompilerFlavor -> Rep CompilerFlavor x # to :: Rep CompilerFlavor x -> CompilerFlavor #
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 -> () #
Pretty CompilerFlavor #
Instance details Defined in Distribution.Compiler Methods pretty :: CompilerFlavor -> Doc # prettyVersioned :: CabalSpecVersion -> CompilerFlavor -> Doc #
Parsec CompilerFlavor #
Instance details Defined in Distribution.Compiler Methods parsec :: CabalParsing m => m CompilerFlavor #
Newtype (CompilerFlavor, VersionRange) TestedWith #
Instance details Defined in Distribution.Parsec.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-3.0.0.0-CD1INMNwoxXIKVgcu1nec5" 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 "HaskellSuite" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "OtherCompiler" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))))

buildCompilerId :: CompilerId #

buildCompilerFlavor :: CompilerFlavor #

defaultCompilerFlavor :: Maybe CompilerFlavor #

The default compiler flavour to pick when compiling stuff. This defaults to the compiler used to build the Cabal lib.

However if it's not a recognised compiler then it's Nothing and the user will have to specify which compiler they want.

classifyCompilerFlavor :: String -> CompilerFlavor #

knownCompilerFlavors :: [CompilerFlavor] #

Per compiler flavor

data PerCompilerFlavor v #

PerCompilerFlavor carries only info per GHC and GHCJS

Cabal parses only ghc-options and ghcjs-options, others are omitted.

Constructors

PerCompilerFlavor v v

Instances

Eq v => Eq (PerCompilerFlavor v) #
Instance details Defined in Distribution.Compiler Methods (==) :: PerCompilerFlavor v -> PerCompilerFlavor v -> Bool # (/=) :: PerCompilerFlavor v -> PerCompilerFlavor v -> Bool #
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 :: (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) #
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 #
Generic (PerCompilerFlavor v) #
Instance details Defined in Distribution.Compiler Associated Types type Rep (PerCompilerFlavor v) :: Type -> Type # Methods from :: PerCompilerFlavor v -> Rep (PerCompilerFlavor v) x # to :: Rep (PerCompilerFlavor v) x -> PerCompilerFlavor v #
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 #
(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 #
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 -> () #
type Rep (PerCompilerFlavor v) #
Instance details Defined in Distribution.Compiler type Rep (PerCompilerFlavor v) = D1 (MetaData "PerCompilerFlavor" "Distribution.Compiler" "Cabal-3.0.0.0-CD1INMNwoxXIKVgcu1nec5" 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)))

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

Compiler id

data CompilerId #

Constructors

CompilerId CompilerFlavor Version

Instances

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 #
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 #
Generic CompilerId #
Instance details Defined in Distribution.Compiler Associated Types type Rep CompilerId :: Type -> Type # Methods from :: CompilerId -> Rep CompilerId x # to :: Rep CompilerId x -> CompilerId #
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 -> () #
Pretty CompilerId #
Instance details Defined in Distribution.Compiler Methods pretty :: CompilerId -> Doc # prettyVersioned :: CabalSpecVersion -> CompilerId -> Doc #
Parsec CompilerId #
Instance details Defined in Distribution.Compiler Methods parsec :: CabalParsing m => m CompilerId #
type Rep CompilerId #
Instance details Defined in Distribution.Compiler type Rep CompilerId = D1 (MetaData "CompilerId" "Distribution.Compiler" "Cabal-3.0.0.0-CD1INMNwoxXIKVgcu1nec5" 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)))

Compiler info

data CompilerInfo #

Compiler information used for resolving configurations. Some fields can be set to Nothing to indicate that the information is unknown.

Constructors

CompilerInfo

Fields

compilerInfoId :: CompilerId
Compiler flavour and version.
compilerInfoAbiTag :: AbiTag
Tag for distinguishing incompatible ABI's on the same architecture/os.
compilerInfoCompat :: Maybe [CompilerId]
Other implementations that this compiler claims to be compatible with, if known.
compilerInfoLanguages :: Maybe [Language]
Supported language standards, if known.
compilerInfoExtensions :: Maybe [Extension]
Supported extensions, if known.

Instances

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 #
Generic CompilerInfo #
Instance details Defined in Distribution.Compiler Associated Types type Rep CompilerInfo :: Type -> Type # Methods from :: CompilerInfo -> Rep CompilerInfo x # to :: Rep CompilerInfo x -> CompilerInfo #
Binary CompilerInfo #
Instance details Defined in Distribution.Compiler Methods put :: CompilerInfo -> Put # get :: Get CompilerInfo # putList :: [CompilerInfo] -> Put #
type Rep CompilerInfo #
Instance details Defined in Distribution.Compiler type Rep CompilerInfo = D1 (MetaData "CompilerInfo" "Distribution.Compiler" "Cabal-3.0.0.0-CD1INMNwoxXIKVgcu1nec5" 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]))))))

unknownCompilerInfo :: CompilerId -> AbiTag -> CompilerInfo #

Make a CompilerInfo of which only the known information is its CompilerId, its AbiTag and that it does not claim to be compatible with other compiler id's.

data AbiTag #

Constructors

NoAbiTag
AbiTag String

Instances

Eq AbiTag #
Instance details Defined in Distribution.Compiler Methods (==) :: AbiTag -> AbiTag -> Bool # (/=) :: AbiTag -> AbiTag -> Bool #
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 #
Generic AbiTag #
Instance details Defined in Distribution.Compiler Associated Types type Rep AbiTag :: Type -> Type # Methods from :: AbiTag -> Rep AbiTag x # to :: Rep AbiTag x -> AbiTag #
Binary AbiTag #
Instance details Defined in Distribution.Compiler Methods put :: AbiTag -> Put # get :: Get AbiTag # putList :: [AbiTag] -> Put #
Pretty AbiTag #
Instance details Defined in Distribution.Compiler Methods pretty :: AbiTag -> Doc # prettyVersioned :: CabalSpecVersion -> AbiTag -> Doc #
Parsec AbiTag #
Instance details Defined in Distribution.Compiler Methods parsec :: CabalParsing m => m AbiTag #
type Rep AbiTag #
Instance details Defined in Distribution.Compiler type Rep AbiTag = D1 (MetaData "AbiTag" "Distribution.Compiler" "Cabal-3.0.0.0-CD1INMNwoxXIKVgcu1nec5" False) (C1 (MetaCons "NoAbiTag" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AbiTag" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

abiTagString :: AbiTag -> String #