Safe Haskell	None
Language	Haskell2010

Gpu.Vulkan.Memory

Contents

ALLOCATE AND BIND
GET REQUREMENTS
READ AND WRITE
BARRIER
OTHERS
ENUM

Synopsis

allocateBind :: forall (mn :: Maybe Type) (ibargs :: [(Type, ImageBufferArg)]) (mac :: Maybe (Type, Type)) sd a. (WithPoked (M mn), Bindable ibargs, ToMiddle mac) => D sd -> PL (U2 ImageBuffer) ibargs -> AllocateInfo mn -> M (U2 A) mac -> (forall s. PL (U2 (ImageBufferBinded s)) ibargs -> M s ibargs -> IO a) -> IO a
unsafeReallocateBind :: forall (mn :: Maybe Type) (ibargs :: [(Type, ImageBufferArg)]) (mac :: Maybe (Type, Type)) sd sm. (WithPoked (M mn), Rebindable ibargs, ToMiddle mac) => D sd -> PL (U2 (ImageBufferBinded sm)) ibargs -> AllocateInfo mn -> M (U2 A) mac -> M sm ibargs -> IO ()
unsafeReallocateBind' :: forall (mn :: Maybe Type) (ibargs :: [(Type, ImageBufferArg)]) (mac :: Maybe (Type, Type)) sd sm a. (WithPoked (M mn), Rebindable ibargs, ToMiddle mac) => D sd -> PL (U2 (ImageBufferBinded sm)) ibargs -> AllocateInfo mn -> M (U2 A) mac -> M sm ibargs -> IO a -> IO ()
data Group sd (ma :: Maybe (Type, Type)) s k (ibargs :: [(Type, ImageBufferArg)])
group :: forall (ma :: Maybe (Type, Type)) sd k (ibargs :: [(Type, ImageBufferArg)]) a. ToMiddle ma => D sd -> M (U2 A) ma -> (forall s. Group sd ma s k ibargs -> IO a) -> IO a
allocateBind' :: forall k (mn :: Maybe Type) (ibargs :: [(Type, ImageBufferArg)]) (ma :: Maybe (Type, Type)) sd sm. (Ord k, WithPoked (M mn), Bindable ibargs, ToMiddle ma) => Group sd ma sm k ibargs -> k -> PL (U2 ImageBuffer) ibargs -> AllocateInfo mn -> IO (Either String (PL (U2 (ImageBufferBinded sm)) ibargs, M sm ibargs))
unsafeFree :: forall k (ma :: Maybe (Type, Type)) sd smng (ibargs :: [(Type, ImageBufferArg)]). (Ord k, ToMiddle ma) => Group sd ma smng k ibargs -> k -> IO (Either String ())
lookup :: forall k sd (ma :: Maybe (Type, Type)) sm (ibargs :: [(Type, ImageBufferArg)]) s. Ord k => Group sd ma sm k ibargs -> k -> IO (Maybe (M s ibargs))
data M s (ibargs :: [(Type, ImageBufferArg)])
getBinded :: forall s (ibargs :: [(Type, ImageBufferArg)]). M s ibargs -> IO (PL (U2 (ImageBufferBinded s)) ibargs)
data ImageBuffer s (ibarg :: ImageBufferArg) where
- Image :: forall s (nm :: Symbol) (fmt :: Format). I s nm fmt -> ImageBuffer s ('ImageArg nm fmt)
- Buffer :: forall s (nm :: Symbol) (objs :: [O]). B s nm objs -> ImageBuffer s ('BufferArg nm objs)
- Raw :: forall s. Size -> Size -> ImageBuffer s 'RawArg
data ImageBufferBinded sm sib (ibarg :: ImageBufferArg) where
- ImageBinded :: forall sm sib (nm :: Symbol) (fmt :: Format). Binded sm sib nm fmt -> ImageBufferBinded sm sib ('ImageArg nm fmt)
- BufferBinded :: forall sm sib (nm :: Symbol) (objs :: [O]). Binded sm sib nm objs -> ImageBufferBinded sm sib ('BufferArg nm objs)
- RawBinded :: forall sm sib. Size -> Size -> ImageBufferBinded sm sib 'RawArg
data ImageBufferArg
- = ImageArg Symbol Format
- | BufferArg Symbol [O]
- | RawArg
data AllocateInfo (mn :: Maybe Type) = AllocateInfo {
- allocateInfoNext :: M mn
- allocateInfoMemoryTypeIndex :: TypeIndex
}
data MType = MType {
- mTypePropertyFlags :: PropertyFlags
- mTypeHeapIndex :: Word32
}
data TypeBits
data TypeIndex
elemTypeIndex :: TypeIndex -> TypeBits -> Bool
data Heap = Heap {
- heapSize :: Size
- heapFlags :: HeapFlags
}
class (BindAll ibargs ibargs, Alignments ibargs) => Bindable (ibargs :: [(Type, ImageBufferArg)])
class (RebindAll ibargs ibargs, Alignments ibargs) => Rebindable (ibargs :: [(Type, ImageBufferArg)])
getRequirementsList :: forall sd (ibargs :: [(Type, ImageBufferArg)]). D sd -> PL (U2 ImageBuffer) ibargs -> IO [Either AlgnSize Requirements]
data Requirements = Requirements {
- requirementsSize :: Size
- requirementsAlignment :: Size
- requirementsMemoryTypeBits :: TypeBits
}
read :: forall (nm :: Symbol) (obj :: O) (i :: Nat) v sd sm (ibargs :: [(Type, ImageBufferArg)]). (Store v obj, OffsetSize nm obj ibargs i) => D sd -> M sm ibargs -> MapFlags -> IO v
write :: forall (nm :: Symbol) (obj :: O) (i :: Nat) sd sm (ibargs :: [(Type, ImageBufferArg)]) v. (Store v obj, OffsetSize nm obj ibargs i) => D sd -> M sm ibargs -> MapFlags -> v -> IO ()
class ObjectLength nm obj ibargs => OffsetSize (nm :: Symbol) (obj :: O) (ibargs :: [(Type, ImageBufferArg)]) (i :: Nat)
data MapFlags
data Barrier (mn :: Maybe Type) = Barrier {
- barrierNext :: M mn
- barrierSrcAccessMask :: AccessFlags
- barrierDstAccessMask :: AccessFlags
}
newtype RawOffset (n :: Nat) = RawOffset Size
newtype PropertyFlagBits = PropertyFlagBits Word32
pattern PropertyFlagBitsMaxEnum :: PropertyFlagBits
pattern PropertyRdmaCapableBitNv :: PropertyFlagBits
pattern PropertyDeviceUncachedBitAmd :: PropertyFlagBits
pattern PropertyDeviceCoherentBitAmd :: PropertyFlagBits
pattern PropertyProtectedBit :: PropertyFlagBits
pattern PropertyLazilyAllocatedBit :: PropertyFlagBits
pattern PropertyHostCachedBit :: PropertyFlagBits
pattern PropertyHostCoherentBit :: PropertyFlagBits
pattern PropertyHostVisibleBit :: PropertyFlagBits
pattern PropertyDeviceLocalBit :: PropertyFlagBits
pattern PropertyFlagsZero :: PropertyFlagBits
unPropertyFlagBits :: PropertyFlagBits -> Word32
type HeapFlags = HeapFlagBits
type PropertyFlags = PropertyFlagBits
newtype HeapFlagBits = HeapFlagBits Word32
pattern HeapFlagBitsMaxEnum :: HeapFlagBits
pattern HeapMultiInstanceBitKhr :: HeapFlagBits
pattern HeapMultiInstanceBit :: HeapFlagBits
pattern HeapDeviceLocalBit :: HeapFlagBits
pattern HeapFlagsZero :: HeapFlagBits
unHeapFlagBits :: HeapFlagBits -> Word32

ALLOCATE AND BIND

allocateBind :: forall (mn :: Maybe Type) (ibargs :: [(Type, ImageBufferArg)]) (mac :: Maybe (Type, Type)) sd a. (WithPoked (M mn), Bindable ibargs, ToMiddle mac) => D sd -> PL (U2 ImageBuffer) ibargs -> AllocateInfo mn -> M (U2 A) mac -> (forall s. PL (U2 (ImageBufferBinded s)) ibargs -> M s ibargs -> IO a) -> IO a Source #

unsafeReallocateBind :: forall (mn :: Maybe Type) (ibargs :: [(Type, ImageBufferArg)]) (mac :: Maybe (Type, Type)) sd sm. (WithPoked (M mn), Rebindable ibargs, ToMiddle mac) => D sd -> PL (U2 (ImageBufferBinded sm)) ibargs -> AllocateInfo mn -> M (U2 A) mac -> M sm ibargs -> IO () Source #

unsafeReallocateBind' :: forall (mn :: Maybe Type) (ibargs :: [(Type, ImageBufferArg)]) (mac :: Maybe (Type, Type)) sd sm a. (WithPoked (M mn), Rebindable ibargs, ToMiddle mac) => D sd -> PL (U2 (ImageBufferBinded sm)) ibargs -> AllocateInfo mn -> M (U2 A) mac -> M sm ibargs -> IO a -> IO () Source #

Destruction Group

data Group sd (ma :: Maybe (Type, Type)) s k (ibargs :: [(Type, ImageBufferArg)]) Source #

group :: forall (ma :: Maybe (Type, Type)) sd k (ibargs :: [(Type, ImageBufferArg)]) a. ToMiddle ma => D sd -> M (U2 A) ma -> (forall s. Group sd ma s k ibargs -> IO a) -> IO a Source #

allocateBind' :: forall k (mn :: Maybe Type) (ibargs :: [(Type, ImageBufferArg)]) (ma :: Maybe (Type, Type)) sd sm. (Ord k, WithPoked (M mn), Bindable ibargs, ToMiddle ma) => Group sd ma sm k ibargs -> k -> PL (U2 ImageBuffer) ibargs -> AllocateInfo mn -> IO (Either String (PL (U2 (ImageBufferBinded sm)) ibargs, M sm ibargs)) Source #

unsafeFree :: forall k (ma :: Maybe (Type, Type)) sd smng (ibargs :: [(Type, ImageBufferArg)]). (Ord k, ToMiddle ma) => Group sd ma smng k ibargs -> k -> IO (Either String ()) Source #

lookup :: forall k sd (ma :: Maybe (Type, Type)) sm (ibargs :: [(Type, ImageBufferArg)]) s. Ord k => Group sd ma sm k ibargs -> k -> IO (Maybe (M s ibargs)) Source #

MEMORY

data M s (ibargs :: [(Type, ImageBufferArg)]) Source #

getBinded :: forall s (ibargs :: [(Type, ImageBufferArg)]). M s ibargs -> IO (PL (U2 (ImageBufferBinded s)) ibargs) Source #

data ImageBuffer s (ibarg :: ImageBufferArg) where Source #

Constructors

Image :: forall s (nm :: Symbol) (fmt :: Format). I s nm fmt -> ImageBuffer s ('ImageArg nm fmt)
Buffer :: forall s (nm :: Symbol) (objs :: [O]). B s nm objs -> ImageBuffer s ('BufferArg nm objs)
Raw :: forall s. Size -> Size -> ImageBuffer s 'RawArg

Instances

Instances details

Show (PL Length objs) => Show (ImageBuffer sib ('BufferArg nm objs)) Source #
Instance details Defined in Gpu.Vulkan.Memory.ImageBuffer Methods showsPrec :: Int -> ImageBuffer sib ('BufferArg nm objs) -> ShowS # show :: ImageBuffer sib ('BufferArg nm objs) -> String # showList :: [ImageBuffer sib ('BufferArg nm objs)] -> ShowS #

data ImageBufferBinded sm sib (ibarg :: ImageBufferArg) where Source #

Constructors

ImageBinded :: forall sm sib (nm :: Symbol) (fmt :: Format). Binded sm sib nm fmt -> ImageBufferBinded sm sib ('ImageArg nm fmt)
BufferBinded :: forall sm sib (nm :: Symbol) (objs :: [O]). Binded sm sib nm objs -> ImageBufferBinded sm sib ('BufferArg nm objs)
RawBinded :: forall sm sib. Size -> Size -> ImageBufferBinded sm sib 'RawArg

Instances

Instances details

Show (PL Length objs) => Show (ImageBufferBinded sm sib ('BufferArg nm objs)) Source #
Instance details Defined in Gpu.Vulkan.Memory.ImageBuffer Methods showsPrec :: Int -> ImageBufferBinded sm sib ('BufferArg nm objs) -> ShowS # show :: ImageBufferBinded sm sib ('BufferArg nm objs) -> String # showList :: [ImageBufferBinded sm sib ('BufferArg nm objs)] -> ShowS #

data ImageBufferArg Source #

Constructors

ImageArg Symbol Format
BufferArg Symbol [O]
RawArg

Instances

Instances details

(OffsetRange obj objs i, LengthOf obj objs) => OffsetSize nm obj ('(sib, 'BufferArg nm objs) ': ibargs) i Source #
Instance details Defined in Gpu.Vulkan.Memory.OffsetSize Methods offsetSize' :: D sd -> PL (U2 ImageBuffer) ('(sib, 'BufferArg nm objs) ': ibargs) -> Size -> IO (Size, Size)
OffsetSize nm obj ibargs i => OffsetSize nm obj ('(sib, ib) ': ibargs) i Source #
Instance details Defined in Gpu.Vulkan.Memory.OffsetSize Methods offsetSize' :: D sd -> PL (U2 ImageBuffer) ('(sib, ib) ': ibargs) -> Size -> IO (Size, Size)
BindSparseInfosToMiddle ('[] :: [(Maybe Type, [Type], [(Type, Symbol, [O], [(Type, [(Type, ImageBufferArg)], Nat)])], [(Type, Symbol, Format, [(Type, [(Type, ImageBufferArg)], Nat)])], [(Type, Symbol, Format, [(Type, [(Type, ImageBufferArg)], Nat)])], [Type])]) Source #
Instance details Defined in Gpu.Vulkan.Queue Methods bindSparseInfosToMiddle :: D sd -> PL (U6 BindSparseInfo) ('[] :: [(Maybe Type, [Type], [(Type, Symbol, [O], [(Type, [(Type, ImageBufferArg)], Nat)])], [(Type, Symbol, Format, [(Type, [(Type, ImageBufferArg)], Nat)])], [(Type, Symbol, Format, [(Type, [(Type, ImageBufferArg)], Nat)])], [Type])]) -> IO (PL BindSparseInfo (M0_6 ('[] :: [(Maybe Type, [Type], [(Type, Symbol, [O], [(Type, [(Type, ImageBufferArg)], Nat)])], [(Type, Symbol, Format, [(Type, [(Type, ImageBufferArg)], Nat)])], [(Type, Symbol, Format, [(Type, [(Type, ImageBufferArg)], Nat)])], [Type])])))
(MemoryBindInfosToMiddle bbs, OpaqueMemoryBindInfosToMiddle iobs, MemoryBindInfosToMiddle ibs, BindSparseInfosToMiddle bsias) => BindSparseInfosToMiddle ('(mn, swss, bbs, iobs, ibs, ssss) ': bsias) Source #
Instance details Defined in Gpu.Vulkan.Queue Methods bindSparseInfosToMiddle :: D sd -> PL (U6 BindSparseInfo) ('(mn, swss, bbs, iobs, ibs, ssss) ': bsias) -> IO (PL BindSparseInfo (M0_6 ('(mn, swss, bbs, iobs, ibs, ssss) ': bsias)))

ALLOCATE INFO

data AllocateInfo (mn :: Maybe Type) Source #

Constructors

AllocateInfo
Fields allocateInfoNext :: M mn allocateInfoMemoryTypeIndex :: TypeIndex

Instances

Instances details

Show (M mn) => Show (AllocateInfo mn) Source #
Instance details Defined in Gpu.Vulkan.Memory Methods showsPrec :: Int -> AllocateInfo mn -> ShowS # show :: AllocateInfo mn -> String # showList :: [AllocateInfo mn] -> ShowS #
Eq (M mn) => Eq (AllocateInfo mn) Source #
Instance details Defined in Gpu.Vulkan.Memory Methods (==) :: AllocateInfo mn -> AllocateInfo mn -> Bool # (/=) :: AllocateInfo mn -> AllocateInfo mn -> Bool #

data MType #

Constructors

MType
Fields mTypePropertyFlags :: PropertyFlags mTypeHeapIndex :: Word32

Instances

Instances details

Show MType
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods showsPrec :: Int -> MType -> ShowS # show :: MType -> String # showList :: [MType] -> ShowS #

data TypeBits #

Instances

Instances details

Bits TypeBits
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods (.&.) :: TypeBits -> TypeBits -> TypeBits # (.\|.) :: TypeBits -> TypeBits -> TypeBits # xor :: TypeBits -> TypeBits -> TypeBits # complement :: TypeBits -> TypeBits # shift :: TypeBits -> Int -> TypeBits # rotate :: TypeBits -> Int -> TypeBits # zeroBits :: TypeBits # bit :: Int -> TypeBits # setBit :: TypeBits -> Int -> TypeBits # clearBit :: TypeBits -> Int -> TypeBits # complementBit :: TypeBits -> Int -> TypeBits # testBit :: TypeBits -> Int -> Bool # bitSizeMaybe :: TypeBits -> Maybe Int # bitSize :: TypeBits -> Int # isSigned :: TypeBits -> Bool # shiftL :: TypeBits -> Int -> TypeBits # unsafeShiftL :: TypeBits -> Int -> TypeBits # shiftR :: TypeBits -> Int -> TypeBits # unsafeShiftR :: TypeBits -> Int -> TypeBits # rotateL :: TypeBits -> Int -> TypeBits # rotateR :: TypeBits -> Int -> TypeBits # popCount :: TypeBits -> Int #
FiniteBits TypeBits
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods finiteBitSize :: TypeBits -> Int # countLeadingZeros :: TypeBits -> Int # countTrailingZeros :: TypeBits -> Int #
Show TypeBits
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods showsPrec :: Int -> TypeBits -> ShowS # show :: TypeBits -> String # showList :: [TypeBits] -> ShowS #
Eq TypeBits
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods (==) :: TypeBits -> TypeBits -> Bool # (/=) :: TypeBits -> TypeBits -> Bool #

data TypeIndex #

Instances

Instances details

Enum TypeIndex
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods succ :: TypeIndex -> TypeIndex # pred :: TypeIndex -> TypeIndex # toEnum :: Int -> TypeIndex # fromEnum :: TypeIndex -> Int # enumFrom :: TypeIndex -> [TypeIndex] # enumFromThen :: TypeIndex -> TypeIndex -> [TypeIndex] # enumFromTo :: TypeIndex -> TypeIndex -> [TypeIndex] # enumFromThenTo :: TypeIndex -> TypeIndex -> TypeIndex -> [TypeIndex] #
Num TypeIndex
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods (+) :: TypeIndex -> TypeIndex -> TypeIndex # (-) :: TypeIndex -> TypeIndex -> TypeIndex # (*) :: TypeIndex -> TypeIndex -> TypeIndex # negate :: TypeIndex -> TypeIndex # abs :: TypeIndex -> TypeIndex # signum :: TypeIndex -> TypeIndex # fromInteger :: Integer -> TypeIndex #
Integral TypeIndex
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods quot :: TypeIndex -> TypeIndex -> TypeIndex # rem :: TypeIndex -> TypeIndex -> TypeIndex # div :: TypeIndex -> TypeIndex -> TypeIndex # mod :: TypeIndex -> TypeIndex -> TypeIndex # quotRem :: TypeIndex -> TypeIndex -> (TypeIndex, TypeIndex) # divMod :: TypeIndex -> TypeIndex -> (TypeIndex, TypeIndex) # toInteger :: TypeIndex -> Integer #
Real TypeIndex
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods toRational :: TypeIndex -> Rational #
Show TypeIndex
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods showsPrec :: Int -> TypeIndex -> ShowS # show :: TypeIndex -> String # showList :: [TypeIndex] -> ShowS #
Eq TypeIndex
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods (==) :: TypeIndex -> TypeIndex -> Bool # (/=) :: TypeIndex -> TypeIndex -> Bool #
Ord TypeIndex
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods compare :: TypeIndex -> TypeIndex -> Ordering # (<) :: TypeIndex -> TypeIndex -> Bool # (<=) :: TypeIndex -> TypeIndex -> Bool # (>) :: TypeIndex -> TypeIndex -> Bool # (>=) :: TypeIndex -> TypeIndex -> Bool # max :: TypeIndex -> TypeIndex -> TypeIndex # min :: TypeIndex -> TypeIndex -> TypeIndex #

elemTypeIndex :: TypeIndex -> TypeBits -> Bool #

data Heap #

Constructors

Heap
Fields heapSize :: Size heapFlags :: HeapFlags

Instances

Instances details

Show Heap
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods showsPrec :: Int -> Heap -> ShowS # show :: Heap -> String # showList :: [Heap] -> ShowS #

BINDABLE AND REBINDABLE

class (BindAll ibargs ibargs, Alignments ibargs) => Bindable (ibargs :: [(Type, ImageBufferArg)]) Source #

Instances

Instances details

(BindAll ibargs ibargs, Alignments ibargs) => Bindable ibargs Source #
Instance details Defined in Gpu.Vulkan.Memory.Bind

class (RebindAll ibargs ibargs, Alignments ibargs) => Rebindable (ibargs :: [(Type, ImageBufferArg)]) Source #

Instances

Instances details

(RebindAll ibargs ibargs, Alignments ibargs) => Rebindable ibargs Source #
Instance details Defined in Gpu.Vulkan.Memory.Bind

GET REQUREMENTS

getRequirementsList :: forall sd (ibargs :: [(Type, ImageBufferArg)]). D sd -> PL (U2 ImageBuffer) ibargs -> IO [Either AlgnSize Requirements] Source #

data Requirements #

Constructors

Requirements
Fields requirementsSize :: Size requirementsAlignment :: Size requirementsMemoryTypeBits :: TypeBits

Instances

Instances details

Show Requirements
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods showsPrec :: Int -> Requirements -> ShowS # show :: Requirements -> String # showList :: [Requirements] -> ShowS #

READ AND WRITE

read :: forall (nm :: Symbol) (obj :: O) (i :: Nat) v sd sm (ibargs :: [(Type, ImageBufferArg)]). (Store v obj, OffsetSize nm obj ibargs i) => D sd -> M sm ibargs -> MapFlags -> IO v Source #

write :: forall (nm :: Symbol) (obj :: O) (i :: Nat) sd sm (ibargs :: [(Type, ImageBufferArg)]) v. (Store v obj, OffsetSize nm obj ibargs i) => D sd -> M sm ibargs -> MapFlags -> v -> IO () Source #

class ObjectLength nm obj ibargs => OffsetSize (nm :: Symbol) (obj :: O) (ibargs :: [(Type, ImageBufferArg)]) (i :: Nat) Source #

Minimal complete definition

offsetSize'

Instances

Instances details

(OffsetRange obj objs i, LengthOf obj objs) => OffsetSize nm obj ('(sib, 'BufferArg nm objs) ': ibargs) i Source #
Instance details Defined in Gpu.Vulkan.Memory.OffsetSize Methods offsetSize' :: D sd -> PL (U2 ImageBuffer) ('(sib, 'BufferArg nm objs) ': ibargs) -> Size -> IO (Size, Size)
OffsetSize nm obj ibargs i => OffsetSize nm obj ('(sib, ib) ': ibargs) i Source #
Instance details Defined in Gpu.Vulkan.Memory.OffsetSize Methods offsetSize' :: D sd -> PL (U2 ImageBuffer) ('(sib, ib) ': ibargs) -> Size -> IO (Size, Size)

data MapFlags #

Instances

Instances details

Storable MapFlags
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods sizeOf :: MapFlags -> Int # alignment :: MapFlags -> Int # peekElemOff :: Ptr MapFlags -> Int -> IO MapFlags # pokeElemOff :: Ptr MapFlags -> Int -> MapFlags -> IO () # peekByteOff :: Ptr b -> Int -> IO MapFlags # pokeByteOff :: Ptr b -> Int -> MapFlags -> IO () # peek :: Ptr MapFlags -> IO MapFlags # poke :: Ptr MapFlags -> MapFlags -> IO () #
Bits MapFlags
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods (.&.) :: MapFlags -> MapFlags -> MapFlags # (.\|.) :: MapFlags -> MapFlags -> MapFlags # xor :: MapFlags -> MapFlags -> MapFlags # complement :: MapFlags -> MapFlags # shift :: MapFlags -> Int -> MapFlags # rotate :: MapFlags -> Int -> MapFlags # zeroBits :: MapFlags # bit :: Int -> MapFlags # setBit :: MapFlags -> Int -> MapFlags # clearBit :: MapFlags -> Int -> MapFlags # complementBit :: MapFlags -> Int -> MapFlags # testBit :: MapFlags -> Int -> Bool # bitSizeMaybe :: MapFlags -> Maybe Int # bitSize :: MapFlags -> Int # isSigned :: MapFlags -> Bool # shiftL :: MapFlags -> Int -> MapFlags # unsafeShiftL :: MapFlags -> Int -> MapFlags # shiftR :: MapFlags -> Int -> MapFlags # unsafeShiftR :: MapFlags -> Int -> MapFlags # rotateL :: MapFlags -> Int -> MapFlags # rotateR :: MapFlags -> Int -> MapFlags # popCount :: MapFlags -> Int #
Show MapFlags
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods showsPrec :: Int -> MapFlags -> ShowS # show :: MapFlags -> String # showList :: [MapFlags] -> ShowS #
Default MapFlags
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods def :: MapFlags #
Eq MapFlags
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods (==) :: MapFlags -> MapFlags -> Bool # (/=) :: MapFlags -> MapFlags -> Bool #

BARRIER

data Barrier (mn :: Maybe Type) #

Constructors

Barrier
Fields barrierNext :: M mn barrierSrcAccessMask :: AccessFlags barrierDstAccessMask :: AccessFlags

Instances

Instances details

Show (M mn) => Show (Barrier mn)
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods showsPrec :: Int -> Barrier mn -> ShowS # show :: Barrier mn -> String # showList :: [Barrier mn] -> ShowS #

OTHERS

newtype RawOffset (n :: Nat) Source #

Constructors

RawOffset Size

Instances

Instances details

Num (RawOffset n) Source #
Instance details Defined in Gpu.Vulkan.Memory.ImageBuffer Methods (+) :: RawOffset n -> RawOffset n -> RawOffset n # (-) :: RawOffset n -> RawOffset n -> RawOffset n # (*) :: RawOffset n -> RawOffset n -> RawOffset n # negate :: RawOffset n -> RawOffset n # abs :: RawOffset n -> RawOffset n # signum :: RawOffset n -> RawOffset n # fromInteger :: Integer -> RawOffset n #
Show (RawOffset n) Source #
Instance details Defined in Gpu.Vulkan.Memory.ImageBuffer Methods showsPrec :: Int -> RawOffset n -> ShowS # show :: RawOffset n -> String # showList :: [RawOffset n] -> ShowS #

ENUM

newtype PropertyFlagBits #

Constructors

PropertyFlagBits Word32

Instances

Instances details

Storable PropertyFlagBits
Instance details Defined in Gpu.Vulkan.Memory.Enum Methods sizeOf :: PropertyFlagBits -> Int # alignment :: PropertyFlagBits -> Int # peekElemOff :: Ptr PropertyFlagBits -> Int -> IO PropertyFlagBits # pokeElemOff :: Ptr PropertyFlagBits -> Int -> PropertyFlagBits -> IO () # peekByteOff :: Ptr b -> Int -> IO PropertyFlagBits # pokeByteOff :: Ptr b -> Int -> PropertyFlagBits -> IO () # peek :: Ptr PropertyFlagBits -> IO PropertyFlagBits # poke :: Ptr PropertyFlagBits -> PropertyFlagBits -> IO () #
Bits PropertyFlagBits
Instance details Defined in Gpu.Vulkan.Memory.Enum Methods (.&.) :: PropertyFlagBits -> PropertyFlagBits -> PropertyFlagBits # (.\|.) :: PropertyFlagBits -> PropertyFlagBits -> PropertyFlagBits # xor :: PropertyFlagBits -> PropertyFlagBits -> PropertyFlagBits # complement :: PropertyFlagBits -> PropertyFlagBits # shift :: PropertyFlagBits -> Int -> PropertyFlagBits # rotate :: PropertyFlagBits -> Int -> PropertyFlagBits # zeroBits :: PropertyFlagBits # bit :: Int -> PropertyFlagBits # setBit :: PropertyFlagBits -> Int -> PropertyFlagBits # clearBit :: PropertyFlagBits -> Int -> PropertyFlagBits # complementBit :: PropertyFlagBits -> Int -> PropertyFlagBits # testBit :: PropertyFlagBits -> Int -> Bool # bitSizeMaybe :: PropertyFlagBits -> Maybe Int # bitSize :: PropertyFlagBits -> Int # isSigned :: PropertyFlagBits -> Bool # shiftL :: PropertyFlagBits -> Int -> PropertyFlagBits # unsafeShiftL :: PropertyFlagBits -> Int -> PropertyFlagBits # shiftR :: PropertyFlagBits -> Int -> PropertyFlagBits # unsafeShiftR :: PropertyFlagBits -> Int -> PropertyFlagBits # rotateL :: PropertyFlagBits -> Int -> PropertyFlagBits # rotateR :: PropertyFlagBits -> Int -> PropertyFlagBits # popCount :: PropertyFlagBits -> Int #
FiniteBits PropertyFlagBits
Instance details Defined in Gpu.Vulkan.Memory.Enum Methods finiteBitSize :: PropertyFlagBits -> Int # countLeadingZeros :: PropertyFlagBits -> Int # countTrailingZeros :: PropertyFlagBits -> Int #
Show PropertyFlagBits
Instance details Defined in Gpu.Vulkan.Memory.Enum Methods showsPrec :: Int -> PropertyFlagBits -> ShowS # show :: PropertyFlagBits -> String # showList :: [PropertyFlagBits] -> ShowS #
Eq PropertyFlagBits
Instance details Defined in Gpu.Vulkan.Memory.Enum Methods (==) :: PropertyFlagBits -> PropertyFlagBits -> Bool # (/=) :: PropertyFlagBits -> PropertyFlagBits -> Bool #

pattern PropertyFlagBitsMaxEnum :: PropertyFlagBits #

pattern PropertyRdmaCapableBitNv :: PropertyFlagBits #

pattern PropertyDeviceUncachedBitAmd :: PropertyFlagBits #

pattern PropertyDeviceCoherentBitAmd :: PropertyFlagBits #

pattern PropertyProtectedBit :: PropertyFlagBits #

pattern PropertyLazilyAllocatedBit :: PropertyFlagBits #

pattern PropertyHostCachedBit :: PropertyFlagBits #

pattern PropertyHostCoherentBit :: PropertyFlagBits #

pattern PropertyHostVisibleBit :: PropertyFlagBits #

pattern PropertyDeviceLocalBit :: PropertyFlagBits #

pattern PropertyFlagsZero :: PropertyFlagBits #

unPropertyFlagBits :: PropertyFlagBits -> Word32 #

type HeapFlags = HeapFlagBits #

type PropertyFlags = PropertyFlagBits #

newtype HeapFlagBits #

Constructors

HeapFlagBits Word32

Instances

Instances details

Storable HeapFlagBits
Instance details Defined in Gpu.Vulkan.Memory.Enum Methods sizeOf :: HeapFlagBits -> Int # alignment :: HeapFlagBits -> Int # peekElemOff :: Ptr HeapFlagBits -> Int -> IO HeapFlagBits # pokeElemOff :: Ptr HeapFlagBits -> Int -> HeapFlagBits -> IO () # peekByteOff :: Ptr b -> Int -> IO HeapFlagBits # pokeByteOff :: Ptr b -> Int -> HeapFlagBits -> IO () # peek :: Ptr HeapFlagBits -> IO HeapFlagBits # poke :: Ptr HeapFlagBits -> HeapFlagBits -> IO () #
Bits HeapFlagBits
Instance details Defined in Gpu.Vulkan.Memory.Enum Methods (.&.) :: HeapFlagBits -> HeapFlagBits -> HeapFlagBits # (.\|.) :: HeapFlagBits -> HeapFlagBits -> HeapFlagBits # xor :: HeapFlagBits -> HeapFlagBits -> HeapFlagBits # complement :: HeapFlagBits -> HeapFlagBits # shift :: HeapFlagBits -> Int -> HeapFlagBits # rotate :: HeapFlagBits -> Int -> HeapFlagBits # zeroBits :: HeapFlagBits # bit :: Int -> HeapFlagBits # setBit :: HeapFlagBits -> Int -> HeapFlagBits # clearBit :: HeapFlagBits -> Int -> HeapFlagBits # complementBit :: HeapFlagBits -> Int -> HeapFlagBits # testBit :: HeapFlagBits -> Int -> Bool # bitSizeMaybe :: HeapFlagBits -> Maybe Int # bitSize :: HeapFlagBits -> Int # isSigned :: HeapFlagBits -> Bool # shiftL :: HeapFlagBits -> Int -> HeapFlagBits # unsafeShiftL :: HeapFlagBits -> Int -> HeapFlagBits # shiftR :: HeapFlagBits -> Int -> HeapFlagBits # unsafeShiftR :: HeapFlagBits -> Int -> HeapFlagBits # rotateL :: HeapFlagBits -> Int -> HeapFlagBits # rotateR :: HeapFlagBits -> Int -> HeapFlagBits # popCount :: HeapFlagBits -> Int #
FiniteBits HeapFlagBits
Instance details Defined in Gpu.Vulkan.Memory.Enum Methods finiteBitSize :: HeapFlagBits -> Int # countLeadingZeros :: HeapFlagBits -> Int # countTrailingZeros :: HeapFlagBits -> Int #
Show HeapFlagBits
Instance details Defined in Gpu.Vulkan.Memory.Enum Methods showsPrec :: Int -> HeapFlagBits -> ShowS # show :: HeapFlagBits -> String # showList :: [HeapFlagBits] -> ShowS #
Eq HeapFlagBits
Instance details Defined in Gpu.Vulkan.Memory.Enum Methods (==) :: HeapFlagBits -> HeapFlagBits -> Bool # (/=) :: HeapFlagBits -> HeapFlagBits -> Bool #

pattern HeapFlagBitsMaxEnum :: HeapFlagBits #

pattern HeapMultiInstanceBitKhr :: HeapFlagBits #

pattern HeapMultiInstanceBit :: HeapFlagBits #

pattern HeapDeviceLocalBit :: HeapFlagBits #

pattern HeapFlagsZero :: HeapFlagBits #

unHeapFlagBits :: HeapFlagBits -> Word32 #