2022-07-10 23:58:58 +00:00
|
|
|
{-# LANGUAGE OverloadedStrings #-}
|
|
|
|
{-# LANGUAGE DuplicateRecordFields #-}
|
|
|
|
{-# LANGUAGE DataKinds #-}
|
|
|
|
module Instance where
|
|
|
|
|
|
|
|
import Control.Monad.IO.Class
|
|
|
|
import Control.Monad.Trans.Resource
|
|
|
|
import qualified Data.ByteString as BS
|
|
|
|
import qualified Data.Vector as V
|
|
|
|
import qualified SDL hiding (V2)
|
|
|
|
import qualified SDL.Video.Vulkan as SDL
|
|
|
|
import qualified Vulkan as Vk
|
|
|
|
import qualified Vulkan.Zero as Vk
|
|
|
|
|
|
|
|
createInstance :: MonadResource m => SDL.Window -> m Vk.Instance
|
|
|
|
createInstance window = do
|
2023-01-26 05:46:55 +00:00
|
|
|
windowExtensions <- liftIO $ fmap (
|
|
|
|
[ Vk.EXT_DEBUG_UTILS_EXTENSION_NAME
|
|
|
|
] ++) $
|
|
|
|
traverse BS.packCString =<< SDL.vkGetInstanceExtensions window
|
|
|
|
liftIO $ do
|
|
|
|
putStrLn "activating following extensions:"
|
|
|
|
print windowExtensions
|
2022-07-10 23:58:58 +00:00
|
|
|
let createInfo = Vk.zero
|
2022-07-11 12:04:42 +00:00
|
|
|
{ Vk.applicationInfo = Just Vk.zero
|
|
|
|
{ Vk.applicationName = Just "Haskell ❤️ Vulkan"
|
2023-01-26 05:46:55 +00:00
|
|
|
, Vk.apiVersion = Vk.API_VERSION_1_3
|
2022-07-10 23:58:58 +00:00
|
|
|
}
|
|
|
|
-- enable debug util extension for debugging purposes
|
|
|
|
, Vk.enabledExtensionNames = V.fromList windowExtensions
|
|
|
|
-- enable validation layer for debugging purposes
|
2023-04-12 11:41:00 +00:00
|
|
|
, Vk.enabledLayerNames = V.singleton "VK_LAYER_KHRONOS_validation"
|
2022-07-10 23:58:58 +00:00
|
|
|
}
|
2023-01-06 23:14:39 +00:00
|
|
|
|
2022-07-10 23:58:58 +00:00
|
|
|
(_, inst) <- allocate
|
|
|
|
(Vk.createInstance createInfo Nothing)
|
|
|
|
(\inst -> do
|
2022-07-12 14:31:40 +00:00
|
|
|
putStrLn "destroying instance"
|
2022-07-10 23:58:58 +00:00
|
|
|
Vk.destroyInstance inst Nothing
|
|
|
|
)
|
|
|
|
|
|
|
|
return inst
|