Foreign.Marshal.Pool
Pool management
data
Pool
newPool
freePool
withPool
(Re-)Allocation within a pool
pooledMalloc
pooledMallocBytes
pooledRealloc
pooledReallocBytes
pooledMallocArray
pooledMallocArray0
pooledReallocArray
pooledReallocArray0
Combined allocation and marshalling
pooledNew
pooledNewArray
pooledNewArray0