Foreign.C.Types

Copyright	(c) The FFI task force 2001
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	ffi@haskell.org
Stability	provisional
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

Представления типов C

Эти типы необходимы для точного представления прототипов функций C, чтобы получить доступ к интерфейсам библиотек C в Haskell. Система Haskell не обязана представлять эти типы точно так же, как C, но предоставляются следующие гарантии относительно типа Haskell CT, представляющего тип C t:

• Если прототип функции C имеет t в качестве типа аргумента или результата, использование CT в соответствующей позиции во внешнем объявлении позволяет программе Haskell получить доступ ко всему диапазону значений, закодированных типом C; и наоборот, любое значение Haskell для CT имеет допустимое представление в C.
• sizeOf (undefined :: CT) даст такое же значение, как sizeof (t) в C.
• alignment (undefined :: CT) соответствует ограничению выравнивания, налагаемому реализацией C для t.
• Члены peek и poke класса Storable отображают все значения CT на соответствующее значение t и наоборот.
• Когда экземпляр Bounded определен для CT, значения minBound и maxBound совпадают с t_MIN и t_MAX в C.
• Когда экземпляр Eq или Ord определен для CT, предикаты, определенные классом типов, реализуют то же самое отношение, что и соответствующий предикат в C для t.
• Когда экземпляр Num, Read, Integral, Fractional, Floating, RealFrac, или RealFloat определен для CT, арифметические операции, определенные классом типов, реализуют ту же функцию, что и соответствующие арифметические операции (если доступны) в C для t.
• Когда экземпляр Bits определен для CT, побитовая операция, определенная классом типов, реализует ту же функцию, что и соответствующая побитовая операция в C для t.

Целочисленные типы

Эти типы представлены как newtype типов в Data.Int и Data.Word, и являются экземплярами Eq, Ord, Num, Read, Show, Enum, Typeable, Storable, Bounded, Real, Integral и Bits.

newtype CChar Source

Тип Haskell, представляющий тип C char.

newtype CSChar Source

Тип Haskell, представляющий тип C signed char.

newtype CUChar Source

Тип Haskell, представляющий тип C unsigned char.

newtype CShort Source

Тип Haskell, представляющий тип C short.

newtype CUShort Source

Тип Haskell, представляющий тип C unsigned short.

newtype CInt Source

Тип Haskell, представляющий тип C int.

newtype CUInt Source

Тип Haskell, представляющий тип C unsigned int.

newtype CLong Source

Тип Haskell, представляющий тип C long.

newtype CULong Source

Тип Haskell, представляющий тип C unsigned long.

newtype CPtrdiff Source

Тип Haskell, представляющий тип C ptrdiff_t.

newtype CSize Source

Тип Haskell, представляющий тип C size_t.

newtype CWchar Source

Тип Haskell, представляющий тип C wchar_t.

newtype CSigAtomic Source

Тип Haskell, представляющий тип C sig_atomic_t.

newtype CLLong Source

Тип Haskell, представляющий тип C long long.

newtype CULLong Source

Тип Haskell, представляющий тип C unsigned long long.

newtype CIntPtr Source

newtype CUIntPtr Source

newtype CIntMax Source

newtype CUIntMax Source

Числовые типы

Эти типы представлены как newtypes базовых внешних типов и являются экземплярами Eq, Ord, Num, Read, Show, Enum, Typeable и Storable.

newtype CClock Source

Тип Haskell, представляющий тип C clock_t.

newtype CTime Source

Тип Haskell, представляющий тип C time_t.

newtype CUSeconds Source

Тип Haskell, представляющий тип C useconds_t.

Since: 4.4.0.0

newtype CSUSeconds Source

Тип Haskell, представляющий тип C suseconds_t.

Since: 4.4.0.0

Для преобразования CTime в UTCTime, используйте следующее:

\t -> posixSecondsToUTCTime (realToFrac t :: POSIXTime)

Типы с плавающей точкой

Эти типы представлены как newtype Float и Double, и являются экземплярами Eq, Ord, Num, Read, Show, Enum, Typeable, Storable, Real, Fractional, Floating, RealFrac и RealFloat.

newtype CFloat Source

Тип Haskell, представляющий тип C float.

newtype CDouble Source

Тип Haskell, представляющий тип C double.

Другие типы

data CFile Источник

Тип Haskell, представляющий тип C FILE.

data CFpos Источник

Тип Haskell, представляющий тип C fpos_t.

data CJmpBuf Источник

Тип Haskell, представляющий тип C jmp_buf.