Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- create :: forall (mn :: Maybe Type) (lytas :: [(Type, [BindingType])]) (whole :: [Type]) (ranges :: [Range]) (mac :: Maybe (Type, Type)) sd a. (WithPoked (M mn), ToListT2 Type [BindingType] lytas, RangeListToMiddle whole ranges, ToMiddle mac) => D sd -> CreateInfo mn lytas ('Layout whole ranges) -> M (U2 A) mac -> (forall s. P s lytas whole -> IO a) -> IO a
- data P s (sbtss :: [(Type, [BindingType])]) (pcw :: [Type])
- data CreateInfo (mn :: Maybe Type) (lytas :: [(k, [BindingType])]) (pcl :: Layout) = CreateInfo {
- createInfoNext :: M mn
- createInfoFlags :: CreateFlags
- createInfoSetLayouts :: PL (U2 (D :: k -> [BindingType] -> Type)) lytas
- data CreateFlags
CREATE
create :: forall (mn :: Maybe Type) (lytas :: [(Type, [BindingType])]) (whole :: [Type]) (ranges :: [Range]) (mac :: Maybe (Type, Type)) sd a. (WithPoked (M mn), ToListT2 Type [BindingType] lytas, RangeListToMiddle whole ranges, ToMiddle mac) => D sd -> CreateInfo mn lytas ('Layout whole ranges) -> M (U2 A) mac -> (forall s. P s lytas whole -> IO a) -> IO a Source #
data CreateInfo (mn :: Maybe Type) (lytas :: [(k, [BindingType])]) (pcl :: Layout) Source #
CreateInfo | |
|
Instances
(Show (M mn), Show (PL (U2 (D :: k -> [BindingType] -> Type)) lytas)) => Show (CreateInfo mn lytas pcl) Source # | |
Defined in Gpu.Vulkan.PipelineLayout showsPrec :: Int -> CreateInfo mn lytas pcl -> ShowS # show :: CreateInfo mn lytas pcl -> String # showList :: [CreateInfo mn lytas pcl] -> ShowS # |
data CreateFlags #