Safe Haskell	Safe-Inferred
Language	GHC2021

Resource.Model.Observer.Example

Synopsis

data ExampleF f = Example {
- x :: HKD f Float
- y :: HKD f Float
}
type Example = ExampleF Identity
type ExampleStores = ExampleF Vector
type ExampleBuffers = ExampleF (Allocated 'Coherent)
new :: ResourceT (StageRIO st) (ObserverIO ExampleBuffers)
update :: MonadVulkan env m => ExampleBuffers -> ExampleStores -> m ExampleBuffers

Documentation

data ExampleF f Source #

Constructors

Example
Fields x :: HKD f Float y :: HKD f Float

Instances

Instances details

Show Example Source #
Instance details Defined in Resource.Model.Observer.Example Methods showsPrec :: Int -> Example -> ShowS # show :: Example -> String # showList :: [Example] -> ShowS #
Show ExampleBuffers Source #
Instance details Defined in Resource.Model.Observer.Example Methods showsPrec :: Int -> ExampleBuffers -> ShowS # show :: ExampleBuffers -> String # showList :: [ExampleBuffers] -> ShowS #
Show ExampleStores Source #
Instance details Defined in Resource.Model.Observer.Example Methods showsPrec :: Int -> ExampleStores -> ShowS # show :: ExampleStores -> String # showList :: [ExampleStores] -> ShowS #
VertexBuffers ExampleBuffers Source #
Instance details Defined in Resource.Model.Observer.Example Methods createInitial :: forall env (m :: Type -> Type). MonadVulkan env m => Int -> Text -> ResourceT m ExampleBuffers Source # destroyCurrent :: HasVulkan env => env -> ExampleBuffers -> IO () Source #
UpdateCoherent ExampleBuffers ExampleStores Source #
Instance details Defined in Resource.Model.Observer.Example Methods updateCoherent :: MonadVulkan env m => ExampleBuffers -> ExampleStores -> m ExampleBuffers Source #
Generic (ExampleF f) Source #
Instance details Defined in Resource.Model.Observer.Example Associated Types type Rep (ExampleF f) :: Type -> Type # Methods from :: ExampleF f -> Rep (ExampleF f) x # to :: Rep (ExampleF f) x -> ExampleF f #
type Rep (ExampleF f) Source #
Instance details Defined in Resource.Model.Observer.Example type Rep (ExampleF f) = D1 ('MetaData "ExampleF" "Resource.Model.Observer.Example" "keid-core-0.1.9.0-inplace" 'False) (C1 ('MetaCons "Example" 'PrefixI 'True) (S1 ('MetaSel ('Just "x") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HKD f Float)) :*: S1 ('MetaSel ('Just "y") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HKD f Float))))

type Example = ExampleF Identity Source #

type ExampleStores = ExampleF Vector Source #

type ExampleBuffers = ExampleF (Allocated 'Coherent) Source #

new :: ResourceT (StageRIO st) (ObserverIO ExampleBuffers) Source #

Deprecated: Just use Observer.newCoherent

update :: MonadVulkan env m => ExampleBuffers -> ExampleStores -> m ExampleBuffers Source #

Deprecated: Just use Observer.updateCoherent