GHC.Ptr

data Ptr a Source

Значение типа Ptr a представляет указатель на объект или массив объектов, которые могут быть преобразованы в значения Haskell типа a или из них.

Тип a часто будет экземпляром класса Storable, который предоставляет операции преобразования. Однако это не обязательно, и вы можете предоставить свои собственные операции для доступа к указателю. Например, вы можете написать небольшие внешние функции для получения или установки полей структуры C struct.

data FunPtr a Исходный код

Значение типа FunPtr a — это указатель на функцию, вызываемую из внешнего кода. Тип a обычно является внешним типом, типом функции с нулем или более аргументами, где

• типы аргументов являются маршализуемыми внешними типами, т. е. Char, Int, Double, Float, Bool, Int8, Int16, Int32, Int64, Word8, Word16, Word32, Word64, Ptr a, FunPtr a, StablePtr a или переименованием любого из них с помощью newtype.
• тип возвращаемого значения — это либо маршализуемый внешний тип, либо имеет вид IO t , где t — это маршализуемый внешний тип или ().

Значение типа FunPtr a может быть указателем на внешнюю функцию, возвращённой другой внешней функцией или импортированной со статическим адресом, как

foreign import ccall "stdlib.h &free"
  p_free :: FunPtr (Ptr a -> IO ())

или указатель на функцию Haskell, созданную с помощью обёртки-заглушки, объявленной для создания FunPtr правильного типа. Например:

type Compare = Int -> Int -> Bool
foreign import ccall "wrapper"
  mkCompare :: Compare -> IO (FunPtr Compare)

Вызовы обёртки-заглушки, такие как mkCompare, выделяют память, которую необходимо освободить с помощью freeHaskellFunPtr, когда она больше не требуется.

Для преобразования значений FunPtr в соответствующие функции Haskell можно определить динамическую заглушку для конкретного внешнего типа, например:

type IntFunction = CInt -> IO ()
foreign import ccall "dynamic"
  mkFun :: FunPtr IntFunction -> IntFunction

nullPtr :: Ptr a Источник

Константа nullPtr содержит выделенное значение Ptr, которое не ассоциировано с допустимым местом памяти.

castPtr :: Ptr a -> Ptr b Источник

Функция castPtr преобразует указатель из одного типа в другой.

plusPtr :: Ptr a -> Int -> Ptr b Источник

Смещает заданный адрес на заданное смещение в байтах.

alignPtr :: Ptr a -> Int -> Ptr a Source

Дано произвольный адрес и ограничение выравнивания, alignPtr возвращает следующий более высокий адрес, удовлетворяющий ограничению выравнивания. Ограничение выравнивания x выполняется любым адресом, делящимся на x. Данная операция идемпотентна.

minusPtr :: Ptr a -> Ptr b -> Int Source

Вычисляет смещение, необходимое для перехода от второго к первому аргументу. У нас

p2 == p1 `plusPtr` (p2 `minusPtr` p1)

nullFunPtr :: FunPtr a Source

Константа nullFunPtr содержит выделенное значение FunPtr, которое не связано с допустимым местоположением памяти.

castFunPtr :: FunPtr a -> FunPtr b Source

Преобразует FunPtr в FunPtr другого типа.

castFunPtrToPtr :: FunPtr a -> Ptr b Source

Преобразует FunPtr в Ptr.

Примечание: это допустимо только на архитектурах, где указатели на данные и функции охватывают один и тот же набор адресов, и должно использоваться только для связывания с внешними библиотеками, чьи интерфейсы уже полагаются на это предположение.

castPtrToFunPtr :: Ptr a -> FunPtr b Source

Преобразует Ptr в FunPtr.

Примечание: это допустимо только на архитектурах, где указатели на данные и функции охватывают один и тот же набор адресов, и должно использоваться только для связывания с внешними библиотеками, чьи интерфейсы уже полагаются на это предположение.