{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# OPTIONS_GHC -Wall -fno-warn-tabs #-}

module Gpu.Vulkan.PipelineLayout.Type where

import Data.Kind

import qualified Gpu.Vulkan.DescriptorSetLayout.Type as DescriptorSetLayout
import qualified Gpu.Vulkan.PipelineLayout.Middle as M

newtype P s
	(sbtss :: [(Type, [DescriptorSetLayout.BindingType])]) (pcw :: [Type]) =
	P M.P deriving Int -> P s sbtss pcw -> ShowS
[P s sbtss pcw] -> ShowS
P s sbtss pcw -> String
(Int -> P s sbtss pcw -> ShowS)
-> (P s sbtss pcw -> String)
-> ([P s sbtss pcw] -> ShowS)
-> Show (P s sbtss pcw)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall s (sbtss :: [(*, [BindingType])]) (pcw :: [*]).
Int -> P s sbtss pcw -> ShowS
forall s (sbtss :: [(*, [BindingType])]) (pcw :: [*]).
[P s sbtss pcw] -> ShowS
forall s (sbtss :: [(*, [BindingType])]) (pcw :: [*]).
P s sbtss pcw -> String
$cshowsPrec :: forall s (sbtss :: [(*, [BindingType])]) (pcw :: [*]).
Int -> P s sbtss pcw -> ShowS
showsPrec :: Int -> P s sbtss pcw -> ShowS
$cshow :: forall s (sbtss :: [(*, [BindingType])]) (pcw :: [*]).
P s sbtss pcw -> String
show :: P s sbtss pcw -> String
$cshowList :: forall s (sbtss :: [(*, [BindingType])]) (pcw :: [*]).
[P s sbtss pcw] -> ShowS
showList :: [P s sbtss pcw] -> ShowS
Show