Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- enumerate :: I -> IO [P]
- newtype P = P P
- getProperties :: P -> IO Properties
- data Properties = Properties {}
- getFeatures :: P -> IO Features
- getProperties2ExtensionName :: Text
- getFeatures2 :: forall (mn :: Maybe Type). ReadChain mn => P -> IO (Features2 mn)
- data Features2 (mn :: Maybe Type) = Features2 {
- features2Next :: M mn
- features2Features :: Features
- getQueueFamilyProperties :: P -> IO [(Index, Properties)]
- enumerateExtensionProperties :: P -> Maybe Text -> IO [ExtensionProperties]
- getFormatProperties :: P -> Format -> IO FormatProperties
- getMemoryProperties :: P -> IO MemoryProperties
- data MemoryProperties = MemoryProperties {}
- data ShaderDrawParametersFeatures (mn :: Maybe Type) = ShaderDrawParametersFeatures {}
- maintenance3ExtensionName :: Text
ENUMERATE, PROPERTIES AND FEATURES
getProperties :: P -> IO Properties Source #
data Properties Source #
Properties | |
|
Instances
Show Properties Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Middle.Internal showsPrec :: Int -> Properties -> ShowS # show :: Properties -> String # showList :: [Properties] -> ShowS # |
Get Properties 2
data Features2 (mn :: Maybe Type) Source #
Features2 | |
|
OTHER PROPERTIES
getQueueFamilyProperties :: P -> IO [(Index, Properties)] Source #
enumerateExtensionProperties :: P -> Maybe Text -> IO [ExtensionProperties] Source #
getFormatProperties :: P -> Format -> IO FormatProperties Source #
data MemoryProperties Source #
Instances
Show MemoryProperties Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Middle.Internal showsPrec :: Int -> MemoryProperties -> ShowS # show :: MemoryProperties -> String # showList :: [MemoryProperties] -> ShowS # |
OTHER FEATURES
data ShaderDrawParametersFeatures (mn :: Maybe Type) Source #
Instances
Show (M mn) => Show (ShaderDrawParametersFeatures mn) Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Middle.Internal showsPrec :: Int -> ShaderDrawParametersFeatures mn -> ShowS # show :: ShaderDrawParametersFeatures mn -> String # showList :: [ShaderDrawParametersFeatures mn] -> ShowS # | |
WithPoked (M mn) => WithPoked (ShaderDrawParametersFeatures mn) Source # | |
Defined in Gpu.Vulkan.PhysicalDevice.Middle.Internal withPoked' :: ShaderDrawParametersFeatures mn -> (forall s. PtrS s (ShaderDrawParametersFeatures mn) -> IO b) -> IO b # |