Create a pointer with an associated finalizer
Constructors
FinalPtr (Ptr a)FinalForeign (ForeignPtr a)
Modulebasement-0.0.16Haskell2010
Basement.FinalPtr
A smaller ForeignPtr reimplementation that work in any prim monad.
Here be dragon.
Synopsis
- data FinalPtr
- value finalPtrSameMemory
- value castFinalPtr
- value toFinalPtr
- value toFinalPtrForeign
- value touchFinalPtr
- value withFinalPtr
- value withUnsafeFinalPtr
- value withFinalPtrNoTouch
- Packagebasement-0.0.16
- Exports9
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceFinalPtr.hs
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
Cast a finalized pointer from type a to type b
create a new FinalPtr from a Pointer
Create a new FinalPtr from a ForeignPtr
Looks at the raw pointer inside a FinalPtr, making sure the
data pointed by the pointer is not finalized during the call to f
Unsafe version of withFinalPtr