Copyright	Duncan Coutts 2007-2008
Maintainer	cabal-devel@haskell.org
Portability	portable
Safe Haskell	None
Language	Haskell2010

Distribution.System

Contents

Operating System
Machine Architecture
Platform is a pair of arch and OS
Internal
Classification

Description

Cabal often needs to do slightly different things on specific platforms. You probably know about the os however using that is very inconvenient because it is a string and different Haskell implementations do not agree on using the same strings for the same platforms! (In particular see the controversy over "windows" vs "mingw32"). So to make it more consistent and easy to use we have an OS enumeration.

Synopsis

data OS
- = Linux
- | Windows
- | OSX
- | FreeBSD
- | OpenBSD
- | NetBSD
- | DragonFly
- | Solaris
- | AIX
- | HPUX
- | IRIX
- | HaLVM
- | Hurd
- | IOS
- | Android
- | Ghcjs
- | OtherOS String
buildOS :: OS
data Arch
- = I386
- | X86_64
- | PPC
- | PPC64
- | Sparc
- | Arm
- | Mips
- | SH
- | IA64
- | S390
- | Alpha
- | Hppa
- | Rs6000
- | M68k
- | Vax
- | JavaScript
- | OtherArch String
buildArch :: Arch
data Platform = Platform Arch OS
buildPlatform :: Platform
platformFromTriple :: String -> Maybe Platform
knownOSs :: [OS]
knownArches :: [Arch]
data ClassificationStrictness
- = Permissive
- | Compat
- | Strict
classifyOS :: ClassificationStrictness -> String -> OS
classifyArch :: ClassificationStrictness -> String -> Arch

Operating System

data OS #

These are the known OS names: Linux, Windows, OSX ,FreeBSD, OpenBSD, NetBSD, DragonFly ,Solaris, AIX, HPUX, IRIX ,HaLVM ,Hurd ,IOS, Android,Ghcjs

The following aliases can also be used:, * Windows aliases: mingw32, win32, cygwin32 * OSX alias: darwin * Hurd alias: gnu * FreeBSD alias: kfreebsdgnu * Solaris alias: solaris2

Constructors

Linux
Windows
OSX
FreeBSD
OpenBSD
NetBSD
DragonFly
Solaris
AIX
HPUX
IRIX
HaLVM
Hurd
IOS
Android
Ghcjs
OtherOS String

Instances

Eq OS #
Instance details Methods (==) :: OS -> OS -> Bool # (/=) :: OS -> OS -> Bool #
Data OS #
Instance details Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OS -> c OS # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OS # toConstr :: OS -> Constr # dataTypeOf :: OS -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OS) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OS) # gmapT :: (forall b. Data b => b -> b) -> OS -> OS # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OS -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OS -> r # gmapQ :: (forall d. Data d => d -> u) -> OS -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OS -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OS -> m OS # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OS -> m OS # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OS -> m OS #
Ord OS #
Instance details Methods compare :: OS -> OS -> Ordering # (<) :: OS -> OS -> Bool # (<=) :: OS -> OS -> Bool # (>) :: OS -> OS -> Bool # (>=) :: OS -> OS -> Bool # max :: OS -> OS -> OS # min :: OS -> OS -> OS #
Read OS #
Instance details Methods readsPrec :: Int -> ReadS OS # readList :: ReadS [OS] # readPrec :: ReadPrec OS # readListPrec :: ReadPrec [OS] #
Show OS #
Instance details Methods showsPrec :: Int -> OS -> ShowS # show :: OS -> String # showList :: [OS] -> ShowS #
Generic OS #
Instance details Associated Types type Rep OS :: * -> * # Methods from :: OS -> Rep OS x # to :: Rep OS x -> OS #
Binary OS #
Instance details Methods put :: OS -> Put # get :: Get OS # putList :: [OS] -> Put #
NFData OS #
Instance details Methods rnf :: OS -> () #
Pretty OS #
Instance details Methods pretty :: OS -> Doc #
Parsec OS #
Instance details Methods parsec :: CabalParsing m => m OS #
Text OS #
Instance details Methods disp :: OS -> Doc # parse :: ReadP r OS #
type Rep OS #
Instance details type Rep OS = D1 (MetaData "OS" "Distribution.System" "Cabal-2.2.0.1-JS0vobxWxH7sbYKd0omMO" False) ((((C1 (MetaCons "Linux" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "Windows" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "OSX" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "FreeBSD" PrefixI False) (U1 :: -> ))) :+: ((C1 (MetaCons "OpenBSD" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "NetBSD" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "DragonFly" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "Solaris" PrefixI False) (U1 :: -> )))) :+: (((C1 (MetaCons "AIX" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "HPUX" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "IRIX" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "HaLVM" PrefixI False) (U1 :: -> ))) :+: ((C1 (MetaCons "Hurd" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "IOS" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "Android" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "Ghcjs" PrefixI False) (U1 :: -> *) :+: C1 (MetaCons "OtherOS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))))

buildOS :: OS #

Machine Architecture

data Arch #

These are the known Arches: I386, X86_64, PPC, PPC64, Sparc ,Arm, Mips, SH, IA64, S39, Alpha, Hppa, Rs6000, M68k, Vax and JavaScript.

The following aliases can also be used: * PPC alias: powerpc * PPC64 alias : powerpc64 * Sparc aliases: sparc64, sun4 * Mips aliases: mipsel, mipseb * Arm aliases: armeb, armel

Constructors

I386
X86_64
PPC
PPC64
Sparc
Arm
Mips
SH
IA64
S390
Alpha
Hppa
Rs6000
M68k
Vax
JavaScript
OtherArch String

Instances

Eq Arch #
Instance details Methods (==) :: Arch -> Arch -> Bool # (/=) :: Arch -> Arch -> Bool #
Data Arch #
Instance details Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Arch -> c Arch # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Arch # toConstr :: Arch -> Constr # dataTypeOf :: Arch -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Arch) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Arch) # gmapT :: (forall b. Data b => b -> b) -> Arch -> Arch # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Arch -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Arch -> r # gmapQ :: (forall d. Data d => d -> u) -> Arch -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Arch -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Arch -> m Arch # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Arch -> m Arch # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Arch -> m Arch #
Ord Arch #
Instance details Methods compare :: Arch -> Arch -> Ordering # (<) :: Arch -> Arch -> Bool # (<=) :: Arch -> Arch -> Bool # (>) :: Arch -> Arch -> Bool # (>=) :: Arch -> Arch -> Bool # max :: Arch -> Arch -> Arch # min :: Arch -> Arch -> Arch #
Read Arch #
Instance details Methods readsPrec :: Int -> ReadS Arch # readList :: ReadS [Arch] # readPrec :: ReadPrec Arch # readListPrec :: ReadPrec [Arch] #
Show Arch #
Instance details Methods showsPrec :: Int -> Arch -> ShowS # show :: Arch -> String # showList :: [Arch] -> ShowS #
Generic Arch #
Instance details Associated Types type Rep Arch :: * -> * # Methods from :: Arch -> Rep Arch x # to :: Rep Arch x -> Arch #
Binary Arch #
Instance details Methods put :: Arch -> Put # get :: Get Arch # putList :: [Arch] -> Put #
NFData Arch #
Instance details Methods rnf :: Arch -> () #
Pretty Arch #
Instance details Methods pretty :: Arch -> Doc #
Parsec Arch #
Instance details Methods parsec :: CabalParsing m => m Arch #
Text Arch #
Instance details Methods disp :: Arch -> Doc # parse :: ReadP r Arch #
type Rep Arch #
Instance details type Rep Arch = D1 (MetaData "Arch" "Distribution.System" "Cabal-2.2.0.1-JS0vobxWxH7sbYKd0omMO" False) ((((C1 (MetaCons "I386" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "X86_64" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "PPC" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "PPC64" PrefixI False) (U1 :: -> ))) :+: ((C1 (MetaCons "Sparc" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "Arm" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "Mips" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "SH" PrefixI False) (U1 :: -> )))) :+: (((C1 (MetaCons "IA64" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "S390" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "Alpha" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "Hppa" PrefixI False) (U1 :: -> ))) :+: ((C1 (MetaCons "Rs6000" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "M68k" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "Vax" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "JavaScript" PrefixI False) (U1 :: -> *) :+: C1 (MetaCons "OtherArch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))))

buildArch :: Arch #

Platform is a pair of arch and OS

data Platform #

Constructors

Platform Arch OS

Instances

Eq Platform #
Instance details Methods (==) :: Platform -> Platform -> Bool # (/=) :: Platform -> Platform -> Bool #
Data Platform #
Instance details Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Platform -> c Platform # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Platform # toConstr :: Platform -> Constr # dataTypeOf :: Platform -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Platform) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Platform) # gmapT :: (forall b. Data b => b -> b) -> Platform -> Platform # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Platform -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Platform -> r # gmapQ :: (forall d. Data d => d -> u) -> Platform -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Platform -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Platform -> m Platform # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Platform -> m Platform # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Platform -> m Platform #
Ord Platform #
Instance details Methods compare :: Platform -> Platform -> Ordering # (<) :: Platform -> Platform -> Bool # (<=) :: Platform -> Platform -> Bool # (>) :: Platform -> Platform -> Bool # (>=) :: Platform -> Platform -> Bool # max :: Platform -> Platform -> Platform # min :: Platform -> Platform -> Platform #
Read Platform #
Instance details Methods readsPrec :: Int -> ReadS Platform # readList :: ReadS [Platform] # readPrec :: ReadPrec Platform # readListPrec :: ReadPrec [Platform] #
Show Platform #
Instance details Methods showsPrec :: Int -> Platform -> ShowS # show :: Platform -> String # showList :: [Platform] -> ShowS #
Generic Platform #
Instance details Associated Types type Rep Platform :: * -> * # Methods from :: Platform -> Rep Platform x # to :: Rep Platform x -> Platform #
Binary Platform #
Instance details Methods put :: Platform -> Put # get :: Get Platform # putList :: [Platform] -> Put #
NFData Platform #
Instance details Methods rnf :: Platform -> () #
Pretty Platform #
Instance details Methods pretty :: Platform -> Doc #
Parsec Platform #
Instance details Methods parsec :: CabalParsing m => m Platform #
Text Platform #
Instance details Methods disp :: Platform -> Doc # parse :: ReadP r Platform #
type Rep Platform #
Instance details type Rep Platform = D1 (MetaData "Platform" "Distribution.System" "Cabal-2.2.0.1-JS0vobxWxH7sbYKd0omMO" False) (C1 (MetaCons "Platform" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Arch) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 OS)))

buildPlatform :: Platform #

The platform Cabal was compiled on. In most cases, LocalBuildInfo.hostPlatform should be used instead (the platform we're targeting).

platformFromTriple :: String -> Maybe Platform #

Internal

knownOSs :: [OS] #

knownArches :: [Arch] #

Classification

data ClassificationStrictness #

How strict to be when classifying strings into the OS and Arch enums.

The reason we have multiple ways to do the classification is because there are two situations where we need to do it.

For parsing OS and arch names in .cabal files we really want everyone to be referring to the same or or arch by the same name. Variety is not a virtue in this case. We don't mind about case though.

For the System.Info.os/arch different Haskell implementations use different names for the same or/arch. Also they tend to distinguish versions of an OS/arch which we just don't care about.

The Compat classification allows us to recognise aliases that are already in common use but it allows us to distinguish them from the canonical name which enables us to warn about such deprecated aliases.

Constructors

Permissive
Compat
Strict

classifyOS :: ClassificationStrictness -> String -> OS #

classifyArch :: ClassificationStrictness -> String -> Arch #