Safe Haskell	Safe
Language	Haskell2010

GHC.Platform

Description

A description of the platform we're compiling for.

Synopsis

data Platform = Platform {
- platformArch :: Arch
- platformOS :: OS
- platformWordSize :: PlatformWordSize
- platformUnregisterised :: Bool
- platformHasGnuNonexecStack :: Bool
- platformHasIdentDirective :: Bool
- platformHasSubsectionsViaSymbols :: Bool
- platformIsCrossCompiling :: Bool
}
data PlatformWordSize
- = PW4
- | PW8
data Arch
- = ArchUnknown
- | ArchX86
- | ArchX86_64
- | ArchPPC
- | ArchPPC_64 {
  - ppc_64ABI :: PPC_64ABI
  }
- | ArchSPARC
- | ArchSPARC64
- | ArchARM {
  - armISA :: ArmISA
  - armISAExt :: [ArmISAExt]
  - armABI :: ArmABI
  }
- | ArchARM64
- | ArchAlpha
- | ArchMipseb
- | ArchMipsel
- | ArchJavaScript
data OS
- = OSUnknown
- | OSLinux
- | OSDarwin
- | OSSolaris2
- | OSMinGW32
- | OSFreeBSD
- | OSDragonFly
- | OSOpenBSD
- | OSNetBSD
- | OSKFreeBSD
- | OSHaiku
- | OSQNXNTO
- | OSAIX
- | OSHurd
data ArmISA
- = ARMv5
- | ARMv6
- | ARMv7
data ArmISAExt
- = VFPv2
- | VFPv3
- | VFPv3D16
- | NEON
- | IWMMX2
data ArmABI
- = SOFT
- | SOFTFP
- | HARD
data PPC_64ABI
- = ELF_V1
- | ELF_V2
target32Bit :: Platform -> Bool
isARM :: Arch -> Bool
osElfTarget :: OS -> Bool
osMachOTarget :: OS -> Bool
osSubsectionsViaSymbols :: OS -> Bool
platformUsesFrameworks :: Platform -> Bool
platformWordSizeInBytes :: Platform -> Int
platformWordSizeInBits :: Platform -> Int
data PlatformMisc = PlatformMisc {
- platformMisc_targetPlatformString :: String
- platformMisc_integerLibrary :: String
- platformMisc_integerLibraryType :: IntegerLibrary
- platformMisc_ghcWithInterpreter :: Bool
- platformMisc_ghcWithNativeCodeGen :: Bool
- platformMisc_ghcWithSMP :: Bool
- platformMisc_ghcRTSWays :: String
- platformMisc_tablesNextToCode :: Bool
- platformMisc_leadingUnderscore :: Bool
- platformMisc_libFFI :: Bool
- platformMisc_ghcThreaded :: Bool
- platformMisc_ghcDebugged :: Bool
- platformMisc_ghcRtsWithLibdw :: Bool
- platformMisc_llvmTarget :: String
}
data IntegerLibrary
- = IntegerGMP
- | IntegerSimple
stringEncodeArch :: Arch -> String
stringEncodeOS :: OS -> String

Documentation

data Platform Source #

Contains enough information for the native code generator to emit code for this platform.

Constructors

Platform
Fields platformArch :: Arch platformOS :: OS platformWordSize :: PlatformWordSize platformUnregisterised :: Bool platformHasGnuNonexecStack :: Bool platformHasIdentDirective :: Bool platformHasSubsectionsViaSymbols :: Bool platformIsCrossCompiling :: Bool

Instances

Eq Platform Source #
Instance details Defined in GHC.Platform Methods (==) :: Platform -> Platform -> Bool # (/=) :: Platform -> Platform -> Bool #
Read Platform Source #
Instance details Defined in GHC.Platform Methods readsPrec :: Int -> ReadS Platform # readList :: ReadS [Platform] # readPrec :: ReadPrec Platform # readListPrec :: ReadPrec [Platform] #
Show Platform Source #
Instance details Defined in GHC.Platform Methods showsPrec :: Int -> Platform -> ShowS # show :: Platform -> String # showList :: [Platform] -> ShowS #

data PlatformWordSize Source #

Constructors

PW4	A 32-bit platform
PW8	A 64-bit platform

Instances

Eq PlatformWordSize Source #
Instance details Defined in GHC.Platform Methods (==) :: PlatformWordSize -> PlatformWordSize -> Bool # (/=) :: PlatformWordSize -> PlatformWordSize -> Bool #
Read PlatformWordSize Source #
Instance details Defined in GHC.Platform Methods readsPrec :: Int -> ReadS PlatformWordSize # readList :: ReadS [PlatformWordSize] # readPrec :: ReadPrec PlatformWordSize # readListPrec :: ReadPrec [PlatformWordSize] #
Show PlatformWordSize Source #
Instance details Defined in GHC.Platform Methods showsPrec :: Int -> PlatformWordSize -> ShowS # show :: PlatformWordSize -> String # showList :: [PlatformWordSize] -> ShowS #

data Arch Source #

Architectures that the native code generator knows about. TODO: It might be nice to extend these constructors with information about what instruction set extensions an architecture might support.

Constructors

ArchUnknown
ArchX86
ArchX86_64
ArchPPC
ArchPPC_64
Fields ppc_64ABI :: PPC_64ABI
ArchSPARC
ArchSPARC64
ArchARM
Fields armISA :: ArmISA armISAExt :: [ArmISAExt] armABI :: ArmABI
ArchARM64
ArchAlpha
ArchMipseb
ArchMipsel
ArchJavaScript

Instances

Eq Arch Source #
Instance details Defined in GHC.Platform Methods (==) :: Arch -> Arch -> Bool # (/=) :: Arch -> Arch -> Bool #
Read Arch Source #
Instance details Defined in GHC.Platform Methods readsPrec :: Int -> ReadS Arch # readList :: ReadS [Arch] # readPrec :: ReadPrec Arch # readListPrec :: ReadPrec [Arch] #
Show Arch Source #
Instance details Defined in GHC.Platform Methods showsPrec :: Int -> Arch -> ShowS # show :: Arch -> String # showList :: [Arch] -> ShowS #

data OS Source #

Operating systems that the native code generator knows about. Having OSUnknown should produce a sensible default, but no promises.

Constructors

OSUnknown
OSLinux
OSDarwin
OSSolaris2
OSMinGW32
OSFreeBSD
OSDragonFly
OSOpenBSD
OSNetBSD
OSKFreeBSD
OSHaiku
OSQNXNTO
OSAIX
OSHurd

Instances

Eq OS Source #
Instance details Defined in GHC.Platform Methods (==) :: OS -> OS -> Bool # (/=) :: OS -> OS -> Bool #
Read OS Source #
Instance details Defined in GHC.Platform Methods readsPrec :: Int -> ReadS OS # readList :: ReadS [OS] # readPrec :: ReadPrec OS # readListPrec :: ReadPrec [OS] #
Show OS Source #
Instance details Defined in GHC.Platform Methods showsPrec :: Int -> OS -> ShowS # show :: OS -> String # showList :: [OS] -> ShowS #

data ArmISA Source #

ARM Instruction Set Architecture, Extensions and ABI

Constructors

ARMv5
ARMv6
ARMv7

Instances

Eq ArmISA Source #
Instance details Defined in GHC.Platform Methods (==) :: ArmISA -> ArmISA -> Bool # (/=) :: ArmISA -> ArmISA -> Bool #
Read ArmISA Source #
Instance details Defined in GHC.Platform Methods readsPrec :: Int -> ReadS ArmISA # readList :: ReadS [ArmISA] # readPrec :: ReadPrec ArmISA # readListPrec :: ReadPrec [ArmISA] #
Show ArmISA Source #
Instance details Defined in GHC.Platform Methods showsPrec :: Int -> ArmISA -> ShowS # show :: ArmISA -> String # showList :: [ArmISA] -> ShowS #

data ArmISAExt Source #

Constructors

VFPv2
VFPv3
VFPv3D16
NEON
IWMMX2

Instances

Eq ArmISAExt Source #
Instance details Defined in GHC.Platform Methods (==) :: ArmISAExt -> ArmISAExt -> Bool # (/=) :: ArmISAExt -> ArmISAExt -> Bool #
Read ArmISAExt Source #
Instance details Defined in GHC.Platform Methods readsPrec :: Int -> ReadS ArmISAExt # readList :: ReadS [ArmISAExt] # readPrec :: ReadPrec ArmISAExt # readListPrec :: ReadPrec [ArmISAExt] #
Show ArmISAExt Source #
Instance details Defined in GHC.Platform Methods showsPrec :: Int -> ArmISAExt -> ShowS # show :: ArmISAExt -> String # showList :: [ArmISAExt] -> ShowS #

data ArmABI Source #

Constructors

SOFT
SOFTFP
HARD

Instances

Eq ArmABI Source #
Instance details Defined in GHC.Platform Methods (==) :: ArmABI -> ArmABI -> Bool # (/=) :: ArmABI -> ArmABI -> Bool #
Read ArmABI Source #
Instance details Defined in GHC.Platform Methods readsPrec :: Int -> ReadS ArmABI # readList :: ReadS [ArmABI] # readPrec :: ReadPrec ArmABI # readListPrec :: ReadPrec [ArmABI] #
Show ArmABI Source #
Instance details Defined in GHC.Platform Methods showsPrec :: Int -> ArmABI -> ShowS # show :: ArmABI -> String # showList :: [ArmABI] -> ShowS #

data PPC_64ABI Source #

PowerPC 64-bit ABI

Constructors

ELF_V1
ELF_V2

Instances

Eq PPC_64ABI Source #
Instance details Defined in GHC.Platform Methods (==) :: PPC_64ABI -> PPC_64ABI -> Bool # (/=) :: PPC_64ABI -> PPC_64ABI -> Bool #
Read PPC_64ABI Source #
Instance details Defined in GHC.Platform Methods readsPrec :: Int -> ReadS PPC_64ABI # readList :: ReadS [PPC_64ABI] # readPrec :: ReadPrec PPC_64ABI # readListPrec :: ReadPrec [PPC_64ABI] #
Show PPC_64ABI Source #
Instance details Defined in GHC.Platform Methods showsPrec :: Int -> PPC_64ABI -> ShowS # show :: PPC_64ABI -> String # showList :: [PPC_64ABI] -> ShowS #

target32Bit :: Platform -> Bool Source #

This predicate tells us whether the platform is 32-bit.

isARM :: Arch -> Bool Source #

osElfTarget :: OS -> Bool Source #

This predicate tells us whether the OS supports ELF-like shared libraries.

osMachOTarget :: OS -> Bool Source #

This predicate tells us whether the OS support Mach-O shared libraries.

osSubsectionsViaSymbols :: OS -> Bool Source #

platformUsesFrameworks :: Platform -> Bool Source #

platformWordSizeInBytes :: Platform -> Int Source #

platformWordSizeInBits :: Platform -> Int Source #

data PlatformMisc Source #

Platform-specific settings formerly hard-coded in Config.hs.

These should probably be all be triaged whether they can be computed from other settings or belong in another another place (like Platform above).

Constructors

PlatformMisc

Fields

platformMisc_targetPlatformString :: String
platformMisc_integerLibrary :: String
platformMisc_integerLibraryType :: IntegerLibrary
platformMisc_ghcWithInterpreter :: Bool
platformMisc_ghcWithNativeCodeGen :: Bool
platformMisc_ghcWithSMP :: Bool
platformMisc_ghcRTSWays :: String
platformMisc_tablesNextToCode :: Bool
Determines whether we will be compiling info tables that reside just before the entry code, or with an indirection to the entry code. See TABLES_NEXT_TO_CODE in includesrtsstorage/InfoTables.h.
platformMisc_leadingUnderscore :: Bool
platformMisc_libFFI :: Bool
platformMisc_ghcThreaded :: Bool
platformMisc_ghcDebugged :: Bool
platformMisc_ghcRtsWithLibdw :: Bool
platformMisc_llvmTarget :: String

data IntegerLibrary Source #

Constructors

IntegerGMP
IntegerSimple

Instances

Eq IntegerLibrary Source #
Instance details Defined in GHC.Platform Methods (==) :: IntegerLibrary -> IntegerLibrary -> Bool # (/=) :: IntegerLibrary -> IntegerLibrary -> Bool #
Read IntegerLibrary Source #
Instance details Defined in GHC.Platform Methods readsPrec :: Int -> ReadS IntegerLibrary # readList :: ReadS [IntegerLibrary] # readPrec :: ReadPrec IntegerLibrary # readListPrec :: ReadPrec [IntegerLibrary] #
Show IntegerLibrary Source #
Instance details Defined in GHC.Platform Methods showsPrec :: Int -> IntegerLibrary -> ShowS # show :: IntegerLibrary -> String # showList :: [IntegerLibrary] -> ShowS #

stringEncodeArch :: Arch -> String Source #

See Note [Platform Syntax].

stringEncodeOS :: OS -> String Source #

See Note [Platform Syntax].