Gpu.Vulkan.QueryPool.Middle

CREATE AND DESTROY

create :: forall (mn :: Maybe Type) (mc :: Maybe Type). WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> IO Q

destroy :: forall (md :: Maybe Type). D -> Q -> M A md -> IO ()

data Q

Instances

Show Q

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

showsPrec :: Int -> Q -> ShowS

show :: Q -> String

showList :: [Q] -> ShowS

data CreateInfo (mn :: Maybe Type)

Constructors

CreateInfo

Fields

• createInfoNext :: M mn
• createInfoFlags :: CreateFlags
• createInfoQueryType :: Type
• createInfoQueryCount :: Word32
• createInfoPipelineStatistics :: PipelineStatisticFlags

Instances

Show (M mn) => Show (CreateInfo mn)

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

showsPrec :: Int -> CreateInfo mn -> ShowS

show :: CreateInfo mn -> String

showList :: [CreateInfo mn] -> ShowS

type CreateFlags = CreateFlagBits

GET RESULTS

getResults :: forall (av :: Bool) (w64 :: Bool). (Storable (W32W64 w64), W32W64Tools w64, AvailabilityTools av (W32W64 w64)) => D -> Q -> Word32 -> Word32 -> ResultFlags -> IO [Availability av (W32W64 w64)]

class W32W64Tools (w64 :: Bool)

Minimal complete definition

bytesOf, result64Bit

Instances

W32W64Tools 'False

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

bytesOf :: Integral n => n

result64Bit :: ResultFlags -> ResultFlags

W32W64Tools 'True

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

bytesOf :: Integral n => n

result64Bit :: ResultFlags -> ResultFlags

data W32W64 (w64 :: Bool) where

Constructors

W32 :: Word32 -> W32W64 'False

W64 :: Word64 -> W32W64 'True

Instances

Storable (W32W64 'False)

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

sizeOf :: W32W64 'False -> Int

alignment :: W32W64 'False -> Int

peekElemOff :: Ptr (W32W64 'False) -> Int -> IO (W32W64 'False)

pokeElemOff :: Ptr (W32W64 'False) -> Int -> W32W64 'False -> IO ()

peekByteOff :: Ptr b -> Int -> IO (W32W64 'False)

pokeByteOff :: Ptr b -> Int -> W32W64 'False -> IO ()

peek :: Ptr (W32W64 'False) -> IO (W32W64 'False)

poke :: Ptr (W32W64 'False) -> W32W64 'False -> IO ()

Storable (W32W64 'True)

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

sizeOf :: W32W64 'True -> Int

alignment :: W32W64 'True -> Int

peekElemOff :: Ptr (W32W64 'True) -> Int -> IO (W32W64 'True)

pokeElemOff :: Ptr (W32W64 'True) -> Int -> W32W64 'True -> IO ()

peekByteOff :: Ptr b -> Int -> IO (W32W64 'True)

pokeByteOff :: Ptr b -> Int -> W32W64 'True -> IO ()

peek :: Ptr (W32W64 'True) -> IO (W32W64 'True)

poke :: Ptr (W32W64 'True) -> W32W64 'True -> IO ()

Num (W32W64 'False)

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

(+) :: W32W64 'False -> W32W64 'False -> W32W64 'False

(-) :: W32W64 'False -> W32W64 'False -> W32W64 'False

(*) :: W32W64 'False -> W32W64 'False -> W32W64 'False

negate :: W32W64 'False -> W32W64 'False

abs :: W32W64 'False -> W32W64 'False

signum :: W32W64 'False -> W32W64 'False

fromInteger :: Integer -> W32W64 'False

Num (W32W64 'True)

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

(+) :: W32W64 'True -> W32W64 'True -> W32W64 'True

(-) :: W32W64 'True -> W32W64 'True -> W32W64 'True

(*) :: W32W64 'True -> W32W64 'True -> W32W64 'True

negate :: W32W64 'True -> W32W64 'True

abs :: W32W64 'True -> W32W64 'True

signum :: W32W64 'True -> W32W64 'True

fromInteger :: Integer -> W32W64 'True

Show (W32W64 w64)

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

showsPrec :: Int -> W32W64 w64 -> ShowS

show :: W32W64 w64 -> String

showList :: [W32W64 w64] -> ShowS

Eq (W32W64 w64)

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

(==) :: W32W64 w64 -> W32W64 w64 -> Bool

(/=) :: W32W64 w64 -> W32W64 w64 -> Bool

class AvailabilityTools (av :: Bool) a

Minimal complete definition

numOfWords, resultWithAvailBit, mkAvailability

Instances

AvailabilityTools 'False a

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

numOfWords :: Integral n => n

resultWithAvailBit :: ResultFlags -> ResultFlags

mkAvailability :: [a] -> [Availability 'False a]

(Eq n, Num n) => AvailabilityTools 'True n

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

numOfWords :: Integral n0 => n0

resultWithAvailBit :: ResultFlags -> ResultFlags

mkAvailability :: [n] -> [Availability 'True n]

data Availability (av :: Bool) a where

Constructors

NonAvailability :: forall a. a -> Availability 'False a

Availability :: forall a. Maybe a -> Availability 'True a

Instances

Functor (Availability av)

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

fmap :: (a -> b) -> Availability av a -> Availability av b

(<$) :: a -> Availability av b -> Availability av a

Show a => Show (Availability av a)

Defined in Gpu.Vulkan.QueryPool.Middle.Internal

Methods

showsPrec :: Int -> Availability av a -> ShowS

show :: Availability av a -> String

showList :: [Availability av a] -> ShowS