Engine.Vulkan.Types

Documentation

type MonadVulkan env m = (MonadUnliftIO m, MonadReader env m, HasVulkan env)

class HasVulkan a where

A class for Monads which can provide some Vulkan handles

Methods

getInstance :: a -> Instance

getQueues :: a -> Queues (QueueFamilyIndex, Queue)

getPhysicalDevice :: a -> PhysicalDevice

getPhysicalDeviceInfo :: a -> PhysicalDeviceInfo

getDevice :: a -> Device

getAllocator :: a -> Allocator

Instances

HasVulkan GlobalHandles

Defined in Engine.Types

Methods

getInstance :: GlobalHandles -> Instance

getQueues :: GlobalHandles -> Queues (QueueFamilyIndex, Queue)

getPhysicalDevice :: GlobalHandles -> PhysicalDevice

getPhysicalDeviceInfo :: GlobalHandles -> PhysicalDeviceInfo

getDevice :: GlobalHandles -> Device

getAllocator :: GlobalHandles -> Allocator

HasVulkan env => HasVulkan (env, a)

Defined in Engine.Vulkan.Types

Methods

getInstance :: (env, a) -> Instance

getQueues :: (env, a) -> Queues (QueueFamilyIndex, Queue)

getPhysicalDevice :: (env, a) -> PhysicalDevice

getPhysicalDeviceInfo :: (env, a) -> PhysicalDeviceInfo

getDevice :: (env, a) -> Device

getAllocator :: (env, a) -> Allocator

HasVulkan env => HasVulkan (App env st)

Defined in Engine.Vulkan.Types

Methods

getInstance :: App env st -> Instance

getQueues :: App env st -> Queues (QueueFamilyIndex, Queue)

getPhysicalDevice :: App env st -> PhysicalDevice

getPhysicalDeviceInfo :: App env st -> PhysicalDeviceInfo

getDevice :: App env st -> Device

getAllocator :: App env st -> Allocator

getPipelineCache :: ctx -> PipelineCache

class HasSwapchain a where

Methods

getSurfaceExtent :: a -> Extent2D

getSurfaceFormat :: a -> Format

getDepthFormat :: a -> Format

getMultisample :: a -> SampleCountFlagBits

getAnisotropy :: a -> "max sampler anisotropy" ::: Float

getSwapchainViews :: a -> Vector ImageView

getMinImageCount :: a -> Word32

getImageCount :: a -> Word32

Instances

HasSwapchain SwapchainResources

Defined in Engine.Vulkan.Swapchain

Methods

getSurfaceExtent :: SwapchainResources -> Extent2D

getSurfaceFormat :: SwapchainResources -> Format

getDepthFormat :: SwapchainResources -> Format

getMultisample :: SwapchainResources -> SampleCountFlagBits

getAnisotropy :: SwapchainResources -> "max sampler anisotropy" ::: Float

getSwapchainViews :: SwapchainResources -> Vector ImageView

getMinImageCount :: SwapchainResources -> Word32

getImageCount :: SwapchainResources -> Word32

class HasRenderPass a where

Methods

getFramebuffers :: a -> Vector Framebuffer

getRenderPass :: a -> RenderPass

getClearValues :: a -> Vector ClearValue

getRenderArea :: a -> Rect2D

Instances

HasRenderPass Offscreen

Defined in Render.Pass.Offscreen

Methods

getFramebuffers :: Offscreen -> Vector Framebuffer

getRenderPass :: Offscreen -> RenderPass

getClearValues :: Offscreen -> Vector ClearValue

getRenderArea :: Offscreen -> Rect2D

class RenderPass a where

Methods

allocateRenderpass_ :: (HasLogFunc env, HasSwapchain context, HasVulkan env, MonadResource (RIO env)) => context -> ResourceT (RIO env) a

updateRenderpass :: (HasLogFunc env, HasSwapchain context, HasVulkan env, MonadResource (RIO env)) => context -> a -> RIO env a

refcountRenderpass :: MonadResource (RIO env) => a -> RIO env ()

Instances

RenderPass NoRendering

Defined in Engine.Stage.Bootstrap.Types

Methods

allocateRenderpass_ :: (HasLogFunc env, HasSwapchain context, HasVulkan env, MonadResource (RIO env)) => context -> ResourceT (RIO env) NoRendering

updateRenderpass :: (HasLogFunc env, HasSwapchain context, HasVulkan env, MonadResource (RIO env)) => context -> NoRendering -> RIO env NoRendering

refcountRenderpass :: MonadResource (RIO env) => NoRendering -> RIO env ()

RenderPass Offscreen

Defined in Render.Pass.Offscreen

Methods

allocateRenderpass_ :: (HasLogFunc env, HasSwapchain context, HasVulkan env, MonadResource (RIO env)) => context -> ResourceT (RIO env) Offscreen

updateRenderpass :: (HasLogFunc env, HasSwapchain context, HasVulkan env, MonadResource (RIO env)) => context -> Offscreen -> RIO env Offscreen

refcountRenderpass :: MonadResource (RIO env) => Offscreen -> RIO env ()

data PhysicalDeviceInfo

Constructors

PhysicalDeviceInfo

Fields

• pdiTotalMemory :: Word64
• pdiQueueCreateInfos :: Vector (DeviceQueueCreateInfo '[])
• pdiName :: Text
• pdiProperties :: PhysicalDeviceProperties
• pdiGetQueues :: Device -> IO (Queues (QueueFamilyIndex, Queue))

data Queues q

The shape of all the queues we use for our program, parameterized over the queue type so we can use it with assignQueues.

Constructors

Queues

Fields

• qGraphics :: q
• qTransfer :: q
• qCompute :: q

Instances

Functor Queues

Defined in Engine.Vulkan.Types

Methods

fmap :: (a -> b) -> Queues a -> Queues b

(<$) :: a -> Queues b -> Queues a

Foldable Queues

Defined in Engine.Vulkan.Types

Methods

fold :: Monoid m => Queues m -> m

foldMap :: Monoid m => (a -> m) -> Queues a -> m

foldMap' :: Monoid m => (a -> m) -> Queues a -> m

foldr :: (a -> b -> b) -> b -> Queues a -> b

foldr' :: (a -> b -> b) -> b -> Queues a -> b

foldl :: (b -> a -> b) -> b -> Queues a -> b

foldl' :: (b -> a -> b) -> b -> Queues a -> b

foldr1 :: (a -> a -> a) -> Queues a -> a

foldl1 :: (a -> a -> a) -> Queues a -> a

toList :: Queues a -> [a]

null :: Queues a -> Bool

length :: Queues a -> Int

elem :: Eq a => a -> Queues a -> Bool

maximum :: Ord a => Queues a -> a

minimum :: Ord a => Queues a -> a

sum :: Num a => Queues a -> a

product :: Num a => Queues a -> a

Traversable Queues

Defined in Engine.Vulkan.Types

Methods

traverse :: Applicative f => (a -> f b) -> Queues a -> f (Queues b)

sequenceA :: Applicative f => Queues (f a) -> f (Queues a)

mapM :: Monad m => (a -> m b) -> Queues a -> m (Queues b)

sequence :: Monad m => Queues (m a) -> m (Queues a)

Show q => Show (Queues q)

Defined in Engine.Vulkan.Types

Methods

showsPrec :: Int -> Queues q -> ShowS

show :: Queues q -> String

showList :: [Queues q] -> ShowS

type DsLayouts = Vector DescriptorSetLayout

type DsBindings = [(DescriptorSetLayoutBinding, DescriptorBindingFlags)]

newtype Bound (dsl :: [Type]) vertices instances m a

Constructors

Bound (m a)

Instances

Monad m => Monad (Bound dsl vertices instances m)

Defined in Engine.Vulkan.Types

Methods

(>>=) :: Bound dsl vertices instances m a -> (a -> Bound dsl vertices instances m b) -> Bound dsl vertices instances m b

(>>) :: Bound dsl vertices instances m a -> Bound dsl vertices instances m b -> Bound dsl vertices instances m b

return :: a -> Bound dsl vertices instances m a

Functor m => Functor (Bound dsl vertices instances m)

Defined in Engine.Vulkan.Types

Methods

fmap :: (a -> b) -> Bound dsl vertices instances m a -> Bound dsl vertices instances m b

(<$) :: a -> Bound dsl vertices instances m b -> Bound dsl vertices instances m a

Applicative m => Applicative (Bound dsl vertices instances m)

Defined in Engine.Vulkan.Types

Methods

pure :: a -> Bound dsl vertices instances m a

(<*>) :: Bound dsl vertices instances m (a -> b) -> Bound dsl vertices instances m a -> Bound dsl vertices instances m b

liftA2 :: (a -> b -> c) -> Bound dsl vertices instances m a -> Bound dsl vertices instances m b -> Bound dsl vertices instances m c

(*>) :: Bound dsl vertices instances m a -> Bound dsl vertices instances m b -> Bound dsl vertices instances m b

(<*) :: Bound dsl vertices instances m a -> Bound dsl vertices instances m b -> Bound dsl vertices instances m a

Foldable m => Foldable (Bound dsl vertices instances m)

Defined in Engine.Vulkan.Types

Methods

fold :: Monoid m0 => Bound dsl vertices instances m m0 -> m0

foldMap :: Monoid m0 => (a -> m0) -> Bound dsl vertices instances m a -> m0

foldMap' :: Monoid m0 => (a -> m0) -> Bound dsl vertices instances m a -> m0

foldr :: (a -> b -> b) -> b -> Bound dsl vertices instances m a -> b

foldr' :: (a -> b -> b) -> b -> Bound dsl vertices instances m a -> b

foldl :: (b -> a -> b) -> b -> Bound dsl vertices instances m a -> b

foldl' :: (b -> a -> b) -> b -> Bound dsl vertices instances m a -> b

foldr1 :: (a -> a -> a) -> Bound dsl vertices instances m a -> a

foldl1 :: (a -> a -> a) -> Bound dsl vertices instances m a -> a

toList :: Bound dsl vertices instances m a -> [a]

null :: Bound dsl vertices instances m a -> Bool

length :: Bound dsl vertices instances m a -> Int

elem :: Eq a => a -> Bound dsl vertices instances m a -> Bool

maximum :: Ord a => Bound dsl vertices instances m a -> a

minimum :: Ord a => Bound dsl vertices instances m a -> a

sum :: Num a => Bound dsl vertices instances m a -> a

product :: Num a => Bound dsl vertices instances m a -> a

Traversable m => Traversable (Bound dsl vertices instances m)

Defined in Engine.Vulkan.Types

Methods

traverse :: Applicative f => (a -> f b) -> Bound dsl vertices instances m a -> f (Bound dsl vertices instances m b)

sequenceA :: Applicative f => Bound dsl vertices instances m (f a) -> f (Bound dsl vertices instances m a)

mapM :: Monad m0 => (a -> m0 b) -> Bound dsl vertices instances m a -> m0 (Bound dsl vertices instances m b)

sequence :: Monad m0 => Bound dsl vertices instances m (m0 a) -> m0 (Bound dsl vertices instances m a)

MonadIO m => MonadIO (Bound dsl vertices instances m)

Defined in Engine.Vulkan.Types

Methods

liftIO :: IO a -> Bound dsl vertices instances m a

MonadUnliftIO m => MonadUnliftIO (Bound dsl vertices instances m)

Defined in Engine.Vulkan.Types

Methods

withRunInIO :: ((forall a. Bound dsl vertices instances m a -> IO a) -> IO b) -> Bound dsl vertices instances m b