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 #