Foreign.Marshal.ContT

This library wraps the standard base bracketed allocation primitives (along with those from ByteString) in a ContT-based interface to ease the chaining of complex marshalling operations.

alloca

alloca :: Storable a => ContT r IO (Ptr a)

alloca is a continuation that provides access to a pointer into a temporary block of memory sufficient to hold values of type a.

allocaWith :: Storable a => a -> ContT r IO (Ptr a)

allocaWith a is a continuation that provides access to a pointer into a temporary block of memory containing a.

allocaBytes :: Int -> ContT r IO (Ptr a)

allocaBytes n is a continuation that provides access to a pointer into a temporary block of memory sufficient to hold n bytes, with machine-standard alignment.

allocaBytesAligned :: Int -> Int -> ContT r IO (Ptr a)

allocaBytesAligned n a is a continuation that provides access to a pointer into a temporary block of memory sufficient to hold n bytes, with a-byte alignment.

calloc

calloc :: forall r a. Storable a => ContT r IO (Ptr a)

calloc is a continuation that provides access to a pointer into a temporary block of zeroed memory sufficient to hold values of type a.

callocBytes :: Int -> ContT r IO (Ptr a)

callocBytes n is a continuation that provides access to a pointer into a temporary block of zeroed memory sufficient to hold n bytes, with machine-standard alignment.

allocaArray

allocaArray :: Storable a => Int -> ContT r IO (Ptr a)

allocaArray @a n is a continuation that provides access to a pointer into a temporary block of memory sufficient to hold n values of type a.

allocaArrayWith :: (Traversable t, Storable a) => t a -> ContT r IO (Ptr a)

allocaArrayWith xs is a continuation that provides access to a pointer into a temporary block of memory containing the values of xs.

allocaArray0 :: Storable a => Int -> ContT r IO (Ptr a)

allocaArray0 @a n is a continuation that provides access to a pointer into a temporary block of memory sufficient to hold n values of type a, along with a final terminal element.

allocaArrayWith0 :: (Traversable t, Storable a) => t a -> a -> ContT r IO (Ptr a)

allocaArrayWith xs end is a continuation that provides access to a pointer into a temporary block of memory containing the values of xs, terminated with end.

callocArray

callocArray :: Storable a => Int -> ContT r IO (Ptr a)

callocArray0 @a n is a continuation that provides access to a pointer into a temporary block of zeroed memory sufficient to hold n values of type a.

callocArray0 :: Storable a => Int -> ContT r IO (Ptr a)

callocArray0 @a n is a continuation that provides access to a pointer into a temporary block of zeroed memory sufficient to hold n values of type a, along with a final terminal element.

withForeignPtr

withForeignPtr :: ForeignPtr a -> ContT r IO (Ptr a)

withForeignPtr ptr is a continuation that provides safe access to the backing pointer of ptr.

ToCString

class ToCString a where

ToCString a is a class for types a that can be encoded into CStrings.

Methods

withCString :: a -> ContT r IO CString

withCString a is a continuation that provides access to a as a CString.

withCStringLen :: a -> ContT r IO CStringLen

withCStringLen a is a continuation that provides access to a as a CStringLen.

Instances

ToCString String

Defined in Foreign.Marshal.ContT

Methods

withCString :: String -> ContT r IO CString

withCStringLen :: String -> ContT r IO CStringLen

ToCString ShortByteString

Defined in Foreign.Marshal.ContT

Methods

withCString :: ShortByteString -> ContT r IO CString

withCStringLen :: ShortByteString -> ContT r IO CStringLen

ToCString ByteString

Defined in Foreign.Marshal.ContT

Methods

withCString :: ByteString -> ContT r IO CString

withCStringLen :: ByteString -> ContT r IO CStringLen