Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
limitsFromCore :: Limits -> Limits Source #
limitsToCore :: Limits -> Limits Source #
featuresFromCore :: Features -> Features Source #
featuresToCore :: Features -> Features Source #
data DescriptorIndexingFeaturesNoNext Source #
Instances
data DescriptorIndexingFeatures (mn :: Maybe Type) Source #
Instances
Nextable DescriptorIndexingFeatures Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct nextableSize :: Int Source # nextableType :: StructureType Source # nextPtr :: Ptr () -> IO (Ptr ()) Source # createNextable :: forall (mn' :: Maybe Type). Ptr () -> M mn' -> IO (DescriptorIndexingFeatures mn') Source # | |
Show (M mn) => Show (DescriptorIndexingFeatures mn) Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct showsPrec :: Int -> DescriptorIndexingFeatures mn -> ShowS # show :: DescriptorIndexingFeatures mn -> String # showList :: [DescriptorIndexingFeatures mn] -> ShowS # | |
WithPoked (M mn) => WithPoked (DescriptorIndexingFeatures mn) Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct withPoked' :: DescriptorIndexingFeatures mn -> (forall s. PtrS s (DescriptorIndexingFeatures mn) -> IO b) -> IO b # |
descriptorIndexingFeaturesFromCore :: DescriptorIndexingFeatures -> DescriptorIndexingFeaturesNoNext Source #
descriptorIndexingFeaturesToCore :: forall (mn :: Maybe Type). WithPoked (M mn) => DescriptorIndexingFeatures mn -> (DescriptorIndexingFeatures -> IO ()) -> IO () Source #
descriptorIndexingFeaturesFromNoNext :: forall (mn :: Maybe Type). M mn -> DescriptorIndexingFeaturesNoNext -> DescriptorIndexingFeatures mn Source #
descriptorIndexingFeaturesZero :: forall (mn :: Maybe Type). M mn -> DescriptorIndexingFeatures mn Source #
data Vulkan12FeaturesNoNext Source #
Instances
Show Vulkan12FeaturesNoNext Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct showsPrec :: Int -> Vulkan12FeaturesNoNext -> ShowS # show :: Vulkan12FeaturesNoNext -> String # showList :: [Vulkan12FeaturesNoNext] -> ShowS # | |
Typeable Vulkan12FeaturesNoNext Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct | |
Peek Vulkan12FeaturesNoNext Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct | |
Sizable Vulkan12FeaturesNoNext Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct |
data Vulkan12Features (mn :: Maybe Type) Source #
Instances
Nextable Vulkan12Features Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct nextableSize :: Int Source # nextableType :: StructureType Source # nextPtr :: Ptr () -> IO (Ptr ()) Source # createNextable :: forall (mn' :: Maybe Type). Ptr () -> M mn' -> IO (Vulkan12Features mn') Source # | |
Show (M mn) => Show (Vulkan12Features mn) Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct showsPrec :: Int -> Vulkan12Features mn -> ShowS # show :: Vulkan12Features mn -> String # showList :: [Vulkan12Features mn] -> ShowS # | |
WithPoked (M mn) => WithPoked (Vulkan12Features mn) Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct withPoked' :: Vulkan12Features mn -> (forall s. PtrS s (Vulkan12Features mn) -> IO b) -> IO b # |
vulkan12FeaturesToCore :: forall (mn :: Maybe Type). WithPoked (M mn) => Vulkan12Features mn -> (Vulkan12Features -> IO ()) -> IO () Source #
vulkan12FeaturesFromNoNext :: forall (mn :: Maybe Type). M mn -> Vulkan12FeaturesNoNext -> Vulkan12Features mn Source #
vulkan12FeaturesZero :: forall (mn :: Maybe Type). M mn -> Vulkan12Features mn Source #
data Vulkan13FeaturesNoNext Source #
Instances
Show Vulkan13FeaturesNoNext Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct showsPrec :: Int -> Vulkan13FeaturesNoNext -> ShowS # show :: Vulkan13FeaturesNoNext -> String # showList :: [Vulkan13FeaturesNoNext] -> ShowS # | |
Typeable Vulkan13FeaturesNoNext Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct | |
Peek Vulkan13FeaturesNoNext Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct | |
Sizable Vulkan13FeaturesNoNext Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct |
data Vulkan13Features (mn :: Maybe Type) Source #
Instances
Nextable Vulkan13Features Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct nextableSize :: Int Source # nextableType :: StructureType Source # nextPtr :: Ptr () -> IO (Ptr ()) Source # createNextable :: forall (mn' :: Maybe Type). Ptr () -> M mn' -> IO (Vulkan13Features mn') Source # | |
Show (M mn) => Show (Vulkan13Features mn) Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct showsPrec :: Int -> Vulkan13Features mn -> ShowS # show :: Vulkan13Features mn -> String # showList :: [Vulkan13Features mn] -> ShowS # | |
WithPoked (M mn) => WithPoked (Vulkan13Features mn) Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Struct withPoked' :: Vulkan13Features mn -> (forall s. PtrS s (Vulkan13Features mn) -> IO b) -> IO b # |
vulkan13FeaturesToCore :: forall (mn :: Maybe Type). WithPoked (M mn) => Vulkan13Features mn -> (Vulkan13Features -> IO ()) -> IO () Source #
vulkan13FeaturesFromNoNext :: forall (mn :: Maybe Type). M mn -> Vulkan13FeaturesNoNext -> Vulkan13Features mn Source #
vulkan13FeaturesZero :: forall (mn :: Maybe Type). M mn -> Vulkan13Features mn Source #