Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- create :: forall (mn :: Maybe Type) (ai :: Maybe Type) (mac :: Maybe (Type, Type)) a. (WithPoked (M mn), WithPoked (M ai), ToMiddle mac) => CreateInfo mn ai -> M (U2 A) mac -> (forall s. I s -> IO a) -> IO a
- newtype I s = I {}
- data CreateInfo (mn :: Maybe Type) (ai :: Maybe Type) = CreateInfo {}
- newtype ExtensionName = ExtensionName {}
- enumerateLayerProperties :: IO [LayerProperties]
- enumerateExtensionProperties :: Maybe LayerName -> IO [ExtensionProperties]
- data ExtensionProperties = ExtensionProperties {}
CREATE
create :: forall (mn :: Maybe Type) (ai :: Maybe Type) (mac :: Maybe (Type, Type)) a. (WithPoked (M mn), WithPoked (M ai), ToMiddle mac) => CreateInfo mn ai -> M (U2 A) mac -> (forall s. I s -> IO a) -> IO a Source #
data CreateInfo (mn :: Maybe Type) (ai :: Maybe Type) Source #
Instances
(Show (M mn), Show (M ai)) => Show (CreateInfo mn ai) Source # | |
Defined in Gpu.Vulkan.Instance.Internal showsPrec :: Int -> CreateInfo mn ai -> ShowS # show :: CreateInfo mn ai -> String # showList :: [CreateInfo mn ai] -> ShowS # | |
Default (CreateInfo ('Nothing :: Maybe Type) a) Source # | |
Defined in Gpu.Vulkan.Instance.Internal |
newtype ExtensionName Source #
Instances
Show ExtensionName Source # | |
Defined in Gpu.Vulkan.Instance.Internal showsPrec :: Int -> ExtensionName -> ShowS # show :: ExtensionName -> String # showList :: [ExtensionName] -> ShowS # | |
Eq ExtensionName Source # | |
Defined in Gpu.Vulkan.Instance.Internal (==) :: ExtensionName -> ExtensionName -> Bool # (/=) :: ExtensionName -> ExtensionName -> Bool # |
ENUMERATE
data ExtensionProperties Source #
Instances
Show ExtensionProperties Source # | |
Defined in Gpu.Vulkan.Instance.Internal showsPrec :: Int -> ExtensionProperties -> ShowS # show :: ExtensionProperties -> String # showList :: [ExtensionProperties] -> ShowS # |