alt-romes · alt-romes · Dec 21, 2025 · Dec 21, 2025 · Dec 21, 2025 · Dec 21, 2025
diff --git a/TODO b/TODO
@@ -110,7 +110,7 @@
 [ ] Perhaps use more efficient list-like type by default for creating meshes
 [ ] Dear imgui specific render pipeline
 [x] Custom descriptor set #0 through Render Pipeline constructors + edit function similar to Materials
-[ ] Untangle World {-# SOURCE #-} imports by creating another module for it
+[x] Untangle World {-# SOURCE #-} imports by creating another module for it
 [ ] Hex map tutorial series https://catlikecoding.com/unity/tutorials/hex-map/
 [x] Compatible mesh constraint with working planets example
 [x] Get rid of VertexArray altogether (use Storable Vector directly)?

diff --git a/cabal.project b/cabal.project
@@ -1,5 +1,6 @@
 packages:
-          ./examples/
+          ./examples/core/
+          ./examples/ghengin/
           ./ghengin-core/
           ./linear-utils/
           ./ghengin/
@@ -18,6 +19,8 @@ packages:
 -- package *
 --     profiling-detail: late
 
+multi-repl: True
+
 package dear-imgui
   flags: +glfw +vulkan -sdl -opengl3
 
@@ -26,12 +29,19 @@ package fir
 
 constraints:
     linear-generics>0.2.2,
+    ghc-tcplugins-extra>=0.5,
+    ghc-typelits-natnormalise>=0.9.3,
+    ghc-typelits-knownnat>=0.8.2,
     QuickCheck>=2.15
 
 allow-newer:
     base,
+    containers,
+    time,
     template-haskell,
     filepath,
+    text,
+    ghc-tcplugins-extra:*,
     fir:*,
     linear-base:*,
     dear-imgui:*,
@@ -40,13 +50,24 @@ allow-newer:
     linear-apecs:*,
     typelits-witnesses:*
 
+source-repository-package
+    type: git
+    location: https://github.com/sheaf/ghc-tcplugins-extra
+    tag: 6842eb467dde87cf6249828011f4c9d717f7f2b0
+
+source-repository-package
+    type: git
+    location: https://github.com/sheaf/ghc-tcplugins-extra
+    tag: 6842eb467dde87cf6249828011f4c9d717f7f2b0
+
 source-repository-package
   type:     git
   location: https://github.com/alt-romes/reference-counting.git
 
 source-repository-package
   type:     git
   location: https://gitlab.com/rodrigo.m.mesquita/fir.git
+  tag: bba6cbec065d5493bc915d5e810c1f649d46300f
   -- location: https://gitlab.com/sheaf/fir.git
 
 -----------------------------

diff --git a/...book-of-shaders/shaping-functions/Main.hs → ...book-of-shaders/shaping-functions/Main.hs b/...book-of-shaders/shaping-functions/Main.hs → ...book-of-shaders/shaping-functions/Main.hs
@@ -23,39 +23,39 @@ import Shaders
 --  https://www.saschawillems.de/blog/2016/08/13/vulkan-tutorial-on-rendering-a-fullscreen-quad-without-buffers/
 --------------------------------------------------------------------------------
 
-gameLoop :: Alias RenderPass ⊸ RenderQueue () ⊸ Renderer (RenderQueue ())
-gameLoop rp rq = Linear.do
- should_close <- shouldCloseWindow
- if should_close then Alias.forget rp >> return rq else Linear.do
+gameLoop :: RenderQueue () ⊸ Renderer (RenderQueue ())
+gameLoop rq = Linear.do
+ Ur should_close <- shouldCloseWindow
+ if should_close then return rq else Linear.do
   pollWindowEvents
 
-  (rp, rq) <- renderWith $ Linear.do
+  rq <- newFrame \frameIndex imageIndex ->
+    renderWith frameIndex imageIndex $ \rinfo -> Linear.do
+      Ur extent <- lift getRenderExtent
+      let viewport = viewportFromExtent extent
+          scissor  = scissorFromExtent extent
 
-    (rp1, rp2) <- lift (Alias.share rp)
+      beginRendering rinfo $ Linear.do
+        setViewport viewport
+        setScissor scissor
 
-    Ur extent <- lift getRenderExtent
-
-    renderPassCmd extent rp1 $ Linear.do
+        rq <- renderQueueCmd rq
 
-      rq <- renderQueueCmd rq
+        draw 3 1
 
-      draw 3
+        return rq
 
-      return (rp2, rq)
-
-  gameLoop rp rq
+  gameLoop rq
 
 main :: Prelude.IO ()
 main = do
  withLinearIO $
   runRenderer (width, height) Linear.do
 
-    (rp1, rp2) <- Alias.share =<< createSimpleRenderPass
-
-    pipeline      <- makeRenderPipelineWith defaultGraphicsPipelineSettings{cullMode=CullBack} rp1 shaderPipelineSimple GHNil
+    pipeline      <- makeRenderPipelineWith defaultGraphicsPipelineSettings{cullMode=CullBack} shaderPipelineSimple GHNil
     (rq, Ur pkey) <- pure (insertPipeline pipeline LMon.mempty)
 
-    rq <- gameLoop rp2 rq
+    rq <- gameLoop rq
 
     freeRenderQueue rq
 

diff --git a/...k-of-shaders/shaping-functions/Shaders.hs → ...k-of-shaders/shaping-functions/Shaders.hs b/...k-of-shaders/shaping-functions/Shaders.hs → ...k-of-shaders/shaping-functions/Shaders.hs
diff --git a/examples/book-of-shaders/uniforms/Main.hs → ...les/core/book-of-shaders/uniforms/Main.hs b/examples/book-of-shaders/uniforms/Main.hs → ...les/core/book-of-shaders/uniforms/Main.hs
@@ -23,39 +23,39 @@ import Shaders
 --  https://www.saschawillems.de/blog/2016/08/13/vulkan-tutorial-on-rendering-a-fullscreen-quad-without-buffers/
 --------------------------------------------------------------------------------
 
-gameLoop :: Alias RenderPass ⊸ RenderQueue () ⊸ Renderer (RenderQueue ())
-gameLoop rp rq = Linear.do
- should_close <- shouldCloseWindow
- if should_close then Alias.forget rp >> return rq else Linear.do
+gameLoop :: RenderQueue () ⊸ Renderer (RenderQueue ())
+gameLoop rq = Linear.do
+ Ur should_close <- shouldCloseWindow
+ if should_close then return rq else Linear.do
   pollWindowEvents
 
-  (rp, rq) <- renderWith $ Linear.do
+  rq <- newFrame \frameIndex imageIndex ->
+    renderWith frameIndex imageIndex $ \rinfo -> Linear.do
+      Ur extent <- lift getRenderExtent
+      let viewport = viewportFromExtent extent
+          scissor  = scissorFromExtent extent
 
-    (rp1, rp2) <- lift (Alias.share rp)
+      beginRendering rinfo $ Linear.do
+        setViewport viewport
+        setScissor scissor
 
-    Ur extent <- lift getRenderExtent
-
-    renderPassCmd extent rp1 $ Linear.do
+        rq <- renderQueueCmd rq
 
-      rq <- renderQueueCmd rq
+        draw 3 1
 
-      draw 3
+        return rq
 
-      return (rp2, rq)
-
-  gameLoop rp rq
+  gameLoop rq
 
 main :: Prelude.IO ()
 main = do
  withLinearIO $
   runRenderer (width, height) Linear.do
 
-    (rp1, rp2) <- Alias.share =<< createSimpleRenderPass
-
-    pipeline      <- makeRenderPipelineWith defaultGraphicsPipelineSettings{cullMode=CullFront} rp1 shaderPipelineSimple GHNil
+    pipeline      <- makeRenderPipelineWith defaultGraphicsPipelineSettings{cullMode=CullFront} shaderPipelineSimple GHNil
     (rq, Ur pkey) <- pure (insertPipeline pipeline LMon.mempty)
 
-    rq <- gameLoop rp2 rq
+    rq <- gameLoop rq
 
     freeRenderQueue rq
 

diff --git a/examples/book-of-shaders/uniforms/Shaders.hs → .../core/book-of-shaders/uniforms/Shaders.hs b/examples/book-of-shaders/uniforms/Shaders.hs → .../core/book-of-shaders/uniforms/Shaders.hs
diff --git a/examples/common/Common.hs → examples/core/common/Common.hs b/examples/common/Common.hs → examples/core/common/Common.hs
@@ -23,7 +23,6 @@ import Ghengin.Core.Mesh
 import Ghengin.Core.Mesh.Vertex
 import Ghengin.Core.Prelude as Linear
 import Ghengin.Core.Render
-import Ghengin.Core.Render.Packet
 import Ghengin.Core.Render.Pipeline
 import Ghengin.Core.Render.Property
 import Ghengin.Core.Render.Queue

diff --git a/examples/common/Common/Shader.hs → examples/core/common/Common/Shader.hs b/examples/common/Common/Shader.hs → examples/core/common/Common/Shader.hs
diff --git a/examples/dear-imgui/Main.hs → examples/core/dear-imgui/Main.hs b/examples/dear-imgui/Main.hs → examples/core/dear-imgui/Main.hs
@@ -23,49 +23,49 @@ import qualified Ghengin.DearImGui.Vulkan as ImGui
 --  https://www.saschawillems.de/blog/2016/08/13/vulkan-tutorial-on-rendering-a-fullscreen-quad-without-buffers/
 --------------------------------------------------------------------------------
 
-gameLoop :: Alias RenderPass ⊸ RenderQueue () ⊸ Renderer (RenderQueue ())
-gameLoop rp rq = Linear.do
- should_close <- shouldCloseWindow
- if should_close then Alias.forget rp >> return rq else Linear.do
+gameLoop :: RenderQueue () ⊸ Renderer (RenderQueue ())
+gameLoop rq = Linear.do
+ Ur should_close <- shouldCloseWindow
+ if should_close then return rq else Linear.do
   pollWindowEvents
 
   -- Prepare Imgui data
-  ImGui.withNewFrame $ do
+  ImGui.withNewFrame $ liftSystemIO $ do
 
     ImGui.showDemoWindow
 
-  (rp, rq) <- renderWith $ Linear.do
+  rq <- newFrame \frameIndex imageIndex ->
+    renderWith frameIndex imageIndex $ \rinfo -> Linear.do
+      Ur extent <- lift getRenderExtent
+      let viewport = viewportFromExtent extent
+          scissor  = scissorFromExtent extent
 
-    (rp1, rp2) <- lift (Alias.share rp)
+      beginRendering rinfo $ Linear.do
+        setViewport viewport
+        setScissor scissor
 
-    Ur extent <- lift getRenderExtent
-
-    renderPassCmd extent rp1 $ Linear.do
+        rq <- renderQueueCmd rq
+        draw 3 1
 
-      rq <- renderQueueCmd rq
-      draw 3
+        -- Render Imgui data!
+        ImGui.renderDrawData
 
-      -- Render Imgui data!
-      ImGui.renderDrawData
+        return rq
 
-      return (rp2, rq)
-
-  gameLoop rp rq
+  gameLoop rq
 
 main :: Prelude.IO ()
 main = do
  withLinearIO $
   runRenderer (width, height) Linear.do
 
-    (rp1, rp2) <- Alias.share =<< createSimpleRenderPass
-
     -- Init imgui
-    (rp1, imctx) <- Alias.useM rp1 ImGui.initImGui
+    imctx <- ImGui.initImGui
 
-    pipeline      <- makeRenderPipelineWith defaultGraphicsPipelineSettings{cullMode=CullFront} rp1 shaderPipelineSimple GHNil
+    pipeline      <- makeRenderPipelineWith defaultGraphicsPipelineSettings{cullMode=CullFront} shaderPipelineSimple GHNil
     (rq, Ur pkey) <- pure (insertPipeline pipeline LMon.mempty)
 
-    rq <- gameLoop rp2 rq
+    rq <- gameLoop rq
 
     freeRenderQueue rq
     -- Then destroy it

diff --git a/examples/dear-imgui/Shaders.hs → examples/core/dear-imgui/Shaders.hs b/examples/dear-imgui/Shaders.hs → examples/core/dear-imgui/Shaders.hs
diff --git a/examples/domain-warping/Main.hs → examples/core/domain-warping/Main.hs b/examples/domain-warping/Main.hs → examples/core/domain-warping/Main.hs
@@ -23,7 +23,6 @@ import Ghengin.Core.Mesh.Vertex
 import Ghengin.Core.Material
 import Ghengin.Core.Prelude as Linear
 import Ghengin.Core.Render
-import Ghengin.Core.Render.Packet
 import Ghengin.Core.Render.Pipeline
 import Ghengin.Core.Render.Property
 import Ghengin.Core.Render.Queue
@@ -44,7 +43,7 @@ import Common
 
 gameLoop :: forall (_s :: FIR.PipelineInfo). Vec2 -> PipelineKey _s PipelineProps -> RenderQueue () ⊸ Renderer (RenderQueue ())
 gameLoop (WithVec2 previousPosX previousPosY) pkey rq = Linear.do
- should_close <- shouldCloseWindow
+ Ur should_close <- shouldCloseWindow
  if should_close then return rq else Linear.do
   pollWindowEvents
 

diff --git a/examples/domain-warping/Shaders.hs → examples/core/domain-warping/Shaders.hs b/examples/domain-warping/Shaders.hs → examples/core/domain-warping/Shaders.hs
diff --git a/examples/fir-juliaset/Main.hs → examples/core/fir-juliaset/Main.hs b/examples/fir-juliaset/Main.hs → examples/core/fir-juliaset/Main.hs
@@ -23,7 +23,6 @@ import Ghengin.Core.Mesh.Vertex
 import Ghengin.Core.Material
 import Ghengin.Core.Prelude as Linear
 import Ghengin.Core.Render
-import Ghengin.Core.Render.Packet
 import Ghengin.Core.Render.Pipeline
 import Ghengin.Core.Render.Property
 import Ghengin.Core.Render.Queue
@@ -69,16 +68,16 @@ makeMainPipeline = makeRenderPipeline (shaderPipeline WINDOW_SIZE)
 
 gameLoop :: forall (_s :: FIR.PipelineInfo). Vec2 -> PipelineKey _s '[MousePos] -> RenderQueue () ⊸ Core (RenderQueue ())
 gameLoop (WithVec2 previousPosX previousPosY) pkey rq = Linear.do
- should_close <- (shouldCloseWindow ↑)
+ Ur should_close <- shouldCloseWindow
  if should_close then return rq else Linear.do
-  (pollWindowEvents ↑)
+  pollWindowEvents
 
-  Ur (double2Float -> newPosX, double2Float -> newPosY) <- (getMousePos ↑)
+  Ur (double2Float -> newPosX, double2Float -> newPosY) <- getMousePos
   liftSystemIO $ print (newPosX, newPosY)
 
   let pos = vec2 (0.5 * (previousPosX + newPosX)) (0.5 * (previousPosY + newPosY))
 
-  rq'  <- (editPipeline pkey rq (propertyAt @0 (\(Ur _) -> pure $ Ur $ MousePos pos)) ↑)
+  rq'  <- editPipeline pkey rq (propertyAt @0 (\(Ur _) -> pure $ Ur $ MousePos pos))
 
   rq'' <- render rq'
 

diff --git a/examples/fir-juliaset/Shaders.hs → examples/core/fir-juliaset/Shaders.hs b/examples/fir-juliaset/Shaders.hs → examples/core/fir-juliaset/Shaders.hs
diff --git a/examples/full-pipeline/Main.hs → examples/core/full-pipeline/Main.hs b/examples/full-pipeline/Main.hs → examples/core/full-pipeline/Main.hs
@@ -72,33 +72,32 @@ icosahedronIndices
 
 gameLoop :: PipelineKey _ '[Camera "view" "proj"] -- ^ rq key to camera
          -> MeshKey _ _ _ _ '[] -- ^ rq key to cube mesh
-         -> Alias RenderPass
-          ⊸ RenderQueue ()
+         -> RenderQueue ()
           ⊸ Renderer (RenderQueue ())
-gameLoop ckey mkey rp rq = Linear.do
- should_close <- shouldCloseWindow
- if should_close then Alias.forget rp >> return rq else Linear.do
+gameLoop ckey mkey rq = Linear.do
+ Ur should_close <- shouldCloseWindow
+ if should_close then return rq else Linear.do
   pollWindowEvents
 
-  (rp, rq) <- render rp rq
+  rq <- newFrame \frameIndex imageIndex ->
+    render frameIndex imageIndex rq
 
-  gameLoop ckey mkey rp rq
+  gameLoop ckey mkey rq
 
 main :: Prelude.IO ()
-main = 
+main =
  withLinearIO $
   runRenderer (640, 480) Linear.do
-    (rp1, rp2) <- Alias.share =<< createSimpleRenderPass
 
-    pipeline :: RenderPipeline π ps <- makeRenderPipeline rp1 shaderPipeline (StaticBinding (Ur (cameraLookAt @"view" @"proj" (vec3 0 0 0) (vec3 0 0 1) (640, 480))) :## GHNil)
+    pipeline :: RenderPipeline π ps <- makeRenderPipeline shaderPipeline (StaticBinding (Ur (cameraLookAt @"view" @"proj" (vec3 0 0 0) (vec3 0 0 1) (640, 480))) :## GHNil)
     (emptyMat, pipeline) <- material GHNil pipeline
     (mesh :: IcosahedronMesh, pipeline) <- createMeshWithIxs pipeline GHNil icosahedronVerts icosahedronIndices
 
     (rq, Ur pkey)    <- pure (insertPipeline @π @ps pipeline LMon.mempty)
     (rq, Ur mkey)    <- pure (insertMaterial @π @ps pkey emptyMat rq)
     (rq, Ur mshkey)  <- pure (insertMesh @π @ps mkey mesh rq)
 
-    rq <- gameLoop pkey mshkey rp2 rq
+    rq <- gameLoop pkey mshkey rq
 
     freeRenderQueue rq
 

diff --git a/examples/full-pipeline/Shaders.hs → examples/core/full-pipeline/Shaders.hs b/examples/full-pipeline/Shaders.hs → examples/core/full-pipeline/Shaders.hs