如何在Haskell中为StablePtr提供Data.Vector.Unbox实例？

Question

我想使用vector包来存储StablePtr a的未装箱数组

我如何使用以下（或其变体）：

ptr2Int :: Ptr a -> Int
ptr2Int (Ptr a) = I# (addr2Int# a)

stablePtrToInt :: StablePtr a -> Int
stablePtrToInt = ptr2Int . castStablePtrToPtr

intToStablePtr :: Int -> StablePtr a
intToStablePtr (I# i) = castPtrToStablePtr $ Ptr (int2Addr# i)

为Unbox声明StablePtr a个实例？

Answer 1

实际上不需要尝试为StablePtr定义Unbox实例。由于StablePtr是Storable的实例，因此您可以使用Data.Vector.Storable。