License | BSD-style |
---|---|
Maintainer | Vincent Hanquez <vincent@snarc.org> |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
- data FinalPtr a
- = FinalPtr (Ptr a)
- | FinalForeign (ForeignPtr a)
- finalPtrSameMemory :: FinalPtr a -> FinalPtr b -> Bool
- castFinalPtr :: FinalPtr a -> FinalPtr b
- toFinalPtr :: PrimMonad prim => Ptr a -> (Ptr a -> IO ()) -> prim (FinalPtr a)
- toFinalPtrForeign :: ForeignPtr a -> FinalPtr a
- withFinalPtr :: PrimMonad prim => FinalPtr p -> (Ptr p -> prim a) -> prim a
- withUnsafeFinalPtr :: PrimMonad prim => FinalPtr p -> (Ptr p -> prim a) -> a
- withFinalPtrNoTouch :: FinalPtr p -> (Ptr p -> a) -> a
- foreignMem :: PrimType ty => FinalPtr ty -> CountOf ty -> UArray ty
- mutableForeignMem :: (PrimMonad prim, PrimType ty) => FinalPtr ty -> Int -> prim (MUArray ty (PrimState prim))
- module Foreign.C.Types
Documentation
Create a pointer with an associated finalizer
FinalPtr (Ptr a) | |
FinalForeign (ForeignPtr a) |
finalPtrSameMemory :: FinalPtr a -> FinalPtr b -> Bool Source #
Check if 2 final ptr points on the same memory bits
it stand to reason that provided a final ptr that is still being referenced and thus have the memory still valid, if 2 final ptrs have the same address, they should be the same final ptr
castFinalPtr :: FinalPtr a -> FinalPtr b Source #
Cast a finalized pointer from type a to type b
toFinalPtr :: PrimMonad prim => Ptr a -> (Ptr a -> IO ()) -> prim (FinalPtr a) Source #
create a new FinalPtr from a Pointer
toFinalPtrForeign :: ForeignPtr a -> FinalPtr a Source #
Create a new FinalPtr from a ForeignPtr
withFinalPtr :: PrimMonad prim => FinalPtr p -> (Ptr p -> prim a) -> prim a Source #
Looks at the raw pointer inside a FinalPtr, making sure the
data pointed by the pointer is not finalized during the call to f
withUnsafeFinalPtr :: PrimMonad prim => FinalPtr p -> (Ptr p -> prim a) -> a Source #
Unsafe version of withFinalPtr
withFinalPtrNoTouch :: FinalPtr p -> (Ptr p -> a) -> a Source #
module Foreign.C.Types