Mapping of C types to corresponding Haskell types.

These types are needed to accurately represent C function prototypes,in order to access C library interfaces in Haskell. The Haskell systemis not required to represent those types exactly as C does, but thefollowing guarantees are provided concerning a Haskell typeCTrepresenting a C typet:

• If a C function prototype hast as an argument or result type, the use ofCT in the corresponding position in a foreign declaration permits the Haskell program to access the full range of values encoded by the C type; and conversely, any Haskell value forCT has a valid representation in C.
• sizeOf (Prelude.undefined :: CT) will yield the same value assizeof (t) in C.
• alignment (Prelude.undefined :: CT) matches the alignment constraint enforced by the C implementation fort.
• The memberspeek andpoke of theStorable class map all values ofCT to the corresponding value oft and vice versa.
• When an instance ofPrelude.Bounded is defined forCT, the values ofPrelude.minBound andPrelude.maxBound coincide witht_MIN andt_MAX in C.
• When an instance ofPrelude.Eq orPrelude.Ord is defined forCT, the predicates defined by the type class implement the same relation as the corresponding predicate in C ont.
• When an instance ofPrelude.Num,Prelude.Read,Prelude.Integral,Prelude.Fractional,Prelude.Floating,Prelude.RealFrac, orPrelude.RealFloat is defined forCT, the arithmetic operations defined by the type class implement the same function as the corresponding arithmetic operations (if available) in C ont.
• When an instance ofBits is defined forCT, the bitwise operation defined by the type class implement the same function as the corresponding bitwise operation in C ont.

These types are are represented asnewtypes of types inData.Int andData.Word, and are instances ofPrelude.Eq,Prelude.Ord,Prelude.Num,Prelude.Read,Prelude.Show,Prelude.Enum,Typeable,Storable,Prelude.Bounded,Prelude.Real,Prelude.Integral andBits.

dataCCharSource

dataCSCharSource

dataCUCharSource

dataCShortSource

dataCUShortSource

dataCIntSource

dataCUIntSource

dataCLongSource

dataCULongSource

dataCPtrdiffSource

dataCSizeSource

dataCWcharSource

dataCSigAtomicSource

dataCLLongSource

dataCULLongSource

dataCIntPtrSource

dataCUIntPtrSource

dataCIntMaxSource

dataCUIntMaxSource

These types are are represented asnewtypes of basic foreign types, and are instances ofPrelude.Eq,Prelude.Ord,Prelude.Num,Prelude.Read,Prelude.Show,Prelude.Enum,Typeable andStorable.

dataCClockSource

dataCTimeSource

dataCUSecondsSource

dataCSUSecondsSource

To convertCTime toData.Time.UTCTime, use the following formula:

  posixSecondsToUTCTime (realToFrac :: POSIXTime)

These types are are represented asnewtypes ofPrelude.Float andPrelude.Double, and are instances ofPrelude.Eq,Prelude.Ord,Prelude.Num,Prelude.Read,Prelude.Show,Prelude.Enum,Typeable,Storable,Prelude.Real,Prelude.Fractional,Prelude.Floating,Prelude.RealFrac andPrelude.RealFloat.

dataCFloatSource

dataCDoubleSource

dataCFileSource

dataCFposSource

dataCJmpBufSource