Safe Haskell	None
Language	Haskell2010

Gpu.Vulkan.Memory.Middle

Contents

ALLOCATE AND FREE
- Destruction Group
MAP AND UNMNAP
REQUIREMENTS AND BARRIER
MEMORY TYPE

Synopsis

allocate :: forall (mn :: Maybe Type) (ma :: Maybe Type). WithPoked (M mn) => D -> AllocateInfo mn -> M A ma -> IO M
reallocate :: forall (mn :: Maybe Type) (ma :: Maybe Type). WithPoked (M mn) => D -> AllocateInfo mn -> M A ma -> M -> IO ()
reallocate' :: forall (mn :: Maybe Type) (ma :: Maybe Type) a. WithPoked (M mn) => D -> AllocateInfo mn -> M A ma -> M -> IO a -> IO ()
free :: forall (mf :: Maybe Type). D -> M -> M A mf -> IO ()
data M
data AllocateInfo (mn :: Maybe Type) = AllocateInfo {
- allocateInfoNext :: M mn
- allocateInfoAllocationSize :: Size
- allocateInfoMemoryTypeIndex :: TypeIndex
}
data Group s k
group :: forall (mf :: Maybe Type) k a. D -> M A mf -> (forall s. Group s k -> IO a) -> IO a
allocate' :: forall k (mn :: Maybe Type) sm (ma :: Maybe Type). (Ord k, WithPoked (M mn)) => D -> Group sm k -> k -> AllocateInfo mn -> M A ma -> IO (Either String M)
free' :: forall k smng (mc :: Maybe Type). Ord k => D -> Group smng k -> k -> M A mc -> IO (Either String ())
lookup :: Ord k => Group sm k -> k -> IO (Maybe M)
map :: D -> M -> Size -> Size -> MapFlags -> IO (Ptr a)
unmap :: D -> M -> IO ()
newtype MapFlags = MapFlags Word32
data Requirements = Requirements {
- requirementsSize :: Size
- requirementsAlignment :: Size
- requirementsMemoryTypeBits :: TypeBits
}
data Barrier (mn :: Maybe Type) = Barrier {
- barrierNext :: M mn
- barrierSrcAccessMask :: AccessFlags
- barrierDstAccessMask :: AccessFlags
}
data MType = MType {
- mTypePropertyFlags :: PropertyFlags
- mTypeHeapIndex :: Word32
}
data TypeBits
data TypeIndex
elemTypeIndex :: TypeIndex -> TypeBits -> Bool
data Heap = Heap {
- heapSize :: Size
- heapFlags :: HeapFlags
}

ALLOCATE AND FREE

allocate :: forall (mn :: Maybe Type) (ma :: Maybe Type). WithPoked (M mn) => D -> AllocateInfo mn -> M A ma -> IO M Source #

reallocate :: forall (mn :: Maybe Type) (ma :: Maybe Type). WithPoked (M mn) => D -> AllocateInfo mn -> M A ma -> M -> IO () Source #

reallocate' :: forall (mn :: Maybe Type) (ma :: Maybe Type) a. WithPoked (M mn) => D -> AllocateInfo mn -> M A ma -> M -> IO a -> IO () Source #

free :: forall (mf :: Maybe Type). D -> M -> M A mf -> IO () Source #

data M Source #

data AllocateInfo (mn :: Maybe Type) Source #

Constructors

AllocateInfo
Fields allocateInfoNext :: M mn allocateInfoAllocationSize :: Size allocateInfoMemoryTypeIndex :: TypeIndex

Instances

Instances details

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

Destruction Group

data Group s k Source #

group :: forall (mf :: Maybe Type) k a. D -> M A mf -> (forall s. Group s k -> IO a) -> IO a Source #

allocate' :: forall k (mn :: Maybe Type) sm (ma :: Maybe Type). (Ord k, WithPoked (M mn)) => D -> Group sm k -> k -> AllocateInfo mn -> M A ma -> IO (Either String M) Source #

free' :: forall k smng (mc :: Maybe Type). Ord k => D -> Group smng k -> k -> M A mc -> IO (Either String ()) Source #

lookup :: Ord k => Group sm k -> k -> IO (Maybe M) Source #

MAP AND UNMNAP

map :: D -> M -> Size -> Size -> MapFlags -> IO (Ptr a) Source #

unmap :: D -> M -> IO () Source #

newtype MapFlags Source #

Constructors

MapFlags Word32

Instances

Instances details

Storable MapFlags Source #
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 Source #
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 Source #
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods showsPrec :: Int -> MapFlags -> ShowS # show :: MapFlags -> String # showList :: [MapFlags] -> ShowS #
Default MapFlags Source #
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods def :: MapFlags #
Eq MapFlags Source #
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods (==) :: MapFlags -> MapFlags -> Bool # (/=) :: MapFlags -> MapFlags -> Bool #

REQUIREMENTS AND BARRIER

data Requirements Source #

Constructors

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

Instances

Instances details

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

data Barrier (mn :: Maybe Type) Source #

Constructors

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

Instances

Instances details

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

MEMORY TYPE

data MType Source #

Constructors

MType
Fields mTypePropertyFlags :: PropertyFlags mTypeHeapIndex :: Word32

Instances

Instances details

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

data TypeBits Source #

Instances

Instances details

Bits TypeBits Source #
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 Source #
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods finiteBitSize :: TypeBits -> Int # countLeadingZeros :: TypeBits -> Int # countTrailingZeros :: TypeBits -> Int #
Show TypeBits Source #
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods showsPrec :: Int -> TypeBits -> ShowS # show :: TypeBits -> String # showList :: [TypeBits] -> ShowS #
Eq TypeBits Source #
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods (==) :: TypeBits -> TypeBits -> Bool # (/=) :: TypeBits -> TypeBits -> Bool #

data TypeIndex Source #

Instances

Instances details

Enum TypeIndex Source #
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 Source #
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 Source #
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 Source #
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods toRational :: TypeIndex -> Rational #
Show TypeIndex Source #
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods showsPrec :: Int -> TypeIndex -> ShowS # show :: TypeIndex -> String # showList :: [TypeIndex] -> ShowS #
Eq TypeIndex Source #
Instance details Defined in Gpu.Vulkan.Memory.Middle.Internal Methods (==) :: TypeIndex -> TypeIndex -> Bool # (/=) :: TypeIndex -> TypeIndex -> Bool #
Ord TypeIndex Source #
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 Source #

data Heap Source #

Constructors

Heap
Fields heapSize :: Size heapFlags :: HeapFlags

Instances

Instances details

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