{-# LINE 1 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}


{-# LANGUAGE DataKinds             #-}
{-# LANGUAGE FlexibleContexts      #-}
{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE MagicHash             #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PatternSynonyms       #-}
{-# LANGUAGE ScopedTypeVariables   #-}
{-# LANGUAGE Strict                #-}
{-# LANGUAGE TypeApplications      #-}
{-# LANGUAGE TypeFamilies          #-}
{-# LANGUAGE UndecidableInstances  #-}
module Graphics.Vulkan.Types.Struct.ExtensionProperties
       (VkExtensionProperties(..)) where
import           Foreign.Storable                 (Storable (..))
import           GHC.Base                         (Addr#, ByteArray#, Proxy#,
                                                   byteArrayContents#,
                                                   plusAddr#, proxy#)
import           GHC.TypeLits                     (KnownNat, natVal') -- ' closing tick for hsc2hs
import           Graphics.Vulkan.Constants        (VK_MAX_EXTENSION_NAME_SIZE, pattern VK_MAX_EXTENSION_NAME_SIZE)
import           Graphics.Vulkan.Marshal
import           Graphics.Vulkan.Marshal.Internal
import           System.IO.Unsafe                 (unsafeDupablePerformIO)

-- | > typedef struct VkExtensionProperties {
--   >     char            extensionName[VK_MAX_EXTENSION_NAME_SIZE];
--   >     uint32_t        specVersion;
--   > } VkExtensionProperties;
--
--   <https://www.khronos.org/registry/vulkan/specs/1.1-extensions/html/vkspec.html#VkExtensionProperties VkExtensionProperties registry at www.khronos.org>
data VkExtensionProperties = VkExtensionProperties# Addr#
                                                    ByteArray#

instance Eq VkExtensionProperties where
        (VkExtensionProperties# Addr#
a ByteArray#
_) == :: VkExtensionProperties -> VkExtensionProperties -> Bool
== x :: VkExtensionProperties
x@(VkExtensionProperties# Addr#
b ByteArray#
_)
          = Ordering
EQ Ordering -> Ordering -> Bool
forall a. Eq a => a -> a -> Bool
== Int -> Addr# -> Addr# -> Ordering
cmpBytes# (VkExtensionProperties -> Int
forall a. Storable a => a -> Int
sizeOf VkExtensionProperties
x) Addr#
a Addr#
b

        {-# INLINE (==) #-}

instance Ord VkExtensionProperties where
        (VkExtensionProperties# Addr#
a ByteArray#
_) compare :: VkExtensionProperties -> VkExtensionProperties -> Ordering
`compare`
          x :: VkExtensionProperties
x@(VkExtensionProperties# Addr#
b ByteArray#
_) = Int -> Addr# -> Addr# -> Ordering
cmpBytes# (VkExtensionProperties -> Int
forall a. Storable a => a -> Int
sizeOf VkExtensionProperties
x) Addr#
a Addr#
b

        {-# INLINE compare #-}

instance Storable VkExtensionProperties where
        sizeOf :: VkExtensionProperties -> Int
sizeOf ~VkExtensionProperties
_ = (Int
260)
{-# LINE 49 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}

        {-# INLINE sizeOf #-}
        alignment :: VkExtensionProperties -> Int
alignment ~VkExtensionProperties
_ = Int
4
{-# LINE 52 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}

        {-# INLINE alignment #-}
        peek :: Ptr VkExtensionProperties -> IO VkExtensionProperties
peek = Ptr VkExtensionProperties -> IO VkExtensionProperties
forall a. (Storable a, VulkanMarshalPrim a) => Ptr a -> IO a
peekVkData#

        {-# INLINE peek #-}
        poke :: Ptr VkExtensionProperties -> VkExtensionProperties -> IO ()
poke = Ptr VkExtensionProperties -> VkExtensionProperties -> IO ()
forall a. (Storable a, VulkanMarshalPrim a) => Ptr a -> a -> IO ()
pokeVkData#

        {-# INLINE poke #-}

instance VulkanMarshalPrim VkExtensionProperties where
        unsafeAddr :: VkExtensionProperties -> Addr#
unsafeAddr (VkExtensionProperties# Addr#
a ByteArray#
_) = Addr#
a

        {-# INLINE unsafeAddr #-}
        unsafeByteArray :: VkExtensionProperties -> ByteArray#
unsafeByteArray (VkExtensionProperties# Addr#
_ ByteArray#
b) = ByteArray#
b

        {-# INLINE unsafeByteArray #-}
        unsafeFromByteArrayOffset :: Int# -> ByteArray# -> VkExtensionProperties
unsafeFromByteArrayOffset Int#
off ByteArray#
b
          = Addr# -> ByteArray# -> VkExtensionProperties
VkExtensionProperties# (Addr# -> Int# -> Addr#
plusAddr# (ByteArray# -> Addr#
byteArrayContents# ByteArray#
b) Int#
off) ByteArray#
b

        {-# INLINE unsafeFromByteArrayOffset #-}

instance VulkanMarshal VkExtensionProperties where
        type StructFields VkExtensionProperties =
             '["extensionName", "specVersion"] -- ' closing tick for hsc2hs
        type CUnionType VkExtensionProperties = 'False -- ' closing tick for hsc2hs
        type ReturnedOnly VkExtensionProperties = 'True -- ' closing tick for hsc2hs
        type StructExtends VkExtensionProperties = '[] -- ' closing tick for hsc2hs

instance {-# OVERLAPPING #-}
         HasField "extensionName" VkExtensionProperties where
        type FieldType "extensionName" VkExtensionProperties = CChar
        type FieldOptional "extensionName" VkExtensionProperties = 'False -- ' closing tick for hsc2hs
        type FieldOffset "extensionName" VkExtensionProperties =
             (0)
{-# LINE 86 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}
        type FieldIsArray "extensionName" VkExtensionProperties = 'True -- ' closing tick for hsc2hs

        {-# INLINE fieldOptional #-}
        fieldOptional :: Bool
fieldOptional = Bool
False

        {-# INLINE fieldOffset #-}
        fieldOffset :: Int
fieldOffset
          = (Int
0)
{-# LINE 94 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}

instance {-# OVERLAPPING #-}
         (KnownNat idx,
          IndexInBounds "extensionName" idx VkExtensionProperties) =>
         CanReadFieldArray "extensionName" idx VkExtensionProperties
         where
        {-# SPECIALISE instance
                       CanReadFieldArray "extensionName" 0 VkExtensionProperties #-}

        {-# SPECIALISE instance
                       CanReadFieldArray "extensionName" 1 VkExtensionProperties #-}

        {-# SPECIALISE instance
                       CanReadFieldArray "extensionName" 2 VkExtensionProperties #-}

        {-# SPECIALISE instance
                       CanReadFieldArray "extensionName" 3 VkExtensionProperties #-}
        type FieldArrayLength "extensionName" VkExtensionProperties =
             VK_MAX_EXTENSION_NAME_SIZE

        {-# INLINE fieldArrayLength #-}
        fieldArrayLength :: Int
fieldArrayLength = Int
forall a. (Num a, Eq a) => a
VK_MAX_EXTENSION_NAME_SIZE

        {-# INLINE getFieldArray #-}
        getFieldArray :: VkExtensionProperties
-> FieldType "extensionName" VkExtensionProperties
getFieldArray = VkExtensionProperties -> CChar
VkExtensionProperties
-> FieldType "extensionName" VkExtensionProperties
f
          where {-# NOINLINE f #-}
                f :: VkExtensionProperties -> CChar
f VkExtensionProperties
x = IO CChar -> CChar
forall a. IO a -> a
unsafeDupablePerformIO (Ptr VkExtensionProperties -> Int -> IO CChar
forall a b. Storable a => Ptr b -> Int -> IO a
peekByteOff (VkExtensionProperties -> Ptr VkExtensionProperties
forall a. VulkanMarshal a => a -> Ptr a
unsafePtr VkExtensionProperties
x) Int
off)
                off :: Int
off
                  = (Int
0) Int -> Int -> Int
forall a. Num a => a -> a -> a
+
{-# LINE 123 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}
                      CChar -> Int
forall a. Storable a => a -> Int
sizeOf (CChar
forall a. HasCallStack => a
undefined :: CChar) Int -> Int -> Int
forall a. Num a => a -> a -> a
*
                        Integer -> Int
forall a. Num a => Integer -> a
fromInteger (Proxy# idx -> Integer
forall (n :: Nat). KnownNat n => Proxy# n -> Integer
natVal' (Proxy# idx
forall k (a :: k). Proxy# a
proxy# :: Proxy# idx)) -- ' closing tick for hsc2hs

        {-# INLINE readFieldArray #-}
        readFieldArray :: Ptr VkExtensionProperties
-> IO (FieldType "extensionName" VkExtensionProperties)
readFieldArray Ptr VkExtensionProperties
p
          = Ptr VkExtensionProperties -> Int -> IO CChar
forall a b. Storable a => Ptr b -> Int -> IO a
peekByteOff Ptr VkExtensionProperties
p
              ((Int
0) Int -> Int -> Int
forall a. Num a => a -> a -> a
+
{-# LINE 130 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}
                 CChar -> Int
forall a. Storable a => a -> Int
sizeOf (CChar
forall a. HasCallStack => a
undefined :: CChar) Int -> Int -> Int
forall a. Num a => a -> a -> a
*
                   Integer -> Int
forall a. Num a => Integer -> a
fromInteger (Proxy# idx -> Integer
forall (n :: Nat). KnownNat n => Proxy# n -> Integer
natVal' (Proxy# idx
forall k (a :: k). Proxy# a
proxy# :: Proxy# idx))) -- ' closing tick for hsc2hs

instance {-# OVERLAPPING #-}
         (KnownNat idx,
          IndexInBounds "extensionName" idx VkExtensionProperties) =>
         CanWriteFieldArray "extensionName" idx VkExtensionProperties
         where
        {-# SPECIALISE instance
                       CanWriteFieldArray "extensionName" 0 VkExtensionProperties #-}

        {-# SPECIALISE instance
                       CanWriteFieldArray "extensionName" 1 VkExtensionProperties #-}

        {-# SPECIALISE instance
                       CanWriteFieldArray "extensionName" 2 VkExtensionProperties #-}

        {-# SPECIALISE instance
                       CanWriteFieldArray "extensionName" 3 VkExtensionProperties #-}

        {-# INLINE writeFieldArray #-}
        writeFieldArray :: Ptr VkExtensionProperties
-> FieldType "extensionName" VkExtensionProperties -> IO ()
writeFieldArray Ptr VkExtensionProperties
p
          = Ptr VkExtensionProperties -> Int -> CChar -> IO ()
forall a b. Storable a => Ptr b -> Int -> a -> IO ()
pokeByteOff Ptr VkExtensionProperties
p
              ((Int
0) Int -> Int -> Int
forall a. Num a => a -> a -> a
+
{-# LINE 154 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}
                 CChar -> Int
forall a. Storable a => a -> Int
sizeOf (CChar
forall a. HasCallStack => a
undefined :: CChar) Int -> Int -> Int
forall a. Num a => a -> a -> a
*
                   Integer -> Int
forall a. Num a => Integer -> a
fromInteger (Proxy# idx -> Integer
forall (n :: Nat). KnownNat n => Proxy# n -> Integer
natVal' (Proxy# idx
forall k (a :: k). Proxy# a
proxy# :: Proxy# idx))) -- ' closing tick for hsc2hs

instance {-# OVERLAPPING #-}
         HasField "specVersion" VkExtensionProperties where
        type FieldType "specVersion" VkExtensionProperties = Word32
        type FieldOptional "specVersion" VkExtensionProperties = 'False -- ' closing tick for hsc2hs
        type FieldOffset "specVersion" VkExtensionProperties =
             (256)
{-# LINE 163 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}
        type FieldIsArray "specVersion" VkExtensionProperties = 'False -- ' closing tick for hsc2hs

        {-# INLINE fieldOptional #-}
        fieldOptional :: Bool
fieldOptional = Bool
False

        {-# INLINE fieldOffset #-}
        fieldOffset :: Int
fieldOffset
          = (Int
256)
{-# LINE 171 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}

instance {-# OVERLAPPING #-}
         CanReadField "specVersion" VkExtensionProperties where
        {-# NOINLINE getField #-}
        getField :: VkExtensionProperties
-> FieldType "specVersion" VkExtensionProperties
getField VkExtensionProperties
x
          = IO Word32 -> Word32
forall a. IO a -> a
unsafeDupablePerformIO
              (Ptr VkExtensionProperties -> Int -> IO Word32
forall a b. Storable a => Ptr b -> Int -> IO a
peekByteOff (VkExtensionProperties -> Ptr VkExtensionProperties
forall a. VulkanMarshal a => a -> Ptr a
unsafePtr VkExtensionProperties
x) (Int
256))
{-# LINE 178 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}

        {-# INLINE readField #-}
        readField :: Ptr VkExtensionProperties
-> IO (FieldType "specVersion" VkExtensionProperties)
readField Ptr VkExtensionProperties
p
          = Ptr VkExtensionProperties -> Int -> IO Word32
forall a b. Storable a => Ptr b -> Int -> IO a
peekByteOff Ptr VkExtensionProperties
p (Int
256)
{-# LINE 182 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}

instance {-# OVERLAPPING #-}
         CanWriteField "specVersion" VkExtensionProperties where
        {-# INLINE writeField #-}
        writeField :: Ptr VkExtensionProperties
-> FieldType "specVersion" VkExtensionProperties -> IO ()
writeField Ptr VkExtensionProperties
p
          = Ptr VkExtensionProperties -> Int -> Word32 -> IO ()
forall a b. Storable a => Ptr b -> Int -> a -> IO ()
pokeByteOff Ptr VkExtensionProperties
p (Int
256)
{-# LINE 188 "src-gen/Graphics/Vulkan/Types/Struct/ExtensionProperties.hsc" #-}

instance Show VkExtensionProperties where
        showsPrec :: Int -> VkExtensionProperties -> ShowS
showsPrec Int
d VkExtensionProperties
x
          = String -> ShowS
showString String
"VkExtensionProperties {" ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
              (String -> ShowS
showString String
"extensionName = [" ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
                 Int -> [CChar] -> ShowS
forall a. Show a => Int -> a -> ShowS
showsPrec Int
d
                   (let s :: Int
s = CChar -> Int
forall a. Storable a => a -> Int
sizeOf
                              (FieldType "extensionName" VkExtensionProperties
forall a. HasCallStack => a
undefined :: FieldType "extensionName" VkExtensionProperties)
                        o :: Int
o = HasField "extensionName" VkExtensionProperties => Int
forall (fname :: Symbol) a. HasField fname a => Int
fieldOffset @"extensionName" @VkExtensionProperties
                        f :: Int -> IO (FieldType "extensionName" VkExtensionProperties)
f Int
i
                          = Ptr VkExtensionProperties -> Int -> IO CChar
forall a b. Storable a => Ptr b -> Int -> IO a
peekByteOff (VkExtensionProperties -> Ptr VkExtensionProperties
forall a. VulkanMarshal a => a -> Ptr a
unsafePtr VkExtensionProperties
x) Int
i ::
                              IO (FieldType "extensionName" VkExtensionProperties)
                      in
                      IO [CChar] -> [CChar]
forall a. IO a -> a
unsafeDupablePerformIO (IO [CChar] -> [CChar])
-> ([Int] -> IO [CChar]) -> [Int] -> [CChar]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Int -> IO CChar) -> [Int] -> IO [CChar]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM Int -> IO CChar
Int -> IO (FieldType "extensionName" VkExtensionProperties)
f ([Int] -> [CChar]) -> [Int] -> [CChar]
forall a b. (a -> b) -> a -> b
$
                        (Int -> Int) -> [Int] -> [Int]
forall a b. (a -> b) -> [a] -> [b]
map (\ Int
i -> Int
o Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
i Int -> Int -> Int
forall a. Num a => a -> a -> a
* Int
s) [Int
0 .. Int
forall a. (Num a, Eq a) => a
VK_MAX_EXTENSION_NAME_SIZE Int -> Int -> Int
forall a. Num a => a -> a -> a
- Int
1])
                   ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Char -> ShowS
showChar Char
']')
                ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
                String -> ShowS
showString String
", " ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
                  String -> ShowS
showString String
"specVersion = " ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
                    Int -> Word32 -> ShowS
forall a. Show a => Int -> a -> ShowS
showsPrec Int
d (VkExtensionProperties
-> FieldType "specVersion" VkExtensionProperties
forall (fname :: Symbol) a.
CanReadField fname a =>
a -> FieldType fname a
getField @"specVersion" VkExtensionProperties
x) ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Char -> ShowS
showChar Char
'}'