Resource.Buffer

Documentation

data Store

Constructors

Staged

Coherent

data Allocated (s :: Store) a

Constructors

Allocated

Fields

• aBuffer :: Buffer
• aAllocation :: Allocation
• aAllocationInfo :: AllocationInfo
• aCapacity :: Int
• aUsed :: Word32
• aUsage :: BufferUsageFlagBits
• aLabel :: Maybe Text

Instances

Show ExampleBuffers

Defined in Resource.Model.Observer.Example

Methods

showsPrec :: Int -> ExampleBuffers -> ShowS

show :: ExampleBuffers -> String

showList :: [ExampleBuffers] -> ShowS

VertexBuffers ExampleBuffers

Defined in Resource.Model.Observer.Example

Methods

createInitial :: forall env (m :: Type -> Type). MonadVulkan env m => Int -> Text -> ResourceT m ExampleBuffers

destroyCurrent :: HasVulkan env => env -> ExampleBuffers -> IO ()

UpdateCoherent ExampleBuffers ExampleStores

Defined in Resource.Model.Observer.Example

Methods

updateCoherent :: MonadVulkan env m => ExampleBuffers -> ExampleStores -> m ExampleBuffers

Show (Allocated s a)

Defined in Resource.Buffer

Methods

showsPrec :: Int -> Allocated s a -> ShowS

show :: Allocated s a -> String

showList :: [Allocated s a] -> ShowS

HasVertexBuffers (Allocated store a)

Defined in Resource.Model

Associated Types

type VertexBuffersOf (Allocated store a)

Methods

getVertexBuffers :: Allocated store a -> [Buffer]

getInstanceCount :: Allocated store a -> Word32

Storable a => VertexBuffers (Allocated 'Coherent a)

Defined in Resource.Model.Observer

Methods

createInitial :: forall env (m :: Type -> Type). MonadVulkan env m => Int -> Text -> ResourceT m (Allocated 'Coherent a)

destroyCurrent :: HasVulkan env => env -> Allocated 'Coherent a -> IO ()

HasObjectType (Allocated s a)

Defined in Resource.Buffer

Methods

objectTypeAndHandle :: Allocated s a -> (ObjectType, Word64)

Storable a => UpdateCoherent (Allocated 'Coherent a) (Vector a)

Defined in Resource.Model.Observer

Methods

updateCoherent :: MonadVulkan env m => Allocated 'Coherent a -> Vector a -> m (Allocated 'Coherent a)

type VertexBuffersOf (Allocated store a)

Defined in Resource.Model

type VertexBuffersOf (Allocated store a) = a

allocateCoherent :: (MonadVulkan env m, MonadResource m, Storable a) => Maybe Text -> BufferUsageFlagBits -> ("initial size" ::: Int) -> Vector a -> m (ReleaseKey, Allocated 'Coherent a)

createCoherent :: forall a env m. (MonadVulkan env m, Storable a) => Maybe Text -> BufferUsageFlagBits -> ("initial size" ::: Int) -> Vector a -> m (Allocated 'Coherent a)

createStaged :: forall a env m. (Storable a, MonadVulkan env m) => Maybe Text -> Queues CommandPool -> BufferUsageFlagBits -> Int -> Vector a -> m (Allocated 'Staged a)

register :: (MonadVulkan env m, MonadResource m) => Allocated stage a -> m ReleaseKey

destroy :: (MonadUnliftIO io, HasVulkan context) => context -> Allocated s a -> io ()

peekCoherent :: (MonadIO m, Storable a) => Word32 -> Allocated 'Coherent a -> m (Maybe a)

pokeCoherent :: (MonadVulkan env m, Storable a) => Allocated 'Coherent a -> Word32 -> a -> m ()

updateCoherent :: (MonadUnliftIO io, Storable a) => Vector a -> Allocated 'Coherent a -> io (Allocated 'Coherent a)

updateCoherentResize_ :: (MonadVulkan env m, Storable a) => Allocated 'Coherent a -> Vector a -> m (Allocated 'Coherent a)

copyBuffer_ :: (MonadUnliftIO io, HasVulkan context) => context -> Queues CommandPool -> ("dstBuffer" ::: Buffer) -> ("srcBuffer" ::: Buffer) -> DeviceSize -> io ()

type ObserverCoherent a = ObserverIO (Allocated 'Coherent a)

newObserverCoherent :: (MonadVulkan env m, Storable a) => ("label" ::: Text) -> BufferUsageFlagBits -> Int -> Vector a -> ResourceT m (ObserverCoherent a)

observeCoherentResize_ :: (MonadVulkan env m, HasOutput source, GetOutput source ~ Vector output, Storable output) => source -> ObserverCoherent output -> m ()

observeCoherentSingle :: (MonadVulkan env m, HasOutput source, GetOutput source ~ output, Storable output) => source -> ObserverCoherent output -> m ()