Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- create :: forall (mn :: Maybe Type) (objs :: [O]) (ma :: Maybe (Type, Type)) sd (nm :: Symbol) a. (WithPoked (M mn), SizeAlignmentList objs, ToMiddle ma) => D sd -> CreateInfo mn objs -> M (U2 A) ma -> (forall sb. B sb nm objs -> IO a) -> IO a
- data B s (nm :: Symbol) (objs :: [O])
- data CreateInfo (mn :: Maybe Type) (objs :: [O]) = CreateInfo {}
- data Group sd (ma :: Maybe (Type, Type)) s k (nm :: Symbol) (objs :: [O])
- group :: forall (md :: Maybe (Type, Type)) sd k (nm :: Symbol) (objs :: [O]) a. ToMiddle md => D sd -> M (U2 A) md -> (forall s. Group sd md s k nm objs -> IO a) -> IO a
- create' :: forall k (mn :: Maybe Type) (objs :: [O]) (ma :: Maybe (Type, Type)) sd sg (nm :: Symbol). (Ord k, WithPoked (M mn), SizeAlignmentList objs, ToMiddle ma) => Group sd ma sg k nm objs -> k -> CreateInfo mn objs -> IO (Either String (B sg nm objs))
- unsafeDestroy :: forall k (ma :: Maybe (Type, Type)) sd sg (nm :: Symbol) (objs :: [O]). (Ord k, ToMiddle ma) => Group sd ma sg k nm objs -> k -> IO (Either String ())
- lookup :: forall k sd (md :: Maybe (Type, Type)) sg (nm :: Symbol) (objs :: [O]). Ord k => Group sd md sg k nm objs -> k -> IO (Maybe (B sg nm objs))
- getMemoryRequirements :: forall sd sb (nm :: Symbol) (objs :: [O]). D sd -> B sb nm objs -> IO Requirements
- data Binded sm sb (nm :: Symbol) (objs :: [O])
- lengthBinded :: forall sm sb (nm :: Symbol) (objs :: [O]). Binded sm sb nm objs -> PL Length objs
- data IndexedForList sm sb (nm :: Symbol) (t :: k) (onm :: Symbol) = OffsetOfList t onm objs => IndexedForList (Binded sm sb nm objs)
- class MakeCopies (cpss :: [([O], Nat, Nat)]) (ss :: [O]) (ds :: [O])
- data ImageCopy (img :: k) (inm :: k1) = ImageCopy {}
- class ImageCopyListToMiddle (algn :: k) (objs :: [O]) img (inms :: [Symbol])
- data MemoryBarrier (mn :: Maybe Type) sm sb (nm :: Symbol) (obj :: O) = (OffsetRange obj objs 0, LengthOf obj objs) => MemoryBarrier {}
- class MemoryBarrierListToMiddle (nsmsbnmobjs :: [(Maybe Type, Type, Type, Symbol, O)])
- unsafeToBinded :: forall sb (nm :: Symbol) (objs :: [O]) sm. B sb nm objs -> Binded sm sb nm objs
- newtype CreateFlagBits = CreateFlagBits Word32
- pattern CreateFlagBitsMaxEnum :: CreateFlagBits
- pattern CreateDeviceAddressCaptureReplayBitKhr :: CreateFlagBits
- pattern CreateDeviceAddressCaptureReplayBitExt :: CreateFlagBits
- pattern CreateVideoProfileIndependentBitKhr :: CreateFlagBits
- pattern CreateDescriptorBufferCaptureReplayBitExt :: CreateFlagBits
- pattern CreateDeviceAddressCaptureReplayBit :: CreateFlagBits
- pattern CreateProtectedBit :: CreateFlagBits
- pattern CreateSparseAliasedBit :: CreateFlagBits
- pattern CreateSparseResidencyBit :: CreateFlagBits
- pattern CreateSparseBindingBit :: CreateFlagBits
- pattern CreateFlagsZero :: CreateFlagBits
- unCreateFlagBits :: CreateFlagBits -> Word32
- type UsageFlags = UsageFlagBits
- type CreateFlags = CreateFlagBits
- newtype UsageFlagBits = UsageFlagBits Word32
- pattern UsageFlagBitsMaxEnum :: UsageFlagBits
- pattern UsageShaderDeviceAddressBitKhr :: UsageFlagBits
- pattern UsageShaderDeviceAddressBitExt :: UsageFlagBits
- pattern UsageRayTracingBitNv :: UsageFlagBits
- pattern UsageMicromapStorageBitExt :: UsageFlagBits
- pattern UsageMicromapBuildInputReadOnlyBitExt :: UsageFlagBits
- pattern UsagePushDescriptorsDescriptorBufferBitExt :: UsageFlagBits
- pattern UsageResourceDescriptorBufferBitExt :: UsageFlagBits
- pattern UsageSamplerDescriptorBufferBitExt :: UsageFlagBits
- pattern UsageVideoEncodeSrcBitKhr :: UsageFlagBits
- pattern UsageVideoEncodeDstBitKhr :: UsageFlagBits
- pattern UsageShaderBindingTableBitKhr :: UsageFlagBits
- pattern UsageAccelerationStructureStorageBitKhr :: UsageFlagBits
- pattern UsageAccelerationStructureBuildInputReadOnlyBitKhr :: UsageFlagBits
- pattern UsageConditionalRenderingBitExt :: UsageFlagBits
- pattern UsageTransformFeedbackCounterBufferBitExt :: UsageFlagBits
- pattern UsageTransformFeedbackBufferBitExt :: UsageFlagBits
- pattern UsageVideoDecodeDstBitKhr :: UsageFlagBits
- pattern UsageVideoDecodeSrcBitKhr :: UsageFlagBits
- pattern UsageShaderDeviceAddressBit :: UsageFlagBits
- pattern UsageIndirectBufferBit :: UsageFlagBits
- pattern UsageVertexBufferBit :: UsageFlagBits
- pattern UsageIndexBufferBit :: UsageFlagBits
- pattern UsageStorageBufferBit :: UsageFlagBits
- pattern UsageUniformBufferBit :: UsageFlagBits
- pattern UsageStorageTexelBufferBit :: UsageFlagBits
- pattern UsageUniformTexelBufferBit :: UsageFlagBits
- pattern UsageTransferDstBit :: UsageFlagBits
- pattern UsageTransferSrcBit :: UsageFlagBits
- pattern UsageFlagsZero :: UsageFlagBits
- unUsageFlagBits :: UsageFlagBits -> Word32
CREATE
create :: forall (mn :: Maybe Type) (objs :: [O]) (ma :: Maybe (Type, Type)) sd (nm :: Symbol) a. (WithPoked (M mn), SizeAlignmentList objs, ToMiddle ma) => D sd -> CreateInfo mn objs -> M (U2 A) ma -> (forall sb. B sb nm objs -> IO a) -> IO a Source #
data CreateInfo (mn :: Maybe Type) (objs :: [O]) Source #
Instances
(Show (M n), Show (PL Length objs)) => Show (CreateInfo n objs) Source # | |
Defined in Gpu.Vulkan.Buffer.Internal showsPrec :: Int -> CreateInfo n objs -> ShowS # show :: CreateInfo n objs -> String # showList :: [CreateInfo n objs] -> ShowS # |
Buffer Group
group :: forall (md :: Maybe (Type, Type)) sd k (nm :: Symbol) (objs :: [O]) a. ToMiddle md => D sd -> M (U2 A) md -> (forall s. Group sd md s k nm objs -> IO a) -> IO a Source #
create' :: forall k (mn :: Maybe Type) (objs :: [O]) (ma :: Maybe (Type, Type)) sd sg (nm :: Symbol). (Ord k, WithPoked (M mn), SizeAlignmentList objs, ToMiddle ma) => Group sd ma sg k nm objs -> k -> CreateInfo mn objs -> IO (Either String (B sg nm objs)) Source #
unsafeDestroy :: forall k (ma :: Maybe (Type, Type)) sd sg (nm :: Symbol) (objs :: [O]). (Ord k, ToMiddle ma) => Group sd ma sg k nm objs -> k -> IO (Either String ()) Source #
lookup :: forall k sd (md :: Maybe (Type, Type)) sg (nm :: Symbol) (objs :: [O]). Ord k => Group sd md sg k nm objs -> k -> IO (Maybe (B sg nm objs)) Source #
BINDED
getMemoryRequirements :: forall sd sb (nm :: Symbol) (objs :: [O]). D sd -> B sb nm objs -> IO Requirements Source #
lengthBinded :: forall sm sb (nm :: Symbol) (objs :: [O]). Binded sm sb nm objs -> PL Length objs Source #
data IndexedForList sm sb (nm :: Symbol) (t :: k) (onm :: Symbol) Source #
OffsetOfList t onm objs => IndexedForList (Binded sm sb nm objs) |
COPY
class MakeCopies (cpss :: [([O], Nat, Nat)]) (ss :: [O]) (ds :: [O]) Source #
makeCopies
Instances
MakeCopies ('[] :: [([O], Nat, Nat)]) ss ds Source # | |
Defined in Gpu.Vulkan.Buffer.Internal | |
(CopyInfo as is id ss ds, MakeCopies ass ss ds) => MakeCopies ('(as, is, id) ': ass) ss ds Source # | |
Defined in Gpu.Vulkan.Buffer.Internal |
class ImageCopyListToMiddle (algn :: k) (objs :: [O]) img (inms :: [Symbol]) Source #
imageCopyListToMiddle
Instances
ImageCopyListToMiddle (algn :: k) objs img ('[] :: [Symbol]) Source # | |
Defined in Gpu.Vulkan.Buffer.Internal |
MEMORY BARRIER
data MemoryBarrier (mn :: Maybe Type) sm sb (nm :: Symbol) (obj :: O) Source #
(OffsetRange obj objs 0, LengthOf obj objs) => MemoryBarrier | |
class MemoryBarrierListToMiddle (nsmsbnmobjs :: [(Maybe Type, Type, Type, Symbol, O)]) Source #
memoryBarrierListToMiddle
Instances
MemoryBarrierListToMiddle ('[] :: [(Maybe Type, Type, Type, Symbol, O)]) Source # | |
Defined in Gpu.Vulkan.Buffer.Internal | |
MemoryBarrierListToMiddle nsmsbnmobjs => MemoryBarrierListToMiddle ('(mn, sm, sb, nm, obj) ': nsmsbnmobjs) Source # | |
Defined in Gpu.Vulkan.Buffer.Internal memoryBarrierListToMiddle :: PL (U5 MemoryBarrier) ('(mn, sm, sb, nm, obj) ': nsmsbnmobjs) -> PL MemoryBarrier (M0_5 ('(mn, sm, sb, nm, obj) ': nsmsbnmobjs)) |
UNSAFE
unsafeToBinded :: forall sb (nm :: Symbol) (objs :: [O]) sm. B sb nm objs -> Binded sm sb nm objs Source #
ENUM
newtype CreateFlagBits #
Instances
pattern CreateFlagBitsMaxEnum :: CreateFlagBits #
pattern CreateVideoProfileIndependentBitKhr :: CreateFlagBits #
pattern CreateDeviceAddressCaptureReplayBit :: CreateFlagBits #
pattern CreateProtectedBit :: CreateFlagBits #
pattern CreateSparseAliasedBit :: CreateFlagBits #
pattern CreateSparseResidencyBit :: CreateFlagBits #
pattern CreateSparseBindingBit :: CreateFlagBits #
pattern CreateFlagsZero :: CreateFlagBits #
type UsageFlags = UsageFlagBits #
type CreateFlags = CreateFlagBits #
newtype UsageFlagBits #
Instances
pattern UsageFlagBitsMaxEnum :: UsageFlagBits #
pattern UsageShaderDeviceAddressBitKhr :: UsageFlagBits #
pattern UsageShaderDeviceAddressBitExt :: UsageFlagBits #
pattern UsageRayTracingBitNv :: UsageFlagBits #
pattern UsageMicromapStorageBitExt :: UsageFlagBits #
pattern UsageMicromapBuildInputReadOnlyBitExt :: UsageFlagBits #
pattern UsageResourceDescriptorBufferBitExt :: UsageFlagBits #
pattern UsageSamplerDescriptorBufferBitExt :: UsageFlagBits #
pattern UsageVideoEncodeSrcBitKhr :: UsageFlagBits #
pattern UsageVideoEncodeDstBitKhr :: UsageFlagBits #
pattern UsageShaderBindingTableBitKhr :: UsageFlagBits #
pattern UsageConditionalRenderingBitExt :: UsageFlagBits #
pattern UsageTransformFeedbackBufferBitExt :: UsageFlagBits #
pattern UsageVideoDecodeDstBitKhr :: UsageFlagBits #
pattern UsageVideoDecodeSrcBitKhr :: UsageFlagBits #
pattern UsageShaderDeviceAddressBit :: UsageFlagBits #
pattern UsageIndirectBufferBit :: UsageFlagBits #
pattern UsageVertexBufferBit :: UsageFlagBits #
pattern UsageIndexBufferBit :: UsageFlagBits #
pattern UsageStorageBufferBit :: UsageFlagBits #
pattern UsageUniformBufferBit :: UsageFlagBits #
pattern UsageStorageTexelBufferBit :: UsageFlagBits #
pattern UsageUniformTexelBufferBit :: UsageFlagBits #
pattern UsageTransferDstBit :: UsageFlagBits #
pattern UsageTransferSrcBit :: UsageFlagBits #
pattern UsageFlagsZero :: UsageFlagBits #
unUsageFlagBits :: UsageFlagBits -> Word32 #