Gpu.Vulkan.QueryPool

CREATE

create :: forall (mn :: Maybe Type) (tp :: Bool -> Type) (mac :: Maybe (Type, Type)) sd a. (WithPoked (M mn), QueryType tp, ToMiddle mac) => D sd -> CreateInfo mn tp -> M (U2 A) mac -> (forall s. Q s tp -> IO a) -> IO a

data Q sq (tp :: Bool -> Type)

Instances

Show (Q sq tp)

Defined in Gpu.Vulkan.QueryPool.Type

Methods

showsPrec :: Int -> Q sq tp -> ShowS

show :: Q sq tp -> String

showList :: [Q sq tp] -> ShowS

data CreateInfo (mn :: Maybe Type) (tp :: Bool -> Type)

Constructors

CreateInfo

Fields

• createInfoNext :: M mn
• createInfoFlags :: CreateFlags
• createInfoQueryCount :: Count
• createInfoPipelineStatistics :: PipelineStatisticFlags

Instances

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

Defined in Gpu.Vulkan.QueryPool

Methods

showsPrec :: Int -> CreateInfo mn tp -> ShowS

show :: CreateInfo mn tp -> String

showList :: [CreateInfo mn tp] -> ShowS

GET RESULTS

getResults :: forall sd sq (av :: Bool) tp (w64 :: Bool). (QueryType tp, Storable (W32W64 w64), W32W64Tools w64, AvailabilityTools av (W32W64 w64)) => P -> D sd -> Q sq tp -> First -> Count -> ResultFlags -> IO [Availability av (tp w64)]

class QueryType (qt :: Bool -> Type)

Minimal complete definition

queryType, fromWord, getQueryArg

Instances

QueryType PipelineStatistics

Defined in Gpu.Vulkan.QueryPool

Methods

queryType :: Type

fromWord :: forall (w64 :: Bool). QueryArg PipelineStatistics -> W32W64 w64 -> PipelineStatistics w64

getQueryArg :: P -> IO (QueryArg PipelineStatistics)

QueryType Timestamp

Defined in Gpu.Vulkan.QueryPool

Methods

queryType :: Type

fromWord :: forall (w64 :: Bool). QueryArg Timestamp -> W32W64 w64 -> Timestamp w64

getQueryArg :: P -> IO (QueryArg Timestamp)

data PipelineStatistics (w64 :: Bool) where

Constructors

PipelineStatistics32 :: Word32 -> PipelineStatistics 'False

PipelineStatistics64 :: Word64 -> PipelineStatistics 'True

Instances

QueryType PipelineStatistics

Defined in Gpu.Vulkan.QueryPool

Methods

queryType :: Type

fromWord :: forall (w64 :: Bool). QueryArg PipelineStatistics -> W32W64 w64 -> PipelineStatistics w64

getQueryArg :: P -> IO (QueryArg PipelineStatistics)

Show (PipelineStatistics w64)

Defined in Gpu.Vulkan.QueryPool

Methods

showsPrec :: Int -> PipelineStatistics w64 -> ShowS

show :: PipelineStatistics w64 -> String

showList :: [PipelineStatistics w64] -> ShowS

data Timestamp (w64 :: Bool) where

Constructors

Timestamp32

Fields

• :: { timestampPeriod32 :: Float
•    , timestampW32 :: Word32
•    } -> Timestamp 'False

Timestamp64

Fields

• :: { timestampPeriod64 :: Float
•    , timestampW64 :: Word64
•    } -> Timestamp 'True

Instances

QueryType Timestamp

Defined in Gpu.Vulkan.QueryPool

Methods

queryType :: Type

fromWord :: forall (w64 :: Bool). QueryArg Timestamp -> W32W64 w64 -> Timestamp w64

getQueryArg :: P -> IO (QueryArg Timestamp)

Show (Timestamp w64)

Defined in Gpu.Vulkan.QueryPool

Methods

showsPrec :: Int -> Timestamp w64 -> ShowS

show :: Timestamp w64 -> String

showList :: [Timestamp w64] -> ShowS

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