#include "vulkan/vulkan.h" {-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MagicHash #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE Strict #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Graphics.Vulkan.Types.Struct.Offset (VkOffset2D(..), VkOffset3D(..)) where import Foreign.Storable (Storable (..)) import GHC.Base (Addr##, ByteArray##, byteArrayContents##, plusAddr##) import Graphics.Vulkan.Marshal import Graphics.Vulkan.Marshal.Internal import System.IO.Unsafe (unsafeDupablePerformIO) -- | > typedef struct VkOffset2D { -- > int32_t x; -- > int32_t y; -- > } VkOffset2D; -- -- data VkOffset2D = VkOffset2D## Addr## ByteArray## instance Eq VkOffset2D where (VkOffset2D## a _) == x@(VkOffset2D## b _) = EQ == cmpBytes## (sizeOf x) a b {-# INLINE (==) #-} instance Ord VkOffset2D where (VkOffset2D## a _) `compare` x@(VkOffset2D## b _) = cmpBytes## (sizeOf x) a b {-# INLINE compare #-} instance Storable VkOffset2D where sizeOf ~_ = #{size VkOffset2D} {-# INLINE sizeOf #-} alignment ~_ = #{alignment VkOffset2D} {-# INLINE alignment #-} peek = peekVkData## {-# INLINE peek #-} poke = pokeVkData## {-# INLINE poke #-} instance VulkanMarshalPrim VkOffset2D where unsafeAddr (VkOffset2D## a _) = a {-# INLINE unsafeAddr #-} unsafeByteArray (VkOffset2D## _ b) = b {-# INLINE unsafeByteArray #-} unsafeFromByteArrayOffset off b = VkOffset2D## (plusAddr## (byteArrayContents## b) off) b {-# INLINE unsafeFromByteArrayOffset #-} instance VulkanMarshal VkOffset2D where type StructFields VkOffset2D = '["x", "y"] -- ' closing tick for hsc2hs type CUnionType VkOffset2D = 'False -- ' closing tick for hsc2hs type ReturnedOnly VkOffset2D = 'False -- ' closing tick for hsc2hs type StructExtends VkOffset2D = '[] -- ' closing tick for hsc2hs instance {-# OVERLAPPING #-} HasField "x" VkOffset2D where type FieldType "x" VkOffset2D = Int32 type FieldOptional "x" VkOffset2D = 'False -- ' closing tick for hsc2hs type FieldOffset "x" VkOffset2D = #{offset VkOffset2D, x} type FieldIsArray "x" VkOffset2D = 'False -- ' closing tick for hsc2hs {-# INLINE fieldOptional #-} fieldOptional = False {-# INLINE fieldOffset #-} fieldOffset = #{offset VkOffset2D, x} instance {-# OVERLAPPING #-} CanReadField "x" VkOffset2D where {-# NOINLINE getField #-} getField x = unsafeDupablePerformIO (peekByteOff (unsafePtr x) #{offset VkOffset2D, x}) {-# INLINE readField #-} readField p = peekByteOff p #{offset VkOffset2D, x} instance {-# OVERLAPPING #-} CanWriteField "x" VkOffset2D where {-# INLINE writeField #-} writeField p = pokeByteOff p #{offset VkOffset2D, x} instance {-# OVERLAPPING #-} HasField "y" VkOffset2D where type FieldType "y" VkOffset2D = Int32 type FieldOptional "y" VkOffset2D = 'False -- ' closing tick for hsc2hs type FieldOffset "y" VkOffset2D = #{offset VkOffset2D, y} type FieldIsArray "y" VkOffset2D = 'False -- ' closing tick for hsc2hs {-# INLINE fieldOptional #-} fieldOptional = False {-# INLINE fieldOffset #-} fieldOffset = #{offset VkOffset2D, y} instance {-# OVERLAPPING #-} CanReadField "y" VkOffset2D where {-# NOINLINE getField #-} getField x = unsafeDupablePerformIO (peekByteOff (unsafePtr x) #{offset VkOffset2D, y}) {-# INLINE readField #-} readField p = peekByteOff p #{offset VkOffset2D, y} instance {-# OVERLAPPING #-} CanWriteField "y" VkOffset2D where {-# INLINE writeField #-} writeField p = pokeByteOff p #{offset VkOffset2D, y} instance Show VkOffset2D where showsPrec d x = showString "VkOffset2D {" . showString "x = " . showsPrec d (getField @"x" x) . showString ", " . showString "y = " . showsPrec d (getField @"y" x) . showChar '}' -- | > typedef struct VkOffset3D { -- > int32_t x; -- > int32_t y; -- > int32_t z; -- > } VkOffset3D; -- -- data VkOffset3D = VkOffset3D## Addr## ByteArray## instance Eq VkOffset3D where (VkOffset3D## a _) == x@(VkOffset3D## b _) = EQ == cmpBytes## (sizeOf x) a b {-# INLINE (==) #-} instance Ord VkOffset3D where (VkOffset3D## a _) `compare` x@(VkOffset3D## b _) = cmpBytes## (sizeOf x) a b {-# INLINE compare #-} instance Storable VkOffset3D where sizeOf ~_ = #{size VkOffset3D} {-# INLINE sizeOf #-} alignment ~_ = #{alignment VkOffset3D} {-# INLINE alignment #-} peek = peekVkData## {-# INLINE peek #-} poke = pokeVkData## {-# INLINE poke #-} instance VulkanMarshalPrim VkOffset3D where unsafeAddr (VkOffset3D## a _) = a {-# INLINE unsafeAddr #-} unsafeByteArray (VkOffset3D## _ b) = b {-# INLINE unsafeByteArray #-} unsafeFromByteArrayOffset off b = VkOffset3D## (plusAddr## (byteArrayContents## b) off) b {-# INLINE unsafeFromByteArrayOffset #-} instance VulkanMarshal VkOffset3D where type StructFields VkOffset3D = '["x", "y", "z"] -- ' closing tick for hsc2hs type CUnionType VkOffset3D = 'False -- ' closing tick for hsc2hs type ReturnedOnly VkOffset3D = 'False -- ' closing tick for hsc2hs type StructExtends VkOffset3D = '[] -- ' closing tick for hsc2hs instance {-# OVERLAPPING #-} HasField "x" VkOffset3D where type FieldType "x" VkOffset3D = Int32 type FieldOptional "x" VkOffset3D = 'False -- ' closing tick for hsc2hs type FieldOffset "x" VkOffset3D = #{offset VkOffset3D, x} type FieldIsArray "x" VkOffset3D = 'False -- ' closing tick for hsc2hs {-# INLINE fieldOptional #-} fieldOptional = False {-# INLINE fieldOffset #-} fieldOffset = #{offset VkOffset3D, x} instance {-# OVERLAPPING #-} CanReadField "x" VkOffset3D where {-# NOINLINE getField #-} getField x = unsafeDupablePerformIO (peekByteOff (unsafePtr x) #{offset VkOffset3D, x}) {-# INLINE readField #-} readField p = peekByteOff p #{offset VkOffset3D, x} instance {-# OVERLAPPING #-} CanWriteField "x" VkOffset3D where {-# INLINE writeField #-} writeField p = pokeByteOff p #{offset VkOffset3D, x} instance {-# OVERLAPPING #-} HasField "y" VkOffset3D where type FieldType "y" VkOffset3D = Int32 type FieldOptional "y" VkOffset3D = 'False -- ' closing tick for hsc2hs type FieldOffset "y" VkOffset3D = #{offset VkOffset3D, y} type FieldIsArray "y" VkOffset3D = 'False -- ' closing tick for hsc2hs {-# INLINE fieldOptional #-} fieldOptional = False {-# INLINE fieldOffset #-} fieldOffset = #{offset VkOffset3D, y} instance {-# OVERLAPPING #-} CanReadField "y" VkOffset3D where {-# NOINLINE getField #-} getField x = unsafeDupablePerformIO (peekByteOff (unsafePtr x) #{offset VkOffset3D, y}) {-# INLINE readField #-} readField p = peekByteOff p #{offset VkOffset3D, y} instance {-# OVERLAPPING #-} CanWriteField "y" VkOffset3D where {-# INLINE writeField #-} writeField p = pokeByteOff p #{offset VkOffset3D, y} instance {-# OVERLAPPING #-} HasField "z" VkOffset3D where type FieldType "z" VkOffset3D = Int32 type FieldOptional "z" VkOffset3D = 'False -- ' closing tick for hsc2hs type FieldOffset "z" VkOffset3D = #{offset VkOffset3D, z} type FieldIsArray "z" VkOffset3D = 'False -- ' closing tick for hsc2hs {-# INLINE fieldOptional #-} fieldOptional = False {-# INLINE fieldOffset #-} fieldOffset = #{offset VkOffset3D, z} instance {-# OVERLAPPING #-} CanReadField "z" VkOffset3D where {-# NOINLINE getField #-} getField x = unsafeDupablePerformIO (peekByteOff (unsafePtr x) #{offset VkOffset3D, z}) {-# INLINE readField #-} readField p = peekByteOff p #{offset VkOffset3D, z} instance {-# OVERLAPPING #-} CanWriteField "z" VkOffset3D where {-# INLINE writeField #-} writeField p = pokeByteOff p #{offset VkOffset3D, z} instance Show VkOffset3D where showsPrec d x = showString "VkOffset3D {" . showString "x = " . showsPrec d (getField @"x" x) . showString ", " . showString "y = " . showsPrec d (getField @"y" x) . showString ", " . showString "z = " . showsPrec d (getField @"z" x) . showChar '}'