{-# OPTIONS_HADDOCK not-home#-}
{-# LANGUAGE DataKinds       #-}
{-# LANGUAGE MagicHash       #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE Strict          #-}
{-# LANGUAGE ViewPatterns    #-}
module Graphics.Vulkan.Ext.VK_IMG_filter_cubic
       (-- * Vulkan extension: @VK_IMG_filter_cubic@
        -- |
        --
        -- supported: @vulkan@
        --
        -- contact: @Tobias Hector @tobski@
        --
        -- author: @IMG@
        --
        -- type: @device@
        --
        -- Extension number: @16@
        VK_IMG_FILTER_CUBIC_SPEC_VERSION,
        pattern VK_IMG_FILTER_CUBIC_SPEC_VERSION,
        VK_IMG_FILTER_CUBIC_EXTENSION_NAME,
        pattern VK_IMG_FILTER_CUBIC_EXTENSION_NAME,
        pattern VK_FILTER_CUBIC_IMG,
        pattern VK_FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_CUBIC_BIT_IMG)
       where
import GHC.Ptr                           (Ptr (..))
import Graphics.Vulkan.Marshal
import Graphics.Vulkan.Types.Enum.Filter (VkFilter (..))
import Graphics.Vulkan.Types.Enum.Format (VkFormatFeatureBitmask (..))

pattern VK_IMG_FILTER_CUBIC_SPEC_VERSION :: (Num a, Eq a) => a

pattern $bVK_IMG_FILTER_CUBIC_SPEC_VERSION :: forall a. (Num a, Eq a) => a
$mVK_IMG_FILTER_CUBIC_SPEC_VERSION :: forall {r} {a}.
(Num a, Eq a) =>
a -> (Void# -> r) -> (Void# -> r) -> r
VK_IMG_FILTER_CUBIC_SPEC_VERSION = 1

type VK_IMG_FILTER_CUBIC_SPEC_VERSION = 1

pattern VK_IMG_FILTER_CUBIC_EXTENSION_NAME :: CString

pattern $bVK_IMG_FILTER_CUBIC_EXTENSION_NAME :: CString
$mVK_IMG_FILTER_CUBIC_EXTENSION_NAME :: forall {r}. CString -> (Void# -> r) -> (Void# -> r) -> r
VK_IMG_FILTER_CUBIC_EXTENSION_NAME <-
        (is_VK_IMG_FILTER_CUBIC_EXTENSION_NAME -> True)
  where
    VK_IMG_FILTER_CUBIC_EXTENSION_NAME
      = CString
_VK_IMG_FILTER_CUBIC_EXTENSION_NAME

{-# INLINE _VK_IMG_FILTER_CUBIC_EXTENSION_NAME #-}

_VK_IMG_FILTER_CUBIC_EXTENSION_NAME :: CString
_VK_IMG_FILTER_CUBIC_EXTENSION_NAME :: CString
_VK_IMG_FILTER_CUBIC_EXTENSION_NAME
  = Addr# -> CString
forall a. Addr# -> Ptr a
Ptr Addr#
"VK_IMG_filter_cubic\NUL"#

{-# INLINE is_VK_IMG_FILTER_CUBIC_EXTENSION_NAME #-}

is_VK_IMG_FILTER_CUBIC_EXTENSION_NAME :: CString -> Bool
is_VK_IMG_FILTER_CUBIC_EXTENSION_NAME :: CString -> Bool
is_VK_IMG_FILTER_CUBIC_EXTENSION_NAME
  = (Ordering
EQ Ordering -> Ordering -> Bool
forall a. Eq a => a -> a -> Bool
==) (Ordering -> Bool) -> (CString -> Ordering) -> CString -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. CString -> CString -> Ordering
cmpCStrings CString
_VK_IMG_FILTER_CUBIC_EXTENSION_NAME

type VK_IMG_FILTER_CUBIC_EXTENSION_NAME = "VK_IMG_filter_cubic"

pattern VK_FILTER_CUBIC_IMG :: VkFilter

pattern $bVK_FILTER_CUBIC_IMG :: VkFilter
$mVK_FILTER_CUBIC_IMG :: forall {r}. VkFilter -> (Void# -> r) -> (Void# -> r) -> r
VK_FILTER_CUBIC_IMG = VkFilter 1000015000

-- | Format can be filtered with VK_FILTER_CUBIC_IMG when being sampled
--
--   bitpos = @13@
pattern VK_FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_CUBIC_BIT_IMG ::
        VkFormatFeatureBitmask a

pattern $bVK_FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_CUBIC_BIT_IMG :: forall (a :: FlagType). VkFormatFeatureBitmask a
$mVK_FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_CUBIC_BIT_IMG :: forall {r} {a :: FlagType}.
VkFormatFeatureBitmask a -> (Void# -> r) -> (Void# -> r) -> r
VK_FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_CUBIC_BIT_IMG =
        VkFormatFeatureBitmask 8192