Moduleghc-internal-9.1003.0Haskell2010

GHC.Internal.Foreign.Marshal.Array

Marshalling support: routines allocating, storing, and retrieving Haskell lists that are represented as arrays in the foreign language

22 values

Packageghc-internal-9.1003.0
Exports22
LanguageHaskell2010
LicenceBSD-3-Clause
SourceArray.hs

Marshalling arrays

0 declarations

Allocation

valuemallocArray :: Storable a => Int -> IO (Ptr a)

Allocate storage for the given number of elements of a storable type (like malloc, but for multiple elements).

valuemallocArray0 :: Storable a => Int -> IO (Ptr a)

Like mallocArray, but add an extra position to hold a special termination element.

valueallocaArray :: Storable a => Int -> (Ptr a -> IO b) -> IO b

Temporarily allocate space for the given number of elements (like alloca, but for multiple elements).

valueallocaArray0 :: Storable a => Int -> (Ptr a -> IO b) -> IO b

Like allocaArray, but add an extra position to hold a special termination element.

valuereallocArray :: Storable a => Ptr a -> Int -> IO (Ptr a)

Adjust the size of an array

valuereallocArray0 :: Storable a => Ptr a -> Int -> IO (Ptr a)

Adjust the size of an array including an extra position for the end marker.

valuecallocArray :: Storable a => Int -> IO (Ptr a)

Like mallocArray, but allocated memory is filled with bytes of value zero.

valuecallocArray0 :: Storable a => Int -> IO (Ptr a)

Like callocArray0, but allocated memory is filled with bytes of value zero.

Marshalling

valuepeekArray :: Storable a => Int -> Ptr a -> IO [a]

Convert an array of given length into a Haskell list. The implementation is tail-recursive and so uses constant stack space.

valuepeekArray0 :: (Storable a, Eq a) => a -> Ptr a -> IO [a]

Convert an array terminated by the given end marker into a Haskell list

valuepokeArray :: Storable a => Ptr a -> [a] -> IO ()

Write the list elements consecutive into memory

valuepokeArray0 :: Storable a => a -> Ptr a -> [a] -> IO ()

Write the list elements consecutive into memory and terminate them with the given marker element

Combined allocation and marshalling

valuenewArray :: Storable a => [a] -> IO (Ptr a)

Write a list of storable elements into a newly allocated, consecutive sequence of storable values (like new, but for multiple elements).

valuenewArray0 :: Storable a => a -> [a] -> IO (Ptr a)

Write a list of storable elements into a newly allocated, consecutive sequence of storable values, where the end is fixed by the given end marker

valuewithArray :: Storable a => [a] -> (Ptr a -> IO b) -> IO b

Temporarily store a list of storable values in memory (like with, but for multiple elements).

valuewithArray0 :: Storable a => a -> [a] -> (Ptr a -> IO b) -> IO b

Like withArray, but a terminator indicates where the array ends

valuewithArrayLen :: Storable a => [a] -> (Int -> Ptr a -> IO b) -> IO b

Like withArray, but the action gets the number of values as an additional parameter

valuewithArrayLen0 :: Storable a => a -> [a] -> (Int -> Ptr a -> IO b) -> IO b

Like withArrayLen, but a terminator indicates where the array ends

Copying

(argument order: destination, source)

valuecopyArray :: Storable a => Ptr a -> Ptr a -> Int -> IO ()

Copy the given number of elements from the second array (source) into the first array (destination); the copied areas may not overlap

valuemoveArray :: Storable a => Ptr a -> Ptr a -> Int -> IO ()

Copy the given number of elements from the second array (source) into the first array (destination); the copied areas may overlap

Finding the length

valuelengthArray0 :: (Storable a, Eq a) => a -> Ptr a -> IO Int

Return the number of elements in an array, excluding the terminator

Indexing

valueadvancePtr :: Storable a => Ptr a -> Int -> Ptr a

Advance a pointer into an array by the given number of elements