Foreign.Storable

Методы

sizeOf :: a -> Int Источник

Вычисляет требования к хранению (в байтах) аргумента. Значение аргумента не используется.

alignment :: a -> Int Источник

Вычисляет ограничение выравнивания аргумента. Ограничение выравнивания x выполняется любым адресом, делящимся на x. Выравнивание должно быть степенью двойки, если этот экземпляр будет использоваться с alloca или allocaArray. Значение аргумента не используется.

peekElemOff :: Ptr a -> Int -> IO a Источник

Считывает значение из области памяти, рассматриваемой как массив значений одного и того же типа. Первый аргумент указывает начальный адрес массива, а второй - индекс в массиве (первый элемент массива имеет индекс 0). Выполняется следующее равенство:

peekElemOff addr idx = IOExts.fixIO $ \result ->
  peek (addr `plusPtr` (idx * sizeOf result))

Обратите внимание, что это только спецификация, а не обязательно конкретная реализация функции.

pokeElemOff :: Ptr a -> Int -> a -> IO () Источник

Записывает значение в область памяти, рассматриваемую как массив значений одного и того же типа. Выполняется следующее равенство:

pokeElemOff addr idx x =
  poke (addr `plusPtr` (idx * sizeOf x)) x

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

Считывает значение из расположения памяти, заданного базовым адресом и смещением. Выполняется следующее равенство:

peekByteOff addr off = peek (addr `plusPtr` off)

pokeByteOff :: Ptr b -> Int -> a -> IO () Источник

Записывает значение в расположение памяти, заданное базовым адресом и смещением. Выполняется следующее равенство:

pokeByteOff addr off x = poke (addr `plusPtr` off) x

peek :: Ptr a -> IO a Источник

Считывает значение из данного расположения памяти.

Обратите внимание, что функции peek и poke могут потребовать правильно выровненных адресов для корректной работы. Это зависит от архитектуры; следовательно, переносимый код должен гарантировать, что при чтении или записи значений некоторого типа a, ограничение выравнивания для a, как задано функцией alignment, выполняется.

poke :: Ptr a -> a -> IO () Источник

Записывает заданное значение в заданное расположение памяти. Могут применяться ограничения выравнивания; см. peek.