Distribution.Compiler

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.

Compiler flavor

data CompilerFlavor

Constructors

GHC

GHCJS

NHC

YHC

Hugs

HBC

Helium

JHC

LHC

UHC

Eta

HaskellSuite String

OtherCompiler String

Instances

Eq CompilerFlavor

Defined in Distribution.Compiler

Methods

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

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

Data CompilerFlavor

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

Ord CompilerFlavor

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

Defined in Distribution.Compiler

Methods

readsPrec :: Int -> ReadS CompilerFlavor

readList :: ReadS [CompilerFlavor]

readPrec :: ReadPrec CompilerFlavor

readListPrec :: ReadPrec [CompilerFlavor]

Show CompilerFlavor

Defined in Distribution.Compiler

Methods

showsPrec :: Int -> CompilerFlavor -> ShowS

show :: CompilerFlavor -> String

showList :: [CompilerFlavor] -> ShowS

Generic CompilerFlavor

Defined in Distribution.Compiler

Associated Types

type Rep CompilerFlavor :: Type -> Type

Methods

from :: CompilerFlavor -> Rep CompilerFlavor x

to :: Rep CompilerFlavor x -> CompilerFlavor

Binary CompilerFlavor

Defined in Distribution.Compiler

Methods

put :: CompilerFlavor -> Put

get :: Get CompilerFlavor

putList :: [CompilerFlavor] -> Put

NFData CompilerFlavor

Defined in Distribution.Compiler

Methods

rnf :: CompilerFlavor -> ()

Structured CompilerFlavor

Defined in Distribution.Compiler

Methods

structure :: Proxy CompilerFlavor -> Structure

structureHash' :: Tagged CompilerFlavor MD5

Pretty CompilerFlavor

Defined in Distribution.Compiler

Methods

pretty :: CompilerFlavor -> Doc

prettyVersioned :: CabalSpecVersion -> CompilerFlavor -> Doc

Parsec CompilerFlavor

Defined in Distribution.Compiler

Methods

parsec :: CabalParsing m => m CompilerFlavor

Newtype (CompilerFlavor, VersionRange) TestedWith

Defined in Distribution.FieldGrammar.Newtypes

Methods

pack :: (CompilerFlavor, VersionRange) -> TestedWith

unpack :: TestedWith -> (CompilerFlavor, VersionRange)

type Rep CompilerFlavor

Defined in Distribution.Compiler

type Rep CompilerFlavor = D1 ('MetaData "CompilerFlavor" "Distribution.Compiler" "Cabal-syntax-3.8.1.0-3wqkBKyVQKyGg3OBBvtt1F" '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

Functor PerCompilerFlavor

Defined in Distribution.Compiler

Methods

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

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

Foldable PerCompilerFlavor

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

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)

Eq v => Eq (PerCompilerFlavor v)

Defined in Distribution.Compiler

Methods

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

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

Data v => Data (PerCompilerFlavor v)

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)

Read v => Read (PerCompilerFlavor v)

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)

Defined in Distribution.Compiler

Methods

showsPrec :: Int -> PerCompilerFlavor v -> ShowS

show :: PerCompilerFlavor v -> String

showList :: [PerCompilerFlavor v] -> ShowS

Generic (PerCompilerFlavor v)

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)

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)

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)

Defined in Distribution.Compiler

Methods

put :: PerCompilerFlavor a -> Put

get :: Get (PerCompilerFlavor a)

putList :: [PerCompilerFlavor a] -> Put

NFData a => NFData (PerCompilerFlavor a)

Defined in Distribution.Compiler

Methods

rnf :: PerCompilerFlavor a -> ()

Structured a => Structured (PerCompilerFlavor a)

Defined in Distribution.Compiler

Methods

structure :: Proxy (PerCompilerFlavor a) -> Structure

structureHash' :: Tagged (PerCompilerFlavor a) MD5

type Rep (PerCompilerFlavor v)

Defined in Distribution.Compiler

type Rep (PerCompilerFlavor v) = D1 ('MetaData "PerCompilerFlavor" "Distribution.Compiler" "Cabal-syntax-3.8.1.0-3wqkBKyVQKyGg3OBBvtt1F" '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

Defined in Distribution.Compiler

Methods

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

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

Ord CompilerId

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

Defined in Distribution.Compiler

Methods

readsPrec :: Int -> ReadS CompilerId

readList :: ReadS [CompilerId]

readPrec :: ReadPrec CompilerId

readListPrec :: ReadPrec [CompilerId]

Show CompilerId

Defined in Distribution.Compiler

Methods

showsPrec :: Int -> CompilerId -> ShowS

show :: CompilerId -> String

showList :: [CompilerId] -> ShowS

Generic CompilerId

Defined in Distribution.Compiler

Associated Types

type Rep CompilerId :: Type -> Type

Methods

from :: CompilerId -> Rep CompilerId x

to :: Rep CompilerId x -> CompilerId

Binary CompilerId

Defined in Distribution.Compiler

Methods

put :: CompilerId -> Put

get :: Get CompilerId

putList :: [CompilerId] -> Put

NFData CompilerId

Defined in Distribution.Compiler

Methods

rnf :: CompilerId -> ()

Structured CompilerId

Defined in Distribution.Compiler

Methods

structure :: Proxy CompilerId -> Structure

structureHash' :: Tagged CompilerId MD5

Pretty CompilerId

Defined in Distribution.Compiler

Methods

pretty :: CompilerId -> Doc

prettyVersioned :: CabalSpecVersion -> CompilerId -> Doc

Parsec CompilerId

Defined in Distribution.Compiler

Methods

parsec :: CabalParsing m => m CompilerId

type Rep CompilerId

Defined in Distribution.Compiler

type Rep CompilerId = D1 ('MetaData "CompilerId" "Distribution.Compiler" "Cabal-syntax-3.8.1.0-3wqkBKyVQKyGg3OBBvtt1F" '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

Defined in Distribution.Compiler

Methods

readsPrec :: Int -> ReadS CompilerInfo

readList :: ReadS [CompilerInfo]

readPrec :: ReadPrec CompilerInfo

readListPrec :: ReadPrec [CompilerInfo]

Show CompilerInfo

Defined in Distribution.Compiler

Methods

showsPrec :: Int -> CompilerInfo -> ShowS

show :: CompilerInfo -> String

showList :: [CompilerInfo] -> ShowS

Generic CompilerInfo

Defined in Distribution.Compiler

Associated Types

type Rep CompilerInfo :: Type -> Type

Methods

from :: CompilerInfo -> Rep CompilerInfo x

to :: Rep CompilerInfo x -> CompilerInfo

Binary CompilerInfo

Defined in Distribution.Compiler

Methods

put :: CompilerInfo -> Put

get :: Get CompilerInfo

putList :: [CompilerInfo] -> Put

type Rep CompilerInfo

Defined in Distribution.Compiler

type Rep CompilerInfo = D1 ('MetaData "CompilerInfo" "Distribution.Compiler" "Cabal-syntax-3.8.1.0-3wqkBKyVQKyGg3OBBvtt1F" '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

Defined in Distribution.Compiler

Methods

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

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

Read AbiTag

Defined in Distribution.Compiler

Methods

readsPrec :: Int -> ReadS AbiTag

readList :: ReadS [AbiTag]

readPrec :: ReadPrec AbiTag

readListPrec :: ReadPrec [AbiTag]

Show AbiTag

Defined in Distribution.Compiler

Methods

showsPrec :: Int -> AbiTag -> ShowS

show :: AbiTag -> String

showList :: [AbiTag] -> ShowS

Generic AbiTag

Defined in Distribution.Compiler

Associated Types

type Rep AbiTag :: Type -> Type

Methods

from :: AbiTag -> Rep AbiTag x

to :: Rep AbiTag x -> AbiTag

Binary AbiTag

Defined in Distribution.Compiler

Methods

put :: AbiTag -> Put

get :: Get AbiTag

putList :: [AbiTag] -> Put

Structured AbiTag

Defined in Distribution.Compiler

Methods

structure :: Proxy AbiTag -> Structure

structureHash' :: Tagged AbiTag MD5

Pretty AbiTag

Defined in Distribution.Compiler

Methods

pretty :: AbiTag -> Doc

prettyVersioned :: CabalSpecVersion -> AbiTag -> Doc

Parsec AbiTag

Defined in Distribution.Compiler

Methods

parsec :: CabalParsing m => m AbiTag

type Rep AbiTag

Defined in Distribution.Compiler

type Rep AbiTag = D1 ('MetaData "AbiTag" "Distribution.Compiler" "Cabal-syntax-3.8.1.0-3wqkBKyVQKyGg3OBBvtt1F" '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