Gpu.Vulkan.Instance.Middle.Internal

CREATE AND DESTROY

create :: forall (mn :: Maybe Type) (a :: Maybe Type) (mc :: Maybe Type). (WithPoked (M mn), WithPoked (M a)) => CreateInfo mn a -> M A mc -> IO I

destroy :: forall (md :: Maybe Type). I -> M A md -> IO ()

newtype I

Constructors

I I

Instances

Show I

Defined in Gpu.Vulkan.Instance.Middle.Internal

Methods

showsPrec :: Int -> I -> ShowS

show :: I -> String

showList :: [I] -> ShowS

data CreateInfo (mn :: Maybe Type) (a :: Maybe Type)

Constructors

CreateInfo

Fields

• createInfoNext :: M mn
• createInfoFlags :: CreateFlags
• createInfoApplicationInfo :: Maybe (ApplicationInfo a)
• createInfoEnabledLayerNames :: [Text]
• createInfoEnabledExtensionNames :: [Text]

Instances

Default (CreateInfo ('Nothing :: Maybe Type) a)

Defined in Gpu.Vulkan.Instance.Middle.Internal

Methods

def :: CreateInfo ('Nothing :: Maybe Type) a

(Show (M mn), Show (M a)) => Show (CreateInfo mn a)

Defined in Gpu.Vulkan.Instance.Middle.Internal

Methods

showsPrec :: Int -> CreateInfo mn a -> ShowS

show :: CreateInfo mn a -> String

showList :: [CreateInfo mn a] -> ShowS

ENUMERATE

enumerateLayerProperties :: IO [LayerProperties]

enumerateExtensionProperties :: Maybe Text -> IO [ExtensionProperties]