Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- createCs :: forall (cias :: [(Maybe Type, Maybe Type, [Type])]) (mc :: Maybe Type). CreateInfoListToCore cias => D -> Maybe P -> PL (U3 CreateInfo) cias -> M A mc -> IO [C]
- destroy :: forall (md :: Maybe Type). D -> C -> M A md -> IO ()
- data C
- data CreateInfo (mn :: Maybe Type) (ss :: Maybe Type) (sivs :: [Type]) = CreateInfo {}
- class Length cias => CreateInfoListToCore (cias :: [(Maybe Type, Maybe Type, [Type])])
CREATE AND DESTROY
createCs :: forall (cias :: [(Maybe Type, Maybe Type, [Type])]) (mc :: Maybe Type). CreateInfoListToCore cias => D -> Maybe P -> PL (U3 CreateInfo) cias -> M A mc -> IO [C] Source #
data CreateInfo (mn :: Maybe Type) (ss :: Maybe Type) (sivs :: [Type]) Source #
Instances
(Show (M mn), Show (CreateInfo ss 'GlslComputeShader sivs)) => Show (CreateInfo mn ss sivs) Source # | |
Defined in Gpu.Vulkan.Pipeline.Compute.Middle.Internal showsPrec :: Int -> CreateInfo mn ss sivs -> ShowS # show :: CreateInfo mn ss sivs -> String # showList :: [CreateInfo mn ss sivs] -> ShowS # |
class Length cias => CreateInfoListToCore (cias :: [(Maybe Type, Maybe Type, [Type])]) Source #
createInfoListToCore
Instances
CreateInfoListToCore ('[] :: [(Maybe Type, Maybe Type, [Type])]) Source # | |
Defined in Gpu.Vulkan.Pipeline.Compute.Middle.Internal createInfoListToCore :: PL (U3 CreateInfo) ('[] :: [(Maybe Type, Maybe Type, [Type])]) -> ([CreateInfo] -> IO r) -> IO () | |
(WithPoked (M mn), WithPoked (M ss), PokableList sivs, CreateInfoListToCore cias) => CreateInfoListToCore ('(mn, ss, sivs) ': cias) Source # | |
Defined in Gpu.Vulkan.Pipeline.Compute.Middle.Internal createInfoListToCore :: PL (U3 CreateInfo) ('(mn, ss, sivs) ': cias) -> ([CreateInfo] -> IO r) -> IO () |