Graphics.Vulkan.Marshal.Create

This module is not part of auto-generated code based on vk.xml. It is also not included into Vulkan. It just provides convenient helpers for creation of vulkan structures.

Documentation

data CreateVkStruct x fs a

Safely fill-in a new vulkan structure

Instances

Monad (CreateVkStruct x fs)

Methods

(>>=) :: CreateVkStruct x fs a -> (a -> CreateVkStruct x fs b) -> CreateVkStruct x fs b

(>>) :: CreateVkStruct x fs a -> CreateVkStruct x fs b -> CreateVkStruct x fs b

return :: a -> CreateVkStruct x fs a

fail :: String -> CreateVkStruct x fs a

Functor (CreateVkStruct x fs)

Methods

fmap :: (a -> b) -> CreateVkStruct x fs a -> CreateVkStruct x fs b

(<$) :: a -> CreateVkStruct x fs b -> CreateVkStruct x fs a

Applicative (CreateVkStruct x fs)

Methods

pure :: a -> CreateVkStruct x fs a

(<*>) :: CreateVkStruct x fs (a -> b) -> CreateVkStruct x fs a -> CreateVkStruct x fs b

(*>) :: CreateVkStruct x fs a -> CreateVkStruct x fs b -> CreateVkStruct x fs b

(<*) :: CreateVkStruct x fs a -> CreateVkStruct x fs b -> CreateVkStruct x fs a

createVk :: (VulkanMarshal x, VulkanMarshalPrim x, HandleRemFields x fs) => CreateVkStruct x fs () -> x

Create a vulkan structure.

Use smart creation functions like setVk, setStrRef, setListRef, etc to keep GC aware of references between dependent structures.

createVk produces at most one weak reference to a created structure with a set of haskell and C finalizers. These finalizers make sure all malloced memory is released and no managed memory gets purged too early.

(&*) :: CreateVkStruct x as () -> CreateVkStruct x bs () -> CreateVkStruct x (Union x as bs) () infixl 1

Combine multiple field writes.

set :: forall fname x. CanWriteField fname x => FieldType fname x -> CreateVkStruct x '[fname] ()

writeField wrapped into CreateVkStruct monad.

setAt :: forall fname i x. CanWriteFieldArray fname i x => FieldType fname x -> CreateVkStruct x '[fname] ()

writeFieldArray wrapped into CreateVkStruct monad.

setVk :: forall fname x afs a. (CanWriteField fname x, a ~ FieldType fname x, VulkanMarshal a, HandleRemFields a afs) => CreateVkStruct a afs () -> CreateVkStruct x '[fname] ()

Write fields of a member struct.

setVkRef :: forall fname x a. (CanWriteField fname x, FieldType fname x ~ Ptr a, VulkanMarshal a) => a -> CreateVkStruct x '[fname] ()

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.

setStr :: forall fname x. (CanWriteFieldArray fname 0 x, FieldType fname x ~ CChar) => String -> CreateVkStruct x '[fname] ()

Write a String into a vulkan struct in-place.

setStrRef :: forall fname x. (CanWriteField fname x, FieldType fname x ~ CString) => String -> CreateVkStruct x '[fname] ()

Allocate memory for a CString, store it, and write a pointer to it into vulkan structure.

This function also attaches a reliable finalizer to the vulkan struct, so that the allocated memory is freed when the structure is GCed.

setStrListRef :: forall fname x. (CanWriteField fname x, FieldType fname x ~ Ptr CString) => [String] -> CreateVkStruct x '[fname] ()

Allocate memory for an array of elements, store them, and write a pointer to the array into vulkan structure.

This function also attaches a reliable finalizer to the vulkan struct, so that the array memory is freed when the structure is GCed.

This function writes null pointer if used with an empty list.

setListRef :: forall fname x a. (CanWriteField fname x, FieldType fname x ~ Ptr a, Storable a) => [a] -> CreateVkStruct x '[fname] ()

Allocate memory for an array of elements, store them, and write a pointer to the array into vulkan structure.

This function also attaches a reliable finalizer to the vulkan struct, so that the array memory is freed when the structure is GCed.

This function writes null pointer if used with an empty list.

class SetOptionalFields x fs where

Minimal complete definition

setOptionalFields

Methods

setOptionalFields :: CreateVkStruct x fs ()

Instances

SetOptionalFields x ([] Symbol)

Methods

setOptionalFields :: CreateVkStruct x [Symbol] ()

(SetOptionalFields x fs, FieldMustBeOptional f x, Storable (FieldType f x), HasField f x) => SetOptionalFields x ((:) Symbol f fs)

Methods

setOptionalFields :: CreateVkStruct x ((Symbol ': f) fs) ()

class CUnionType x ~ isUnion => HandleRemainingFields x fs isUnion where

Notify user if some required fields are missing and fill in optional fields.

Minimal complete definition

handleRemFields

Methods

handleRemFields :: CreateVkStruct x fs ()

Instances

(SetOptionalFields x (Difference (StructFields x) fs), (~) Bool (CUnionType x) False) => HandleRemainingFields x fs False

Methods

handleRemFields :: CreateVkStruct x fs ()

(TypeError Constraint (SetUnionMsg x), (~) Bool (CUnionType x) True) => HandleRemainingFields x ([] Symbol) True

Methods

handleRemFields :: CreateVkStruct x [Symbol] ()

(TypeError Constraint (SetUnionMsg x), (~) Bool (CUnionType x) True) => HandleRemainingFields x ((:) Symbol a ((:) Symbol b fs)) True

Methods

handleRemFields :: CreateVkStruct x ((Symbol ': a) ((Symbol ': b) fs)) ()

(~) Bool (CUnionType x) True => HandleRemainingFields x ((:) Symbol f ([] Symbol)) True

Methods

handleRemFields :: CreateVkStruct x ((Symbol ': f) [Symbol]) ()

type HandleRemFields x fs = HandleRemainingFields x fs (CUnionType x)

Notify user if some required fields are missing.

unsafeIOCreate :: (Ptr x -> IO a) -> CreateVkStruct x fs a

Unsafe perform arbitrary IO action with a pointer to data under construction. This is used to add more functionality to this monad.