{-# LANGUAGE ImportQualifiedPost #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE MonoLocalBinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE PatternSynonyms, ViewPatterns #-}
{-# OPTIONS_GHC -Wall -fno-warn-tabs #-}

module Gpu.Vulkan.DescriptorPool (

	-- * CREATE

	create, P, M.CreateInfo(..), M.Size(..),

	-- * ENUM

	module Gpu.Vulkan.DescriptorPool.Enum

	) where

import Foreign.Storable.PeekPoke
import Control.Exception
import Data.TypeLevel.Maybe qualified as TMaybe
import Data.TypeLevel.ParMaybe qualified as TPMaybe
import Data.TypeLevel.Tuple.Uncurry

import Gpu.Vulkan.DescriptorPool.Type
import Gpu.Vulkan.DescriptorPool.Enum

import qualified Gpu.Vulkan.AllocationCallbacks as AllocationCallbacks
import qualified Gpu.Vulkan.AllocationCallbacks.Type as AllocationCallbacks
import qualified Gpu.Vulkan.Device.Type as Device
import qualified Gpu.Vulkan.DescriptorPool.Middle as M

create :: (WithPoked (TMaybe.M mn), AllocationCallbacks.ToMiddle mac) =>
	Device.D sd -> M.CreateInfo mn ->
	TPMaybe.M (U2 AllocationCallbacks.A) mac ->
	(forall s . P s -> IO a) -> IO a
create :: forall (mn :: Maybe (*)) (mac :: Maybe (*, *)) sd a.
(WithPoked (M mn), ToMiddle mac) =>
D sd
-> CreateInfo mn -> M (U2 A) mac -> (forall s. P s -> IO a) -> IO a
create (Device.D D
dvc) CreateInfo mn
ci
	(M (U2 A) mac -> M A (Snd mac)
forall (msa :: Maybe (*, *)).
ToMiddle msa =>
M (U2 A) msa -> M A (Snd msa)
AllocationCallbacks.toMiddle -> M A (Snd mac)
macc) forall s. P s -> IO a
f =
	IO D -> (D -> IO ()) -> (D -> IO a) -> IO a
forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c
bracket (D -> CreateInfo mn -> M A (Snd mac) -> IO D
forall (mn :: Maybe (*)) (mc :: Maybe (*)).
WithPoked (M mn) =>
D -> CreateInfo mn -> M A mc -> IO D
M.create D
dvc CreateInfo mn
ci M A (Snd mac)
macc) (\D
p -> D -> D -> M A (Snd mac) -> IO ()
forall (md :: Maybe (*)). D -> D -> M A md -> IO ()
M.destroy D
dvc D
p M A (Snd mac)
macc) (P Any -> IO a
forall s. P s -> IO a
f (P Any -> IO a) -> (D -> P Any) -> D -> IO a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. D -> P Any
forall s. D -> P s
P)