Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- create :: forall (mn :: Maybe Type) (mc :: Maybe Type). WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> IO I
- recreate :: forall (mn :: Maybe Type) (mc :: Maybe Type) (md :: Maybe Type). WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> M A md -> I -> IO ()
- recreate' :: forall (mn :: Maybe Type) (mc :: Maybe Type) (md :: Maybe Type) a. WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> M A md -> I -> IO a -> IO ()
- destroy :: forall (md :: Maybe Type). D -> I -> M A md -> IO ()
- newtype I = I (IORef (Extent3d, I))
- data CreateInfo (mn :: Maybe Type) = CreateInfo {
- createInfoNext :: M mn
- createInfoFlags :: CreateFlags
- createInfoImageType :: Type
- createInfoFormat :: Format
- createInfoExtent :: Extent3d
- createInfoMipLevels :: Word32
- createInfoArrayLayers :: Word32
- createInfoSamples :: CountFlagBits
- createInfoTiling :: Tiling
- createInfoUsage :: UsageFlags
- createInfoSharingMode :: SharingMode
- createInfoQueueFamilyIndices :: [Index]
- createInfoInitialLayout :: Layout
- data Group s k
- group :: forall (md :: Maybe Type) k a. D -> M A md -> (forall s. Group s k -> IO a) -> IO a
- create' :: forall k (mn :: Maybe Type) sm (mc :: Maybe Type). (Ord k, WithPoked (M mn)) => D -> Group sm k -> k -> CreateInfo mn -> M A mc -> IO (Either String I)
- destroy' :: forall k sm (mc :: Maybe Type). Ord k => D -> Group sm k -> k -> M A mc -> IO (Either String ())
- lookup :: Ord k => Group sm k -> k -> IO (Maybe I)
- getMemoryRequirements :: D -> I -> IO Requirements
- bindMemory :: D -> I -> M -> Size -> IO ()
- data MemoryBarrier (mn :: Maybe Type) = MemoryBarrier {
- memoryBarrierNext :: M mn
- memoryBarrierSrcAccessMask :: AccessFlags
- memoryBarrierDstAccessMask :: AccessFlags
- memoryBarrierOldLayout :: Layout
- memoryBarrierNewLayout :: Layout
- memoryBarrierSrcQueueFamilyIndex :: Index
- memoryBarrierDstQueueFamilyIndex :: Index
- memoryBarrierImage :: I
- memoryBarrierSubresourceRange :: SubresourceRange
- memoryBarrierToCore :: forall (mn :: Maybe Type) a. WithPoked (M mn) => MemoryBarrier mn -> (MemoryBarrier -> IO a) -> IO ()
- data MemoryBarrier2 (mn :: Maybe Type) = MemoryBarrier2 {
- memoryBarrier2Next :: M mn
- memoryBarrier2SrcStageMask :: StageFlags2
- memoryBarrier2SrcAccessMask :: AccessFlags2
- memoryBarrier2DstStageMask :: StageFlags2
- memoryBarrier2DstAccessMask :: AccessFlags2
- memoryBarrier2OldLayout :: Layout
- memoryBarrier2NewLayout :: Layout
- memoryBarrier2SrcQueueFamilyIndex :: Index
- memoryBarrier2DstQueueFamilyIndex :: Index
- memoryBarrier2Image :: I
- memoryBarrier2SubresourceRange :: SubresourceRange
- memoryBarrier2ToCore :: forall (mn :: Maybe Type) a. WithPoked (M mn) => MemoryBarrier2 mn -> (MemoryBarrier2 -> IO a) -> IO ()
- data SubresourceRange = SubresourceRange {}
- subresourceRangeToCore :: SubresourceRange -> SubresourceRange
- data Blit = Blit {}
- blitToCore :: Blit -> Blit
- data SubresourceLayers = SubresourceLayers {}
- subresourceLayersToCore :: SubresourceLayers -> SubresourceLayers
- data Subresource = Subresource {}
- subresourceToCore :: Subresource -> Subresource
CREATE AND DESTROY
create :: forall (mn :: Maybe Type) (mc :: Maybe Type). WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> IO I Source #
recreate :: forall (mn :: Maybe Type) (mc :: Maybe Type) (md :: Maybe Type). WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> M A md -> I -> IO () Source #
recreate' :: forall (mn :: Maybe Type) (mc :: Maybe Type) (md :: Maybe Type) a. WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> M A md -> I -> IO a -> IO () Source #
data CreateInfo (mn :: Maybe Type) Source #
Instances
Show (M mn) => Show (CreateInfo mn) Source # | |
Defined in Gpu.Vulkan.Image.Middle.Internal showsPrec :: Int -> CreateInfo mn -> ShowS # show :: CreateInfo mn -> String # showList :: [CreateInfo mn] -> ShowS # |
Image Group
group :: forall (md :: Maybe Type) k a. D -> M A md -> (forall s. Group s k -> IO a) -> IO a Source #
create' :: forall k (mn :: Maybe Type) sm (mc :: Maybe Type). (Ord k, WithPoked (M mn)) => D -> Group sm k -> k -> CreateInfo mn -> M A mc -> IO (Either String I) Source #
destroy' :: forall k sm (mc :: Maybe Type). Ord k => D -> Group sm k -> k -> M A mc -> IO (Either String ()) Source #
GET MEMORY REQUIREMENTS AND BIND MEMORY
getMemoryRequirements :: D -> I -> IO Requirements Source #
MEMORY BARRIER
data MemoryBarrier (mn :: Maybe Type) Source #
memoryBarrierToCore :: forall (mn :: Maybe Type) a. WithPoked (M mn) => MemoryBarrier mn -> (MemoryBarrier -> IO a) -> IO () Source #
data MemoryBarrier2 (mn :: Maybe Type) Source #
memoryBarrier2ToCore :: forall (mn :: Maybe Type) a. WithPoked (M mn) => MemoryBarrier2 mn -> (MemoryBarrier2 -> IO a) -> IO () Source #
data SubresourceRange Source #
Instances
Show SubresourceRange Source # | |
Defined in Gpu.Vulkan.Image.Middle.Internal showsPrec :: Int -> SubresourceRange -> ShowS # show :: SubresourceRange -> String # showList :: [SubresourceRange] -> ShowS # |
BLIT
blitToCore :: Blit -> Blit Source #
data SubresourceLayers Source #
Instances
Show SubresourceLayers Source # | |
Defined in Gpu.Vulkan.Image.Middle.Internal showsPrec :: Int -> SubresourceLayers -> ShowS # show :: SubresourceLayers -> String # showList :: [SubresourceLayers] -> ShowS # |
OTHERS
data Subresource Source #
Instances
Show Subresource Source # | |
Defined in Gpu.Vulkan.Image.Middle.Internal showsPrec :: Int -> Subresource -> ShowS # show :: Subresource -> String # showList :: [Subresource] -> ShowS # |