Graphics.Vulkan.Marshal.Create.DataFrame

This module provides an orphan instance of PrimBytes for VulkanMarshalPrim structures. This enables them to be stored in DataFrames from easytensor package. Thanks to internal structure of Vulkan structures, they can be manipulated inside DataFrames in a very efficient way (just by copying byte arrays). However, original DataFrames are based on unpinned arrays; functions here check this and copy data to new pinned arrays if needed.

In addition to the orphan instance, this module provides a few handy helper functions.

Documentation

setVec :: forall fname x t. (FieldType fname x ~ t, PrimBytes (Vector t (FieldArrayLength fname x)), CanWriteFieldArray fname 0 x) => Vector t (FieldArrayLength fname x) -> CreateVkStruct x '[fname] ()

Write an array of values in one go.

getVec :: forall fname x t. (FieldType fname x ~ t, PrimBytes (Vector t (FieldArrayLength fname x)), CanReadFieldArray fname 0 x, VulkanMarshalPrim x) => x -> Vector t (FieldArrayLength fname x)

Get an array of values, possibly without copying (if vector implementation allows).

fillDataFrame :: forall a. PrimBytes a => Word -> (Ptr a -> IO ()) -> IO (Vector a (XN 0))

Given the number of elements, create a new pinned DataFrame and initialize it using the provided function.

The argument function is called one time with a Ptr pointing to the beginning of a contiguous array. This array is converted into a dataframe, possibly without copying.

It is safe to pass result of this function to withDFPtr.

withDFPtr :: VulkanDataFrame a ds => DataFrame a ds -> (Ptr a -> IO b) -> IO b

Run some operation with a pointer to the first item in the frame. All items of the frame are kept in a contiguous memory area accessed by that pointer.

The function attempts to get an underlying ByteArray# without data copy; otherwise, it creates a new pinned ByteArray# and passes a pointer to it. Therefore:

• Sometimes, Ptr a points to the original DF; sometimes, to a copied one.
• If the original DF is based on unpinned ByteArray#, using this performs a copy anyway.

setDFRef :: forall fname x a ds. (CanWriteField fname x, FieldType fname x ~ Ptr a, VulkanDataFrame a ds) => DataFrame a ds -> CreateVkStruct x '[fname] ()

A variant of setVkRef that writes a pointer to a contiguous array of structures.

Write a pointer to a vulkan structure - member of current structure and make sure the member exists as long as this structure exists.

Prefer this function to using unsafePtr a, because the latter does not keep the dependency information in GC, which results in member structure being garbage-collected and the reference being invalid.

Helpers

class VulkanDataFrame a (ds :: [k]) where

Minimal complete definition

frameToVkData, vkDataToFrame

Methods

frameToVkData :: DataFrame a ds -> VkDataFrame a ds

Construct a new VkDataFrame possibly without copying. It performs no copy if the DataFrame implementation is a pinned ByteArray#.

vkDataToFrame :: Dims ds -> VkDataFrame a ds -> DataFrame a ds

Construct a new (pinned if implementation allows) DataFrame from VK data, possibly without copying.

Note, this is a user responsibility to check if the real size of VkDataFrame and the dimensionality ds agree.

Instances

(PrimBytes a, ArraySingleton a ds, Dimensions Nat ds) => VulkanDataFrame * Nat a ds

Methods

frameToVkData :: DataFrame a ds a ds -> VkDataFrame a ds a ds

vkDataToFrame :: Dims ds ds -> VkDataFrame a ds a ds -> DataFrame a ds a ds

(PrimBytes a, All XNat KnownXNatType ds) => VulkanDataFrame * XNat a ds

Methods

frameToVkData :: DataFrame a ds a ds -> VkDataFrame a ds a ds

vkDataToFrame :: Dims ds ds -> VkDataFrame a ds a ds -> DataFrame a ds a ds

data VkDataFrame (t :: l) (ds :: [k])

Special data type used to provide VulkanMarshal instance for DataFrames. It is guaranteed to be pinned.

Constructors

VkDataFrame# Addr# ByteArray#

Instances

PrimBytes (DataFrame l k t ds) => Storable (VkDataFrame l k t ds)

Methods

sizeOf :: VkDataFrame l k t ds -> Int

alignment :: VkDataFrame l k t ds -> Int

peekElemOff :: Ptr (VkDataFrame l k t ds) -> Int -> IO (VkDataFrame l k t ds)

pokeElemOff :: Ptr (VkDataFrame l k t ds) -> Int -> VkDataFrame l k t ds -> IO ()

peekByteOff :: Ptr b -> Int -> IO (VkDataFrame l k t ds)

pokeByteOff :: Ptr b -> Int -> VkDataFrame l k t ds -> IO ()

peek :: Ptr (VkDataFrame l k t ds) -> IO (VkDataFrame l k t ds)

poke :: Ptr (VkDataFrame l k t ds) -> VkDataFrame l k t ds -> IO ()

PrimBytes (DataFrame l k t ds) => VulkanMarshal (VkDataFrame l k t ds)

Associated Types

type StructFields (VkDataFrame l k t ds) :: [Symbol]

type CUnionType (VkDataFrame l k t ds) :: Bool

type ReturnedOnly (VkDataFrame l k t ds) :: Bool

type StructExtends (VkDataFrame l k t ds) :: [Type]

Methods

newVkData :: (Ptr (VkDataFrame l k t ds) -> IO ()) -> IO (VkDataFrame l k t ds)

mallocVkData :: IO (VkDataFrame l k t ds)

mallocVkDataArray :: Int -> IO (Ptr (VkDataFrame l k t ds), [VkDataFrame l k t ds])

unsafePtr :: VkDataFrame l k t ds -> Ptr (VkDataFrame l k t ds)

fromForeignPtr :: ForeignPtr (VkDataFrame l k t ds) -> IO (VkDataFrame l k t ds)

toForeignPtr :: VkDataFrame l k t ds -> IO (ForeignPtr (VkDataFrame l k t ds))

toPlainForeignPtr :: VkDataFrame l k t ds -> IO (ForeignPtr (VkDataFrame l k t ds))

touchVkData :: VkDataFrame l k t ds -> IO ()

VulkanMarshalPrim (VkDataFrame l k t ds)

Methods

unsafeAddr :: VkDataFrame l k t ds -> Addr#

unsafeByteArray :: VkDataFrame l k t ds -> ByteArray#

unsafeFromByteArrayOffset :: Int# -> ByteArray# -> VkDataFrame l k t ds

type StructExtends (VkDataFrame l k t ds)

type StructExtends (VkDataFrame l k t ds) = [] Type

type ReturnedOnly (VkDataFrame l k t ds)

type ReturnedOnly (VkDataFrame l k t ds) = False

type CUnionType (VkDataFrame l k t ds)

type CUnionType (VkDataFrame l k t ds) = False

type StructFields (VkDataFrame l k t ds)

type StructFields (VkDataFrame l k t ds) = [] Symbol

Orphan instances

(VulkanMarshalPrim a, Storable a) => PrimBytes a

Methods

getBytes :: a -> ByteArray#

fromBytes :: Int# -> ByteArray# -> a

readBytes :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, a#)

writeBytes :: MutableByteArray# s -> Int# -> a -> State# s -> State# s

readAddr :: Addr# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, a#)

writeAddr :: a -> Addr# -> State# s -> State# s

byteSize :: a -> Int#

byteAlign :: a -> Int#

byteOffset :: a -> Int#

indexArray :: ByteArray# -> Int# -> a

readArray :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, a#)

writeArray :: MutableByteArray# s -> Int# -> a -> State# s -> State# s