Prelude.Spiros.System

Information about the current system:

• operating system — currentOperatingSystem.
• architecture — currentArchitecture.
• endianness — currentEndianness.
• processor — currentProcessorBits, currentNumberOfCPUs.

/TODO: respect cross-compilation, i.e. the targetruntime system.//

And information about the current compiler:

• haskell compiler — currentCompiler.

(This module is similar to the Foundation.System module in the foundation package.)

Documentation

data IsHyperthreading

Whether the system is currently using any Hyperthreading.

Constructors

HyperthreadingIsDisabled

HyperthreadingIsEnabled

Instances

Bounded IsHyperthreading

Defined in Prelude.Spiros.System

Methods

minBound :: IsHyperthreading

maxBound :: IsHyperthreading

Enum IsHyperthreading

Defined in Prelude.Spiros.System

Methods

succ :: IsHyperthreading -> IsHyperthreading

pred :: IsHyperthreading -> IsHyperthreading

toEnum :: Int -> IsHyperthreading

fromEnum :: IsHyperthreading -> Int

enumFrom :: IsHyperthreading -> [IsHyperthreading]

enumFromThen :: IsHyperthreading -> IsHyperthreading -> [IsHyperthreading]

enumFromTo :: IsHyperthreading -> IsHyperthreading -> [IsHyperthreading]

enumFromThenTo :: IsHyperthreading -> IsHyperthreading -> IsHyperthreading -> [IsHyperthreading]

Eq IsHyperthreading

Defined in Prelude.Spiros.System

Methods

(==) :: IsHyperthreading -> IsHyperthreading -> Bool

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

Ord IsHyperthreading

Defined in Prelude.Spiros.System

Methods

compare :: IsHyperthreading -> IsHyperthreading -> Ordering

(<) :: IsHyperthreading -> IsHyperthreading -> Bool

(<=) :: IsHyperthreading -> IsHyperthreading -> Bool

(>) :: IsHyperthreading -> IsHyperthreading -> Bool

(>=) :: IsHyperthreading -> IsHyperthreading -> Bool

max :: IsHyperthreading -> IsHyperthreading -> IsHyperthreading

min :: IsHyperthreading -> IsHyperthreading -> IsHyperthreading

Read IsHyperthreading

Defined in Prelude.Spiros.System

Methods

readsPrec :: Int -> ReadS IsHyperthreading

readList :: ReadS [IsHyperthreading]

readPrec :: ReadPrec IsHyperthreading

readListPrec :: ReadPrec [IsHyperthreading]

Show IsHyperthreading

Defined in Prelude.Spiros.System

Methods

showsPrec :: Int -> IsHyperthreading -> ShowS

show :: IsHyperthreading -> String

showList :: [IsHyperthreading] -> ShowS

Ix IsHyperthreading

Defined in Prelude.Spiros.System

Methods

range :: (IsHyperthreading, IsHyperthreading) -> [IsHyperthreading]

index :: (IsHyperthreading, IsHyperthreading) -> IsHyperthreading -> Int

unsafeIndex :: (IsHyperthreading, IsHyperthreading) -> IsHyperthreading -> Int

inRange :: (IsHyperthreading, IsHyperthreading) -> IsHyperthreading -> Bool

rangeSize :: (IsHyperthreading, IsHyperthreading) -> Int

unsafeRangeSize :: (IsHyperthreading, IsHyperthreading) -> Int

Generic IsHyperthreading

Defined in Prelude.Spiros.System

Associated Types

type Rep IsHyperthreading :: Type -> Type

Methods

from :: IsHyperthreading -> Rep IsHyperthreading x

to :: Rep IsHyperthreading x -> IsHyperthreading

Lift IsHyperthreading

Defined in Prelude.Spiros.System

Methods

lift :: IsHyperthreading -> Q Exp

Default IsHyperthreading

≡ HyperthreadingIsDisabled

Defined in Prelude.Spiros.System

Methods

def :: IsHyperthreading

NFData IsHyperthreading

Defined in Prelude.Spiros.System

Methods

rnf :: IsHyperthreading -> ()

Hashable IsHyperthreading

Defined in Prelude.Spiros.System

Methods

hashWithSalt :: Int -> IsHyperthreading -> Int

hash :: IsHyperthreading -> Int

type Rep IsHyperthreading

Defined in Prelude.Spiros.System

type Rep IsHyperthreading = D1 (MetaData "IsHyperthreading" "Prelude.Spiros.System" "spiros-0.4.2-AXTfsSIxN6qJkldZU4Dlmr" False) (C1 (MetaCons "HyperthreadingIsDisabled" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "HyperthreadingIsEnabled" PrefixI False) (U1 :: Type -> Type))

data CPUsSummary

Constructors

CPUsSummary

Fields

• isHyperthreading :: IsHyperthreading
• physicalCores :: Natural
• logicalCores :: Natural

Instances

Eq CPUsSummary

Defined in Prelude.Spiros.System

Methods

(==) :: CPUsSummary -> CPUsSummary -> Bool

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

Ord CPUsSummary

Defined in Prelude.Spiros.System

Methods

compare :: CPUsSummary -> CPUsSummary -> Ordering

(<) :: CPUsSummary -> CPUsSummary -> Bool

(<=) :: CPUsSummary -> CPUsSummary -> Bool

(>) :: CPUsSummary -> CPUsSummary -> Bool

(>=) :: CPUsSummary -> CPUsSummary -> Bool

max :: CPUsSummary -> CPUsSummary -> CPUsSummary

min :: CPUsSummary -> CPUsSummary -> CPUsSummary

Read CPUsSummary

Defined in Prelude.Spiros.System

Methods

readsPrec :: Int -> ReadS CPUsSummary

readList :: ReadS [CPUsSummary]

readPrec :: ReadPrec CPUsSummary

readListPrec :: ReadPrec [CPUsSummary]

Show CPUsSummary

Defined in Prelude.Spiros.System

Methods

showsPrec :: Int -> CPUsSummary -> ShowS

show :: CPUsSummary -> String

showList :: [CPUsSummary] -> ShowS

Generic CPUsSummary

Defined in Prelude.Spiros.System

Associated Types

type Rep CPUsSummary :: Type -> Type

Methods

from :: CPUsSummary -> Rep CPUsSummary x

to :: Rep CPUsSummary x -> CPUsSummary

Lift CPUsSummary

Defined in Prelude.Spiros.System

Methods

lift :: CPUsSummary -> Q Exp

Default CPUsSummary

Defined in Prelude.Spiros.System

Methods

def :: CPUsSummary

NFData CPUsSummary

Defined in Prelude.Spiros.System

Methods

rnf :: CPUsSummary -> ()

Hashable CPUsSummary

Defined in Prelude.Spiros.System

Methods

hashWithSalt :: Int -> CPUsSummary -> Int

hash :: CPUsSummary -> Int

type Rep CPUsSummary

Defined in Prelude.Spiros.System

type Rep CPUsSummary = D1 (MetaData "CPUsSummary" "Prelude.Spiros.System" "spiros-0.4.2-AXTfsSIxN6qJkldZU4Dlmr" False) (C1 (MetaCons "CPUsSummary" PrefixI True) (S1 (MetaSel (Just "isHyperthreading") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IsHyperthreading) :*: (S1 (MetaSel (Just "physicalCores") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Natural) :*: S1 (MetaSel (Just "logicalCores") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Natural))))

data KnownHaskellCompiler

Enumeration of the known GHC-based compilers.

Constructors

GHC

C FFI.

GHCJS

Javascript FFI.

GHCETA

Java FFI.

Instances

Bounded KnownHaskellCompiler

Defined in Prelude.Spiros.System

Methods

minBound :: KnownHaskellCompiler

maxBound :: KnownHaskellCompiler

Enum KnownHaskellCompiler

Defined in Prelude.Spiros.System

Methods

succ :: KnownHaskellCompiler -> KnownHaskellCompiler

pred :: KnownHaskellCompiler -> KnownHaskellCompiler

toEnum :: Int -> KnownHaskellCompiler

fromEnum :: KnownHaskellCompiler -> Int

enumFrom :: KnownHaskellCompiler -> [KnownHaskellCompiler]

enumFromThen :: KnownHaskellCompiler -> KnownHaskellCompiler -> [KnownHaskellCompiler]

enumFromTo :: KnownHaskellCompiler -> KnownHaskellCompiler -> [KnownHaskellCompiler]

enumFromThenTo :: KnownHaskellCompiler -> KnownHaskellCompiler -> KnownHaskellCompiler -> [KnownHaskellCompiler]

Eq KnownHaskellCompiler

Defined in Prelude.Spiros.System

Methods

(==) :: KnownHaskellCompiler -> KnownHaskellCompiler -> Bool

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

Ord KnownHaskellCompiler

Defined in Prelude.Spiros.System

Methods

compare :: KnownHaskellCompiler -> KnownHaskellCompiler -> Ordering

(<) :: KnownHaskellCompiler -> KnownHaskellCompiler -> Bool

(<=) :: KnownHaskellCompiler -> KnownHaskellCompiler -> Bool

(>) :: KnownHaskellCompiler -> KnownHaskellCompiler -> Bool

(>=) :: KnownHaskellCompiler -> KnownHaskellCompiler -> Bool

max :: KnownHaskellCompiler -> KnownHaskellCompiler -> KnownHaskellCompiler

min :: KnownHaskellCompiler -> KnownHaskellCompiler -> KnownHaskellCompiler

Read KnownHaskellCompiler

Defined in Prelude.Spiros.System

Methods

readsPrec :: Int -> ReadS KnownHaskellCompiler

readList :: ReadS [KnownHaskellCompiler]

readPrec :: ReadPrec KnownHaskellCompiler

readListPrec :: ReadPrec [KnownHaskellCompiler]

Show KnownHaskellCompiler

Defined in Prelude.Spiros.System

Methods

showsPrec :: Int -> KnownHaskellCompiler -> ShowS

show :: KnownHaskellCompiler -> String

showList :: [KnownHaskellCompiler] -> ShowS

Ix KnownHaskellCompiler

Defined in Prelude.Spiros.System

Methods

range :: (KnownHaskellCompiler, KnownHaskellCompiler) -> [KnownHaskellCompiler]

index :: (KnownHaskellCompiler, KnownHaskellCompiler) -> KnownHaskellCompiler -> Int

unsafeIndex :: (KnownHaskellCompiler, KnownHaskellCompiler) -> KnownHaskellCompiler -> Int

inRange :: (KnownHaskellCompiler, KnownHaskellCompiler) -> KnownHaskellCompiler -> Bool

rangeSize :: (KnownHaskellCompiler, KnownHaskellCompiler) -> Int

unsafeRangeSize :: (KnownHaskellCompiler, KnownHaskellCompiler) -> Int

Generic KnownHaskellCompiler

Defined in Prelude.Spiros.System

Associated Types

type Rep KnownHaskellCompiler :: Type -> Type

Methods

from :: KnownHaskellCompiler -> Rep KnownHaskellCompiler x

to :: Rep KnownHaskellCompiler x -> KnownHaskellCompiler

Lift KnownHaskellCompiler

Defined in Prelude.Spiros.System

Methods

lift :: KnownHaskellCompiler -> Q Exp

Default KnownHaskellCompiler

≡ GHC

Defined in Prelude.Spiros.System

Methods

def :: KnownHaskellCompiler

NFData KnownHaskellCompiler

Defined in Prelude.Spiros.System

Methods

rnf :: KnownHaskellCompiler -> ()

Hashable KnownHaskellCompiler

Defined in Prelude.Spiros.System

Methods

hashWithSalt :: Int -> KnownHaskellCompiler -> Int

hash :: KnownHaskellCompiler -> Int

type Rep KnownHaskellCompiler

Defined in Prelude.Spiros.System

type Rep KnownHaskellCompiler = D1 (MetaData "KnownHaskellCompiler" "Prelude.Spiros.System" "spiros-0.4.2-AXTfsSIxN6qJkldZU4Dlmr" False) (C1 (MetaCons "GHC" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "GHCJS" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GHCETA" PrefixI False) (U1 :: Type -> Type)))

data ProcessorBits

Whether the processor is 64-bit or 32-bit.

https://en.wikipedia.org/wiki/64-bit_computing: "In computer architecture, 64-bit computing is the use of processors that have datapath widths, integer size, and memory address widths of 64 bits (eight octets)."

Constructors

Processor32Bit

Processor64Bit

Instances

Bounded ProcessorBits

Defined in Prelude.Spiros.System

Methods

minBound :: ProcessorBits

maxBound :: ProcessorBits

Enum ProcessorBits

Defined in Prelude.Spiros.System

Methods

succ :: ProcessorBits -> ProcessorBits

pred :: ProcessorBits -> ProcessorBits

toEnum :: Int -> ProcessorBits

fromEnum :: ProcessorBits -> Int

enumFrom :: ProcessorBits -> [ProcessorBits]

enumFromThen :: ProcessorBits -> ProcessorBits -> [ProcessorBits]

enumFromTo :: ProcessorBits -> ProcessorBits -> [ProcessorBits]

enumFromThenTo :: ProcessorBits -> ProcessorBits -> ProcessorBits -> [ProcessorBits]

Eq ProcessorBits

Defined in Prelude.Spiros.System

Methods

(==) :: ProcessorBits -> ProcessorBits -> Bool

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

Ord ProcessorBits

Defined in Prelude.Spiros.System

Methods

compare :: ProcessorBits -> ProcessorBits -> Ordering

(<) :: ProcessorBits -> ProcessorBits -> Bool

(<=) :: ProcessorBits -> ProcessorBits -> Bool

(>) :: ProcessorBits -> ProcessorBits -> Bool

(>=) :: ProcessorBits -> ProcessorBits -> Bool

max :: ProcessorBits -> ProcessorBits -> ProcessorBits

min :: ProcessorBits -> ProcessorBits -> ProcessorBits

Read ProcessorBits

Defined in Prelude.Spiros.System

Methods

readsPrec :: Int -> ReadS ProcessorBits

readList :: ReadS [ProcessorBits]

readPrec :: ReadPrec ProcessorBits

readListPrec :: ReadPrec [ProcessorBits]

Show ProcessorBits

Defined in Prelude.Spiros.System

Methods

showsPrec :: Int -> ProcessorBits -> ShowS

show :: ProcessorBits -> String

showList :: [ProcessorBits] -> ShowS

Ix ProcessorBits

Defined in Prelude.Spiros.System

Methods

range :: (ProcessorBits, ProcessorBits) -> [ProcessorBits]

index :: (ProcessorBits, ProcessorBits) -> ProcessorBits -> Int

unsafeIndex :: (ProcessorBits, ProcessorBits) -> ProcessorBits -> Int

inRange :: (ProcessorBits, ProcessorBits) -> ProcessorBits -> Bool

rangeSize :: (ProcessorBits, ProcessorBits) -> Int

unsafeRangeSize :: (ProcessorBits, ProcessorBits) -> Int

Generic ProcessorBits

Defined in Prelude.Spiros.System

Associated Types

type Rep ProcessorBits :: Type -> Type

Methods

from :: ProcessorBits -> Rep ProcessorBits x

to :: Rep ProcessorBits x -> ProcessorBits

Lift ProcessorBits

Defined in Prelude.Spiros.System

Methods

lift :: ProcessorBits -> Q Exp

Default ProcessorBits

≡ Processor64Bit

Defined in Prelude.Spiros.System

Methods

def :: ProcessorBits

NFData ProcessorBits

Defined in Prelude.Spiros.System

Methods

rnf :: ProcessorBits -> ()

Hashable ProcessorBits

Defined in Prelude.Spiros.System

Methods

hashWithSalt :: Int -> ProcessorBits -> Int

hash :: ProcessorBits -> Int

type Rep ProcessorBits

Defined in Prelude.Spiros.System

type Rep ProcessorBits = D1 (MetaData "ProcessorBits" "Prelude.Spiros.System" "spiros-0.4.2-AXTfsSIxN6qJkldZU4Dlmr" False) (C1 (MetaCons "Processor32Bit" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Processor64Bit" PrefixI False) (U1 :: Type -> Type))

data Endianness

Whether the processor is little-endian or big-endian.

https://en.wikipedia.org/wiki/Endianness: "Endianness is the sequential order in which bytes are arranged into larger numerical values when stored in memory or when transmitted over digital links."

Constructors

LittleEndian

BigEndian

Instances

Bounded Endianness

Defined in Prelude.Spiros.System

Methods

minBound :: Endianness

maxBound :: Endianness

Enum Endianness

Defined in Prelude.Spiros.System

Methods

succ :: Endianness -> Endianness

pred :: Endianness -> Endianness

toEnum :: Int -> Endianness

fromEnum :: Endianness -> Int

enumFrom :: Endianness -> [Endianness]

enumFromThen :: Endianness -> Endianness -> [Endianness]

enumFromTo :: Endianness -> Endianness -> [Endianness]

enumFromThenTo :: Endianness -> Endianness -> Endianness -> [Endianness]

Eq Endianness

Defined in Prelude.Spiros.System

Methods

(==) :: Endianness -> Endianness -> Bool

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

Ord Endianness

Defined in Prelude.Spiros.System

Methods

compare :: Endianness -> Endianness -> Ordering

(<) :: Endianness -> Endianness -> Bool

(<=) :: Endianness -> Endianness -> Bool

(>) :: Endianness -> Endianness -> Bool

(>=) :: Endianness -> Endianness -> Bool

max :: Endianness -> Endianness -> Endianness

min :: Endianness -> Endianness -> Endianness

Read Endianness

Defined in Prelude.Spiros.System

Methods

readsPrec :: Int -> ReadS Endianness

readList :: ReadS [Endianness]

readPrec :: ReadPrec Endianness

readListPrec :: ReadPrec [Endianness]

Show Endianness

Defined in Prelude.Spiros.System

Methods

showsPrec :: Int -> Endianness -> ShowS

show :: Endianness -> String

showList :: [Endianness] -> ShowS

Ix Endianness

Defined in Prelude.Spiros.System

Methods

range :: (Endianness, Endianness) -> [Endianness]

index :: (Endianness, Endianness) -> Endianness -> Int

unsafeIndex :: (Endianness, Endianness) -> Endianness -> Int

inRange :: (Endianness, Endianness) -> Endianness -> Bool

rangeSize :: (Endianness, Endianness) -> Int

unsafeRangeSize :: (Endianness, Endianness) -> Int

Generic Endianness

Defined in Prelude.Spiros.System

Associated Types

type Rep Endianness :: Type -> Type

Methods

from :: Endianness -> Rep Endianness x

to :: Rep Endianness x -> Endianness

Lift Endianness

Defined in Prelude.Spiros.System

Methods

lift :: Endianness -> Q Exp

Default Endianness

≡ LittleEndian

Defined in Prelude.Spiros.System

Methods

def :: Endianness

NFData Endianness

Defined in Prelude.Spiros.System

Methods

rnf :: Endianness -> ()

Hashable Endianness

Defined in Prelude.Spiros.System

Methods

hashWithSalt :: Int -> Endianness -> Int

hash :: Endianness -> Int

type Rep Endianness

Defined in Prelude.Spiros.System

type Rep Endianness = D1 (MetaData "Endianness" "Prelude.Spiros.System" "spiros-0.4.2-AXTfsSIxN6qJkldZU4Dlmr" False) (C1 (MetaCons "LittleEndian" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BigEndian" PrefixI False) (U1 :: Type -> Type))

data KnownManufacturer

Constructors

Intel_Manufacturer

PowerPC_Manufacturer

Sparc_Manufacturer

ARM_Manufacturer

Instances

Bounded KnownManufacturer

Defined in Prelude.Spiros.System

Methods

minBound :: KnownManufacturer

maxBound :: KnownManufacturer

Enum KnownManufacturer

Defined in Prelude.Spiros.System

Methods

succ :: KnownManufacturer -> KnownManufacturer

pred :: KnownManufacturer -> KnownManufacturer

toEnum :: Int -> KnownManufacturer

fromEnum :: KnownManufacturer -> Int

enumFrom :: KnownManufacturer -> [KnownManufacturer]

enumFromThen :: KnownManufacturer -> KnownManufacturer -> [KnownManufacturer]

enumFromTo :: KnownManufacturer -> KnownManufacturer -> [KnownManufacturer]

enumFromThenTo :: KnownManufacturer -> KnownManufacturer -> KnownManufacturer -> [KnownManufacturer]

Eq KnownManufacturer

Defined in Prelude.Spiros.System

Methods

(==) :: KnownManufacturer -> KnownManufacturer -> Bool

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

Ord KnownManufacturer

Defined in Prelude.Spiros.System

Methods

compare :: KnownManufacturer -> KnownManufacturer -> Ordering

(<) :: KnownManufacturer -> KnownManufacturer -> Bool

(<=) :: KnownManufacturer -> KnownManufacturer -> Bool

(>) :: KnownManufacturer -> KnownManufacturer -> Bool

(>=) :: KnownManufacturer -> KnownManufacturer -> Bool

max :: KnownManufacturer -> KnownManufacturer -> KnownManufacturer

min :: KnownManufacturer -> KnownManufacturer -> KnownManufacturer

Read KnownManufacturer

Defined in Prelude.Spiros.System

Methods

readsPrec :: Int -> ReadS KnownManufacturer

readList :: ReadS [KnownManufacturer]

readPrec :: ReadPrec KnownManufacturer

readListPrec :: ReadPrec [KnownManufacturer]

Show KnownManufacturer

Defined in Prelude.Spiros.System

Methods

showsPrec :: Int -> KnownManufacturer -> ShowS

show :: KnownManufacturer -> String

showList :: [KnownManufacturer] -> ShowS

Ix KnownManufacturer

Defined in Prelude.Spiros.System

Methods

range :: (KnownManufacturer, KnownManufacturer) -> [KnownManufacturer]

index :: (KnownManufacturer, KnownManufacturer) -> KnownManufacturer -> Int

unsafeIndex :: (KnownManufacturer, KnownManufacturer) -> KnownManufacturer -> Int

inRange :: (KnownManufacturer, KnownManufacturer) -> KnownManufacturer -> Bool

rangeSize :: (KnownManufacturer, KnownManufacturer) -> Int

unsafeRangeSize :: (KnownManufacturer, KnownManufacturer) -> Int

Generic KnownManufacturer

Defined in Prelude.Spiros.System

Associated Types

type Rep KnownManufacturer :: Type -> Type

Methods

from :: KnownManufacturer -> Rep KnownManufacturer x

to :: Rep KnownManufacturer x -> KnownManufacturer

Lift KnownManufacturer

Defined in Prelude.Spiros.System

Methods

lift :: KnownManufacturer -> Q Exp

Default KnownManufacturer

≡ Intel_Manufacturer

Defined in Prelude.Spiros.System

Methods

def :: KnownManufacturer

NFData KnownManufacturer

Defined in Prelude.Spiros.System

Methods

rnf :: KnownManufacturer -> ()

Hashable KnownManufacturer

Defined in Prelude.Spiros.System

Methods

hashWithSalt :: Int -> KnownManufacturer -> Int

hash :: KnownManufacturer -> Int

type Rep KnownManufacturer

Defined in Prelude.Spiros.System

type Rep KnownManufacturer = D1 (MetaData "KnownManufacturer" "Prelude.Spiros.System" "spiros-0.4.2-AXTfsSIxN6qJkldZU4Dlmr" False) ((C1 (MetaCons "Intel_Manufacturer" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "PowerPC_Manufacturer" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Sparc_Manufacturer" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ARM_Manufacturer" PrefixI False) (U1 :: Type -> Type)))

data KnownArchitecture

Enumeration of the known GHC supported architecture.

Constructors

KnownArchitecture

Fields

• architectureManufacturer :: KnownManufacturer
• architectureProcessorBits :: ProcessorBits

Instances

Eq KnownArchitecture

Defined in Prelude.Spiros.System

Methods

(==) :: KnownArchitecture -> KnownArchitecture -> Bool

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

Ord KnownArchitecture

Defined in Prelude.Spiros.System

Methods

compare :: KnownArchitecture -> KnownArchitecture -> Ordering

(<) :: KnownArchitecture -> KnownArchitecture -> Bool

(<=) :: KnownArchitecture -> KnownArchitecture -> Bool

(>) :: KnownArchitecture -> KnownArchitecture -> Bool

(>=) :: KnownArchitecture -> KnownArchitecture -> Bool

max :: KnownArchitecture -> KnownArchitecture -> KnownArchitecture

min :: KnownArchitecture -> KnownArchitecture -> KnownArchitecture

Read KnownArchitecture

Defined in Prelude.Spiros.System

Methods

readsPrec :: Int -> ReadS KnownArchitecture

readList :: ReadS [KnownArchitecture]

readPrec :: ReadPrec KnownArchitecture

readListPrec :: ReadPrec [KnownArchitecture]

Show KnownArchitecture

Defined in Prelude.Spiros.System

Methods

showsPrec :: Int -> KnownArchitecture -> ShowS

show :: KnownArchitecture -> String

showList :: [KnownArchitecture] -> ShowS

Generic KnownArchitecture

Defined in Prelude.Spiros.System

Associated Types

type Rep KnownArchitecture :: Type -> Type

Methods

from :: KnownArchitecture -> Rep KnownArchitecture x

to :: Rep KnownArchitecture x -> KnownArchitecture

Lift KnownArchitecture

Defined in Prelude.Spiros.System

Methods

lift :: KnownArchitecture -> Q Exp

Default KnownArchitecture

IntelManufacturer and Processor64Bit.

Defined in Prelude.Spiros.System

Methods

def :: KnownArchitecture

NFData KnownArchitecture

Defined in Prelude.Spiros.System

Methods

rnf :: KnownArchitecture -> ()

Hashable KnownArchitecture

Defined in Prelude.Spiros.System

Methods

hashWithSalt :: Int -> KnownArchitecture -> Int

hash :: KnownArchitecture -> Int

type Rep KnownArchitecture

Defined in Prelude.Spiros.System

type Rep KnownArchitecture = D1 (MetaData "KnownArchitecture" "Prelude.Spiros.System" "spiros-0.4.2-AXTfsSIxN6qJkldZU4Dlmr" False) (C1 (MetaCons "KnownArchitecture" PrefixI True) (S1 (MetaSel (Just "architectureManufacturer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 KnownManufacturer) :*: S1 (MetaSel (Just "architectureProcessorBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ProcessorBits)))

data KnownOperatingSystem

Enumeration of the known GHC supported operating systems.

Constructors

Linux

Windows

OSX

Android

BSD

Instances

Bounded KnownOperatingSystem

Defined in Prelude.Spiros.System

Methods

minBound :: KnownOperatingSystem

maxBound :: KnownOperatingSystem

Enum KnownOperatingSystem

Defined in Prelude.Spiros.System

Methods

succ :: KnownOperatingSystem -> KnownOperatingSystem

pred :: KnownOperatingSystem -> KnownOperatingSystem

toEnum :: Int -> KnownOperatingSystem

fromEnum :: KnownOperatingSystem -> Int

enumFrom :: KnownOperatingSystem -> [KnownOperatingSystem]

enumFromThen :: KnownOperatingSystem -> KnownOperatingSystem -> [KnownOperatingSystem]

enumFromTo :: KnownOperatingSystem -> KnownOperatingSystem -> [KnownOperatingSystem]

enumFromThenTo :: KnownOperatingSystem -> KnownOperatingSystem -> KnownOperatingSystem -> [KnownOperatingSystem]

Eq KnownOperatingSystem

Defined in Prelude.Spiros.System

Methods

(==) :: KnownOperatingSystem -> KnownOperatingSystem -> Bool

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

Ord KnownOperatingSystem

Defined in Prelude.Spiros.System

Methods

compare :: KnownOperatingSystem -> KnownOperatingSystem -> Ordering

(<) :: KnownOperatingSystem -> KnownOperatingSystem -> Bool

(<=) :: KnownOperatingSystem -> KnownOperatingSystem -> Bool

(>) :: KnownOperatingSystem -> KnownOperatingSystem -> Bool

(>=) :: KnownOperatingSystem -> KnownOperatingSystem -> Bool

max :: KnownOperatingSystem -> KnownOperatingSystem -> KnownOperatingSystem

min :: KnownOperatingSystem -> KnownOperatingSystem -> KnownOperatingSystem

Read KnownOperatingSystem

Defined in Prelude.Spiros.System

Methods

readsPrec :: Int -> ReadS KnownOperatingSystem

readList :: ReadS [KnownOperatingSystem]

readPrec :: ReadPrec KnownOperatingSystem

readListPrec :: ReadPrec [KnownOperatingSystem]

Show KnownOperatingSystem

Defined in Prelude.Spiros.System

Methods

showsPrec :: Int -> KnownOperatingSystem -> ShowS

show :: KnownOperatingSystem -> String

showList :: [KnownOperatingSystem] -> ShowS

Ix KnownOperatingSystem

Defined in Prelude.Spiros.System

Methods

range :: (KnownOperatingSystem, KnownOperatingSystem) -> [KnownOperatingSystem]

index :: (KnownOperatingSystem, KnownOperatingSystem) -> KnownOperatingSystem -> Int

unsafeIndex :: (KnownOperatingSystem, KnownOperatingSystem) -> KnownOperatingSystem -> Int

inRange :: (KnownOperatingSystem, KnownOperatingSystem) -> KnownOperatingSystem -> Bool

rangeSize :: (KnownOperatingSystem, KnownOperatingSystem) -> Int

unsafeRangeSize :: (KnownOperatingSystem, KnownOperatingSystem) -> Int

Generic KnownOperatingSystem

Defined in Prelude.Spiros.System

Associated Types

type Rep KnownOperatingSystem :: Type -> Type

Methods

from :: KnownOperatingSystem -> Rep KnownOperatingSystem x

to :: Rep KnownOperatingSystem x -> KnownOperatingSystem

Lift KnownOperatingSystem

Defined in Prelude.Spiros.System

Methods

lift :: KnownOperatingSystem -> Q Exp

NFData KnownOperatingSystem

Defined in Prelude.Spiros.System

Methods

rnf :: KnownOperatingSystem -> ()

Hashable KnownOperatingSystem

Defined in Prelude.Spiros.System

Methods

hashWithSalt :: Int -> KnownOperatingSystem -> Int

hash :: KnownOperatingSystem -> Int

type Rep KnownOperatingSystem

Defined in Prelude.Spiros.System

type Rep KnownOperatingSystem = D1 (MetaData "KnownOperatingSystem" "Prelude.Spiros.System" "spiros-0.4.2-AXTfsSIxN6qJkldZU4Dlmr" False) ((C1 (MetaCons "Linux" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Windows" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "OSX" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Android" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BSD" PrefixI False) (U1 :: Type -> Type))))

pattern ARM64 :: KnownArchitecture

pattern ARM :: KnownArchitecture

pattern Sparc64 :: KnownArchitecture

pattern Sparc :: KnownArchitecture

pattern PowerPC64 :: KnownArchitecture

pattern PowerPC :: KnownArchitecture

pattern X86_64 :: KnownArchitecture

pattern I386 :: KnownArchitecture

currentOperatingSystem :: Either String KnownOperatingSystem

get the operating system on which the program is running.

Either return the known OS or a strict String of the OS name.

This function uses the base's os function.

allKnownArchitectures :: [KnownArchitecture]

currentArchitecture :: Either String KnownArchitecture

Get the machine architecture on which the program is running.

Either return the known architecture or a Strict String of the architecture name.

This function uses the base's arch function.

currentManufacturer :: Maybe KnownManufacturer

Get the manufacturer (if known) of the architecture on which the program is running.

Uses base's arch function.

currentEndianness :: Maybe Endianness

The endianness of the current machine's architecture.

Nothing represents:

• unknown endianness.

These endiannesses aren't represented:

• Bi-endianness. (the endianness, if swapped before the haskell program starts up, may differ).

For example, PowerPC processors start in big-endian, but PowerPC itself is bi-endian.

currentProcessorBits :: Maybe ProcessorBits

Get the number of bits (if known) of the processor on which the program is running.

Uses base's arch function.

currentCompiler :: Either String KnownHaskellCompiler

get the compiler name

This function uses the base's compilerName function.

currentNumberOfCPUs :: IO Natural

returns the number of CPUs the machine has

getCPUsVerbose :: IO [CPU]

getCPUsSummary :: IO CPUsSummary