Safe Haskell	Safe-Inferred
Language	Haskell2010

Render.DescSets.Set0

Synopsis

data Scene = Scene {
- sceneProjection :: Transform
- sceneInvProjection :: Transform
- sceneView :: Transform
- sceneInvView :: Transform
- sceneViewPos :: Vec3
- sceneViewDir :: Vec3
- sceneTweaks :: Vec4
- sceneFog :: Vec4
- sceneEnvCube :: Int32
- sceneNumLights :: Word32
}
emptyScene :: Scene
allocate :: (Traversable textures, Traversable cubes, MonadVulkan env m) => Tagged '[Scene] DescriptorSetLayout -> textures (Texture Flat) -> cubes (Texture CubeMap) -> Maybe (Allocated 'Coherent Sun) -> ("shadow maps" ::: Vector ImageView) -> Maybe (Allocated 'Coherent Material) -> ResourceT m (FrameResource '[Scene])
allocateEmpty :: MonadVulkan env m => Tagged '[Scene] DescriptorSetLayout -> ResourceT m (FrameResource '[Scene])
updateSet0Ds :: (HasVulkan context, Traversable textures, Traversable cubes, MonadIO m) => context -> Tagged '[Scene] (Vector DescriptorSet) -> Allocated 'Coherent Scene -> textures (Texture Flat) -> cubes (Texture CubeMap) -> Maybe (Allocated 'Coherent Sun) -> Vector (Sampler, ImageView) -> Maybe (Allocated 'Coherent Material) -> m ()
mkBindings :: (Foldable samplers, Foldable textures, Foldable cubemaps) => samplers Sampler -> textures a -> cubemaps b -> Word32 -> Tagged Scene DsBindings
vertexPos :: (VertexInputRate, [Format])
instanceTransform :: (VertexInputRate, [Format])
data FrameResource (ds :: [Type]) = FrameResource {
- frDescSets :: Tagged ds (Vector DescriptorSet)
- frBuffer :: Buffer
- frObserver :: ObserverIO Scene
}
extendResourceDS :: FrameResource ds -> Tagged ext DescriptorSet -> FrameResource (Extend ds ext)
type Buffer = Allocated 'Coherent Scene
type Process = Merge Scene
observe :: MonadUnliftIO m => Process -> FrameResource ds -> m ()
withBoundSet0 :: MonadIO m => FrameResource ds -> Pipeline ds vertices instances -> CommandBuffer -> Bound ds Void Void m b -> m b

Documentation

data Scene Source #

Constructors

Scene
Fields sceneProjection :: Transform sceneInvProjection :: Transform sceneView :: Transform sceneInvView :: Transform sceneViewPos :: Vec3 sceneViewDir :: Vec3 sceneTweaks :: Vec4 4 debug tweaks bound to Kontrol sceneFog :: Vec4 sceneEnvCube :: Int32 sceneNumLights :: Word32

Instances

Instances details

Generic Scene Source #
Instance details Defined in Render.DescSets.Set0 Associated Types type Rep Scene :: Type -> Type # Methods from :: Scene -> Rep Scene x # to :: Rep Scene x -> Scene #
Show Scene Source #
Instance details Defined in Render.DescSets.Set0 Methods showsPrec :: Int -> Scene -> ShowS # show :: Scene -> String # showList :: [Scene] -> ShowS #
GStorable Scene Source #
Instance details Defined in Render.DescSets.Set0 Methods gsizeOf :: Scene -> Int # galignment :: Scene -> Int # gpeekByteOff :: Ptr b -> Int -> IO Scene # gpokeByteOff :: Ptr b -> Int -> Scene -> IO () #
type Rep Scene Source #
Instance details Defined in Render.DescSets.Set0 type Rep Scene = D1 ('MetaData "Scene" "Render.DescSets.Set0" "keid-render-basic-0.1.7.0-inplace" 'False) (C1 ('MetaCons "Scene" 'PrefixI 'True) (((S1 ('MetaSel ('Just "sceneProjection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Transform) :: S1 ('MetaSel ('Just "sceneInvProjection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Transform)) :: (S1 ('MetaSel ('Just "sceneView") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Transform) :: (S1 ('MetaSel ('Just "sceneInvView") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Transform) :: S1 ('MetaSel ('Just "sceneViewPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Vec3)))) :: ((S1 ('MetaSel ('Just "sceneViewDir") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Vec3) :: S1 ('MetaSel ('Just "sceneTweaks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Vec4)) :: (S1 ('MetaSel ('Just "sceneFog") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Vec4) :: (S1 ('MetaSel ('Just "sceneEnvCube") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int32) :*: S1 ('MetaSel ('Just "sceneNumLights") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word32))))))
type Specialization Pipeline
Instance details Defined in Render.Debug.Pipeline type Specialization Pipeline = Mode
type Specialization Pipeline
Instance details Defined in Render.DepthOnly.Pipeline type Specialization Pipeline = ()
type Specialization Pipeline
Instance details Defined in Render.Font.EvanwSdf.Pipeline type Specialization Pipeline = ()
type Specialization Pipeline
Instance details Defined in Render.Lit.Colored.Pipeline type Specialization Pipeline = ()
type Specialization Pipeline
Instance details Defined in Render.Lit.Material.Pipeline type Specialization Pipeline = ()
type Specialization Pipeline
Instance details Defined in Render.Lit.Textured.Pipeline type Specialization Pipeline = ()
type Specialization Pipeline
Instance details Defined in Render.Skybox.Pipeline type Specialization Pipeline = ()
type Specialization Pipeline
Instance details Defined in Render.Unlit.Colored.Pipeline type Specialization Pipeline = ()
type Specialization Pipeline
Instance details Defined in Render.Unlit.Sprite.Pipeline type Specialization Pipeline = (Float, Bool)
type Specialization Pipeline
Instance details Defined in Render.Unlit.Textured.Pipeline type Specialization Pipeline = ()
type Specialization Pipeline
Instance details Defined in Render.Unlit.TileMap.Pipeline type Specialization Pipeline = ()

emptyScene :: Scene Source #

allocate :: (Traversable textures, Traversable cubes, MonadVulkan env m) => Tagged '[Scene] DescriptorSetLayout -> textures (Texture Flat) -> cubes (Texture CubeMap) -> Maybe (Allocated 'Coherent Sun) -> ("shadow maps" ::: Vector ImageView) -> Maybe (Allocated 'Coherent Material) -> ResourceT m (FrameResource '[Scene]) Source #

allocateEmpty :: MonadVulkan env m => Tagged '[Scene] DescriptorSetLayout -> ResourceT m (FrameResource '[Scene]) Source #

Minimal viable Scene without textures and lighting.

updateSet0Ds :: (HasVulkan context, Traversable textures, Traversable cubes, MonadIO m) => context -> Tagged '[Scene] (Vector DescriptorSet) -> Allocated 'Coherent Scene -> textures (Texture Flat) -> cubes (Texture CubeMap) -> Maybe (Allocated 'Coherent Sun) -> Vector (Sampler, ImageView) -> Maybe (Allocated 'Coherent Material) -> m () Source #

mkBindings :: (Foldable samplers, Foldable textures, Foldable cubemaps) => samplers Sampler -> textures a -> cubemaps b -> Word32 -> Tagged Scene DsBindings Source #

vertexPos :: (VertexInputRate, [Format]) Source #

instanceTransform :: (VertexInputRate, [Format]) Source #

data FrameResource (ds :: [Type]) Source #

Constructors

FrameResource
Fields frDescSets :: Tagged ds (Vector DescriptorSet) frBuffer :: Buffer frObserver :: ObserverIO Scene

extendResourceDS :: FrameResource ds -> Tagged ext DescriptorSet -> FrameResource (Extend ds ext) Source #

type Buffer = Allocated 'Coherent Scene Source #

type Process = Merge Scene Source #

A process that will assemble Scene values.

observe :: MonadUnliftIO m => Process -> FrameResource ds -> m () Source #

withBoundSet0 :: MonadIO m => FrameResource ds -> Pipeline ds vertices instances -> CommandBuffer -> Bound ds Void Void m b -> m b Source #