#vertexShader
LightNews LightNews
romanjeanelie.bsky.social
Playing with curl deformation using vertex shader... 📿

[portfolio wip]

#WebGL #creativecode #vertexShader #curlAnimation
May 29, 2025 at 2:29 PM
pyg.enchenia.com
" [VulkanPipeline] About to call vkCreateGraphicsPipelines with:
Device: 0000017731BC5488
Layout: 00000177380AF018
RenderPass: 0000017737A883E8
VertexShader: 0000017737E07F38
DescriptorSetLayout: 0000000000000000 "
March 28, 2026 at 11:01 PM
tsutsumitomoyuki.bsky.social
VertexShaderで、SV_VertexIDとかSV_InstanceIDとかいう変数が使えるみたい。何番目の頂点かが分かるので、別のシェーダーリソースを参照したりできる。頂点情報をシェーダーリソースにしたら、入力レイアウトを気にしなくていいのがよい。あと、ちょっと速くなる気も。
July 24, 2024 at 4:37 PM
buzzerman.bsky.social
Justement dans ton screenshot, premier ligne, Vert c'est pas pour VertexShader ?
Vu que juste en dessous Frag ne semble être pour FragmentShader...
May 30, 2026 at 12:04 AM
discourse.haskell.org.web.brid.gy
Shader Pipeline: PrimShader and Random Face Colours
It took all bloody day but I’ve finally done it. `mapAccumL` is an AWESOME function. It is annoying to have to unwrap tuples tho but oh well. objShaderPipeline s@(Shader vertexShader primShader _ fragmentShader _) modelTransform projection camera obj (Face p1 p2 p3 pn) = let faceInfoList = p1 : p2 : p3 : pn vs = objVertices obj out@(endShad, points) = (\(projSpace, shad) -> fragShaderHandler shad projSpace) . (\(coords, newShad) -> (fmap (toProjection projection) coords, newShad)) . Debug.traceShowWith (fmap (getVertexColour . getViewSpace). fst) . primShaderHandling vertShaderOut $ faceVertices (vertShaderOut,faceVertices) = mapAccumL vertInvoker s . fmap ( toViewSpace camera . toModelView modelTransform . (vs V.!) . subtract 1 . objFaceVertexIndex ) $ faceInfoList in (endShad, points) where vertInvoker shad vert = (newShader, transformed) where (transformed, newShader) = invokeVertShader shad (getShaderStdGen shad) vert primShaderHandling shadState faceVerts = invokePrimShader shadState (getShaderStdGen shadState) faceVerts fragShaderHandler shadState projVerts = mapAccumL fragger shadState projVerts fragger shad pix = let (newShad, newPix) = invokeFragmentShader shad (getShaderStdGen shad) pix in (newPix, newShad) getObjFaces dims modelTransform projection camera shader obj = let allFaces = snd <$> Map.elems (objFaces obj) allVerts = snd . builder shader $ (concatMap V.toList allFaces) builder oldShad faces = mapAccumL buildHelper oldShad faces buildHelper shad face = objShaderPipeline shad modelTransform projection camera obj face in [toScreenSpace dims <$> verts | verts <- allVerts, all pointIsVisible verts] and Shaders look something like this: type VertexShader = StdGen -> ViewSpace -> ViewSpace type PrimShader = forall f. Functor f => StdGen -> f ViewSpace -> f ViewSpace type MeshShader = forall t f. (Traversable t, Functor f) => StdGen -> t (f ViewSpace) -> t (f ViewSpace) type FragmentShader = StdGen -> ProjectionSpace -> ProjectionSpace data Shader = Shader { getVertexShader :: VertexShader, getPrimShader :: PrimShader, getMeshShader :: MeshShader, getFragmentShader :: FragmentShader, getShaderStdGen :: StdGen } baseShader :: StdGen -> Shader baseShader gen = Shader (const id) (const id) (const id) (const id) gen invokeVertShader :: Shader -> StdGen -> ViewSpace -> (ViewSpace, Shader) invokeVertShader s gen v = (getVertexShader s gen v, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokePrimShader :: Functor f => Shader -> StdGen -> f ViewSpace -> (f ViewSpace, Shader) invokePrimShader s gen vs = (getPrimShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokeMeshShader :: (Traversable t, Functor f) => Shader -> StdGen -> t (f ViewSpace) -> (t (f ViewSpace), Shader) invokeMeshShader s gen vs = (getMeshShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokeFragmentShader :: Shader -> StdGen -> ProjectionSpace -> (ProjectionSpace, Shader) invokeFragmentShader s gen vs = (getFragmentShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) -- genCol :: IO VertexColour -- genCol :: RandomGen p => p -> VertexColour genCol gen = (g2, VertexColour r g b 255) where (r, g0) = randomR (0, 255) gen (g, g1) = randomR (0, 255) g0 (b, g2) = randomR (0, 255) g1 randomFaceColourShader gen = colourFaces where colourFaces vs = fmap (toGeneratedColour newCol) vs (newGen, newCol) = genCol gen toGeneratedColour col (ViewSpace (Vertex pos _ vnorm)) = ViewSpace (Vertex pos (Just col) vnorm) I will obviously clean this up and make it more manageable, maybe even give myself a nice little wrapper type to keep track of things better but I’m just happy it works.
discourse.haskell.org
April 8, 2026 at 10:41 AM
discourse.haskell.org.web.brid.gy
Shader Pipeline: PrimShader and Random Face Colours
It took all bloody day but I’ve finally done it. `mapAccumL` is an AWESOME function. It is annoying to have to unwrap tuples tho but oh well. objShaderPipeline s@(Shader vertexShader primShader _ fragmentShader _) modelTransform projection camera obj (Face p1 p2 p3 pn) = let faceInfoList = p1 : p2 : p3 : pn vs = objVertices obj out@(endShad, points) = (\(projSpace, shad) -> fragShaderHandler shad projSpace) . (\(coords, newShad) -> (fmap (toProjection projection) coords, newShad)) . Debug.traceShowWith (fmap (getVertexColour . getViewSpace). fst) . primShaderHandling vertShaderOut $ faceVertices (vertShaderOut,faceVertices) = mapAccumL vertInvoker s . fmap ( toViewSpace camera . toModelView modelTransform . (vs V.!) . subtract 1 . objFaceVertexIndex ) $ faceInfoList in (endShad, points) where vertInvoker shad vert = (newShader, transformed) where (transformed, newShader) = invokeVertShader shad (getShaderStdGen shad) vert primShaderHandling shadState faceVerts = invokePrimShader shadState (getShaderStdGen shadState) faceVerts fragShaderHandler shadState projVerts = mapAccumL fragger shadState projVerts fragger shad pix = let (newShad, newPix) = invokeFragmentShader shad (getShaderStdGen shad) pix in (newPix, newShad) getObjFaces dims modelTransform projection camera shader obj = let allFaces = snd <$> Map.elems (objFaces obj) allVerts = snd . builder shader $ (concatMap V.toList allFaces) builder oldShad faces = mapAccumL buildHelper oldShad faces buildHelper shad face = objShaderPipeline shad modelTransform projection camera obj face in [toScreenSpace dims <$> verts | verts <- allVerts, all pointIsVisible verts] and Shaders look something like this: type VertexShader = StdGen -> ViewSpace -> ViewSpace type PrimShader = forall f. Functor f => StdGen -> f ViewSpace -> f ViewSpace type MeshShader = forall t f. (Traversable t, Functor f) => StdGen -> t (f ViewSpace) -> t (f ViewSpace) type FragmentShader = StdGen -> ProjectionSpace -> ProjectionSpace data Shader = Shader { getVertexShader :: VertexShader, getPrimShader :: PrimShader, getMeshShader :: MeshShader, getFragmentShader :: FragmentShader, getShaderStdGen :: StdGen } baseShader :: StdGen -> Shader baseShader gen = Shader (const id) (const id) (const id) (const id) gen invokeVertShader :: Shader -> StdGen -> ViewSpace -> (ViewSpace, Shader) invokeVertShader s gen v = (getVertexShader s gen v, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokePrimShader :: Functor f => Shader -> StdGen -> f ViewSpace -> (f ViewSpace, Shader) invokePrimShader s gen vs = (getPrimShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokeMeshShader :: (Traversable t, Functor f) => Shader -> StdGen -> t (f ViewSpace) -> (t (f ViewSpace), Shader) invokeMeshShader s gen vs = (getMeshShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokeFragmentShader :: Shader -> StdGen -> ProjectionSpace -> (ProjectionSpace, Shader) invokeFragmentShader s gen vs = (getFragmentShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) -- genCol :: IO VertexColour -- genCol :: RandomGen p => p -> VertexColour genCol gen = (g2, VertexColour r g b 255) where (r, g0) = randomR (0, 255) gen (g, g1) = randomR (0, 255) g0 (b, g2) = randomR (0, 255) g1 randomFaceColourShader gen = colourFaces where colourFaces vs = fmap (toGeneratedColour newCol) vs (newGen, newCol) = genCol gen toGeneratedColour col (ViewSpace (Vertex pos _ vnorm)) = ViewSpace (Vertex pos (Just col) vnorm) I will obviously clean this up and make it more manageable, maybe even give myself a nice little wrapper type to keep track of things better but I’m just happy it works.
discourse.haskell.org
April 8, 2026 at 8:40 AM
discourse.haskell.org.web.brid.gy
Shader Pipeline: PrimShader and Random Face Colours
It took all bloody day but I’ve finally done it. `mapAccumL` is an AWESOME function. It is annoying to have to unwrap tuples tho but oh well. objShaderPipeline s@(Shader vertexShader primShader _ fragmentShader _) modelTransform projection camera obj (Face p1 p2 p3 pn) = let faceInfoList = p1 : p2 : p3 : pn vs = objVertices obj out@(endShad, points) = (\(projSpace, shad) -> fragShaderHandler shad projSpace) . (\(coords, newShad) -> (fmap (toProjection projection) coords, newShad)) . Debug.traceShowWith (fmap (getVertexColour . getViewSpace). fst) . primShaderHandling vertShaderOut $ faceVertices (vertShaderOut,faceVertices) = mapAccumL vertInvoker s . fmap ( toViewSpace camera . toModelView modelTransform . (vs V.!) . subtract 1 . objFaceVertexIndex ) $ faceInfoList in (endShad, points) where vertInvoker shad vert = (newShader, transformed) where (transformed, newShader) = invokeVertShader shad (getShaderStdGen shad) vert primShaderHandling shadState faceVerts = invokePrimShader shadState (getShaderStdGen shadState) faceVerts fragShaderHandler shadState projVerts = mapAccumL fragger shadState projVerts fragger shad pix = let (newShad, newPix) = invokeFragmentShader shad (getShaderStdGen shad) pix in (newPix, newShad) getObjFaces dims modelTransform projection camera shader obj = let allFaces = snd <$> Map.elems (objFaces obj) allVerts = snd . builder shader $ (concatMap V.toList allFaces) builder oldShad faces = mapAccumL buildHelper oldShad faces buildHelper shad face = objShaderPipeline shad modelTransform projection camera obj face in [toScreenSpace dims <$> verts | verts <- allVerts, all pointIsVisible verts] and Shaders look something like this: type VertexShader = StdGen -> ViewSpace -> ViewSpace type PrimShader = forall f. Functor f => StdGen -> f ViewSpace -> f ViewSpace type MeshShader = forall t f. (Traversable t, Functor f) => StdGen -> t (f ViewSpace) -> t (f ViewSpace) type FragmentShader = StdGen -> ProjectionSpace -> ProjectionSpace data Shader = Shader { getVertexShader :: VertexShader, getPrimShader :: PrimShader, getMeshShader :: MeshShader, getFragmentShader :: FragmentShader, getShaderStdGen :: StdGen } baseShader :: StdGen -> Shader baseShader gen = Shader (const id) (const id) (const id) (const id) gen invokeVertShader :: Shader -> StdGen -> ViewSpace -> (ViewSpace, Shader) invokeVertShader s gen v = (getVertexShader s gen v, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokePrimShader :: Functor f => Shader -> StdGen -> f ViewSpace -> (f ViewSpace, Shader) invokePrimShader s gen vs = (getPrimShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokeMeshShader :: (Traversable t, Functor f) => Shader -> StdGen -> t (f ViewSpace) -> (t (f ViewSpace), Shader) invokeMeshShader s gen vs = (getMeshShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokeFragmentShader :: Shader -> StdGen -> ProjectionSpace -> (ProjectionSpace, Shader) invokeFragmentShader s gen vs = (getFragmentShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) -- genCol :: IO VertexColour -- genCol :: RandomGen p => p -> VertexColour genCol gen = (g2, VertexColour r g b 255) where (r, g0) = randomR (0, 255) gen (g, g1) = randomR (0, 255) g0 (b, g2) = randomR (0, 255) g1 randomFaceColourShader gen = colourFaces where colourFaces vs = fmap (toGeneratedColour newCol) vs (newGen, newCol) = genCol gen toGeneratedColour col (ViewSpace (Vertex pos _ vnorm)) = ViewSpace (Vertex pos (Just col) vnorm) I will obviously clean this up and make it more manageable, maybe even give myself a nice little wrapper type to keep track of things better but I’m just happy it works.
discourse.haskell.org
April 8, 2026 at 6:39 AM
discourse.haskell.org.web.brid.gy
Shader Pipeline: PrimShader and Random Face Colours
It took all bloody day but I’ve finally done it. `mapAccumL` is an AWESOME function. It is annoying to have to unwrap tuples tho but oh well. objShaderPipeline s@(Shader vertexShader primShader _ fragmentShader _) modelTransform projection camera obj (Face p1 p2 p3 pn) = let faceInfoList = p1 : p2 : p3 : pn vs = objVertices obj out@(endShad, points) = (\(projSpace, shad) -> fragShaderHandler shad projSpace) . (\(coords, newShad) -> (fmap (toProjection projection) coords, newShad)) . Debug.traceShowWith (fmap (getVertexColour . getViewSpace). fst) . primShaderHandling vertShaderOut $ faceVertices (vertShaderOut,faceVertices) = mapAccumL vertInvoker s . fmap ( toViewSpace camera . toModelView modelTransform . (vs V.!) . subtract 1 . objFaceVertexIndex ) $ faceInfoList in (endShad, points) where vertInvoker shad vert = (newShader, transformed) where (transformed, newShader) = invokeVertShader shad (getShaderStdGen shad) vert primShaderHandling shadState faceVerts = invokePrimShader shadState (getShaderStdGen shadState) faceVerts fragShaderHandler shadState projVerts = mapAccumL fragger shadState projVerts fragger shad pix = let (newShad, newPix) = invokeFragmentShader shad (getShaderStdGen shad) pix in (newPix, newShad) getObjFaces dims modelTransform projection camera shader obj = let allFaces = snd <$> Map.elems (objFaces obj) allVerts = snd . builder shader $ (concatMap V.toList allFaces) builder oldShad faces = mapAccumL buildHelper oldShad faces buildHelper shad face = objShaderPipeline shad modelTransform projection camera obj face in [toScreenSpace dims <$> verts | verts <- allVerts, all pointIsVisible verts] and Shaders look something like this: type VertexShader = StdGen -> ViewSpace -> ViewSpace type PrimShader = forall f. Functor f => StdGen -> f ViewSpace -> f ViewSpace type MeshShader = forall t f. (Traversable t, Functor f) => StdGen -> t (f ViewSpace) -> t (f ViewSpace) type FragmentShader = StdGen -> ProjectionSpace -> ProjectionSpace data Shader = Shader { getVertexShader :: VertexShader, getPrimShader :: PrimShader, getMeshShader :: MeshShader, getFragmentShader :: FragmentShader, getShaderStdGen :: StdGen } baseShader :: StdGen -> Shader baseShader gen = Shader (const id) (const id) (const id) (const id) gen invokeVertShader :: Shader -> StdGen -> ViewSpace -> (ViewSpace, Shader) invokeVertShader s gen v = (getVertexShader s gen v, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokePrimShader :: Functor f => Shader -> StdGen -> f ViewSpace -> (f ViewSpace, Shader) invokePrimShader s gen vs = (getPrimShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokeMeshShader :: (Traversable t, Functor f) => Shader -> StdGen -> t (f ViewSpace) -> (t (f ViewSpace), Shader) invokeMeshShader s gen vs = (getMeshShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokeFragmentShader :: Shader -> StdGen -> ProjectionSpace -> (ProjectionSpace, Shader) invokeFragmentShader s gen vs = (getFragmentShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) -- genCol :: IO VertexColour -- genCol :: RandomGen p => p -> VertexColour genCol gen = (g2, VertexColour r g b 255) where (r, g0) = randomR (0, 255) gen (g, g1) = randomR (0, 255) g0 (b, g2) = randomR (0, 255) g1 randomFaceColourShader gen = colourFaces where colourFaces vs = fmap (toGeneratedColour newCol) vs (newGen, newCol) = genCol gen toGeneratedColour col (ViewSpace (Vertex pos _ vnorm)) = ViewSpace (Vertex pos (Just col) vnorm) I will obviously clean this up and make it more manageable, maybe even give myself a nice little wrapper type to keep track of things better but I’m just happy it works.
discourse.haskell.org
April 8, 2026 at 4:39 AM
discourse.haskell.org.web.brid.gy
Shader Pipeline: PrimShader and Random Face Colours
It took all bloody day but I’ve finally done it. `mapAccumL` is an AWESOME function. It is annoying to have to unwrap tuples tho but oh well. objShaderPipeline s@(Shader vertexShader primShader _ fragmentShader _) modelTransform projection camera obj (Face p1 p2 p3 pn) = let faceInfoList = p1 : p2 : p3 : pn vs = objVertices obj out@(endShad, points) = (\(projSpace, shad) -> fragShaderHandler shad projSpace) . (\(coords, newShad) -> (fmap (toProjection projection) coords, newShad)) . Debug.traceShowWith (fmap (getVertexColour . getViewSpace). fst) . primShaderHandling vertShaderOut $ faceVertices (vertShaderOut,faceVertices) = mapAccumL vertInvoker s . fmap ( toViewSpace camera . toModelView modelTransform . (vs V.!) . subtract 1 . objFaceVertexIndex ) $ faceInfoList in (endShad, points) where vertInvoker shad vert = (newShader, transformed) where (transformed, newShader) = invokeVertShader shad (getShaderStdGen shad) vert primShaderHandling shadState faceVerts = invokePrimShader shadState (getShaderStdGen shadState) faceVerts fragShaderHandler shadState projVerts = mapAccumL fragger shadState projVerts fragger shad pix = let (newShad, newPix) = invokeFragmentShader shad (getShaderStdGen shad) pix in (newPix, newShad) getObjFaces dims modelTransform projection camera shader obj = let allFaces = snd <$> Map.elems (objFaces obj) allVerts = snd . builder shader $ (concatMap V.toList allFaces) builder oldShad faces = mapAccumL buildHelper oldShad faces buildHelper shad face = objShaderPipeline shad modelTransform projection camera obj face in [toScreenSpace dims <$> verts | verts <- allVerts, all pointIsVisible verts] and Shaders look something like this: type VertexShader = StdGen -> ViewSpace -> ViewSpace type PrimShader = forall f. Functor f => StdGen -> f ViewSpace -> f ViewSpace type MeshShader = forall t f. (Traversable t, Functor f) => StdGen -> t (f ViewSpace) -> t (f ViewSpace) type FragmentShader = StdGen -> ProjectionSpace -> ProjectionSpace data Shader = Shader { getVertexShader :: VertexShader, getPrimShader :: PrimShader, getMeshShader :: MeshShader, getFragmentShader :: FragmentShader, getShaderStdGen :: StdGen } baseShader :: StdGen -> Shader baseShader gen = Shader (const id) (const id) (const id) (const id) gen invokeVertShader :: Shader -> StdGen -> ViewSpace -> (ViewSpace, Shader) invokeVertShader s gen v = (getVertexShader s gen v, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokePrimShader :: Functor f => Shader -> StdGen -> f ViewSpace -> (f ViewSpace, Shader) invokePrimShader s gen vs = (getPrimShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokeMeshShader :: (Traversable t, Functor f) => Shader -> StdGen -> t (f ViewSpace) -> (t (f ViewSpace), Shader) invokeMeshShader s gen vs = (getMeshShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokeFragmentShader :: Shader -> StdGen -> ProjectionSpace -> (ProjectionSpace, Shader) invokeFragmentShader s gen vs = (getFragmentShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) -- genCol :: IO VertexColour -- genCol :: RandomGen p => p -> VertexColour genCol gen = (g2, VertexColour r g b 255) where (r, g0) = randomR (0, 255) gen (g, g1) = randomR (0, 255) g0 (b, g2) = randomR (0, 255) g1 randomFaceColourShader gen = colourFaces where colourFaces vs = fmap (toGeneratedColour newCol) vs (newGen, newCol) = genCol gen toGeneratedColour col (ViewSpace (Vertex pos _ vnorm)) = ViewSpace (Vertex pos (Just col) vnorm) I will obviously clean this up and make it more manageable, maybe even give myself a nice little wrapper type to keep track of things better but I’m just happy it works.
discourse.haskell.org
April 8, 2026 at 2:39 AM
discourse.haskell.org.web.brid.gy
Shader Pipeline: PrimShader and Random Face Colours
It took all bloody day but I’ve finally done it. `mapAccumL` is an AWESOME function. It is annoying to have to unwrap tuples tho but oh well. objShaderPipeline s@(Shader vertexShader primShader _ fragmentShader _) modelTransform projection camera obj (Face p1 p2 p3 pn) = let faceInfoList = p1 : p2 : p3 : pn vs = objVertices obj out@(endShad, points) = (\(projSpace, shad) -> fragShaderHandler shad projSpace) . (\(coords, newShad) -> (fmap (toProjection projection) coords, newShad)) . Debug.traceShowWith (fmap (getVertexColour . getViewSpace). fst) . primShaderHandling vertShaderOut $ faceVertices (vertShaderOut,faceVertices) = mapAccumL vertInvoker s . fmap ( toViewSpace camera . toModelView modelTransform . (vs V.!) . subtract 1 . objFaceVertexIndex ) $ faceInfoList in (endShad, points) where vertInvoker shad vert = (newShader, transformed) where (transformed, newShader) = invokeVertShader shad (getShaderStdGen shad) vert primShaderHandling shadState faceVerts = invokePrimShader shadState (getShaderStdGen shadState) faceVerts fragShaderHandler shadState projVerts = mapAccumL fragger shadState projVerts fragger shad pix = let (newShad, newPix) = invokeFragmentShader shad (getShaderStdGen shad) pix in (newPix, newShad) getObjFaces dims modelTransform projection camera shader obj = let allFaces = snd <$> Map.elems (objFaces obj) allVerts = snd . builder shader $ (concatMap V.toList allFaces) builder oldShad faces = mapAccumL buildHelper oldShad faces buildHelper shad face = objShaderPipeline shad modelTransform projection camera obj face in [toScreenSpace dims <$> verts | verts <- allVerts, all pointIsVisible verts] and Shaders look something like this: type VertexShader = StdGen -> ViewSpace -> ViewSpace type PrimShader = forall f. Functor f => StdGen -> f ViewSpace -> f ViewSpace type MeshShader = forall t f. (Traversable t, Functor f) => StdGen -> t (f ViewSpace) -> t (f ViewSpace) type FragmentShader = StdGen -> ProjectionSpace -> ProjectionSpace data Shader = Shader { getVertexShader :: VertexShader, getPrimShader :: PrimShader, getMeshShader :: MeshShader, getFragmentShader :: FragmentShader, getShaderStdGen :: StdGen } baseShader :: StdGen -> Shader baseShader gen = Shader (const id) (const id) (const id) (const id) gen invokeVertShader :: Shader -> StdGen -> ViewSpace -> (ViewSpace, Shader) invokeVertShader s gen v = (getVertexShader s gen v, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokePrimShader :: Functor f => Shader -> StdGen -> f ViewSpace -> (f ViewSpace, Shader) invokePrimShader s gen vs = (getPrimShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokeMeshShader :: (Traversable t, Functor f) => Shader -> StdGen -> t (f ViewSpace) -> (t (f ViewSpace), Shader) invokeMeshShader s gen vs = (getMeshShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) invokeFragmentShader :: Shader -> StdGen -> ProjectionSpace -> (ProjectionSpace, Shader) invokeFragmentShader s gen vs = (getFragmentShader s gen vs, s {getShaderStdGen = newGen}) where (_, newGen) = random gen :: (Int, StdGen) -- genCol :: IO VertexColour -- genCol :: RandomGen p => p -> VertexColour genCol gen = (g2, VertexColour r g b 255) where (r, g0) = randomR (0, 255) gen (g, g1) = randomR (0, 255) g0 (b, g2) = randomR (0, 255) g1 randomFaceColourShader gen = colourFaces where colourFaces vs = fmap (toGeneratedColour newCol) vs (newGen, newCol) = genCol gen toGeneratedColour col (ViewSpace (Vertex pos _ vnorm)) = ViewSpace (Vertex pos (Just col) vnorm) I will obviously clean this up and make it more manageable, maybe even give myself a nice little wrapper type to keep track of things better but I’m just happy it works.
discourse.haskell.org
April 8, 2026 at 12:39 AM
discourse.haskell.org.web.brid.gy
Shader Pipeline: PrimShader and Random Face Colours
While building my toy rasterizer I was thinking that I could implement various stages like so: type VertexShader = ViewSpace -> ViewSpace type PrimShader = forall f. Functor f => f ViewSpace -> f ViewSpace type MeshShader = forall t f. (Traversable t, Functor f) => t (f ViewSpace) -> t (f ViewSpace) type FragmentShader = ProjectionSpace -> ProjectionSpace data Shader = Shader { getVertexShader :: VertexShader, getPrimShader :: PrimShader, getMeshShader :: MeshShader, getFragmentShader :: FragmentShader } noShaders :: Shader noShaders = Shader id id id id addShader :: Shader -> Shader -> Shader addShader (Shader v0 p0 m0 f0) (Shader v1 p1 m1 f1) = Shader (v0 . v1) (p0 . p1) (m0 . m1) (f0 . f1) And use them in a pipeline like so: getObjFaces :: Dimensions -> ModelSpaceTransform -> Projection a -> CameraTransform -> Shader -> ObjFile -> [[ScreenSpace]] getObjFaces dims modelTransform projection camera shader obj = let allFaces = snd <$> Map.elems (objFaces obj) allVerts = fmap someFunc allFaces someFunc faceVec = concatMap (objShaderPipeline shader modelTransform projection camera obj) (V.toList faceVec) in [toScreenSpace dims <$> verts | verts <- allVerts, all pointIsVisible verts] objShaderPipeline :: Shader -> ModelSpaceTransform -> Projection a -> CameraTransform -> ObjFile -> Face ObjFaceInfo -> [ProjectionSpace] objShaderPipeline (Shader vertexShader primShader _ fragmentShader) modelTransform projection camera obj (Face p1 p2 p3 pn) = let faceInfoList = p1 : p2 : p3 : pn vs = objVertices obj points = fmap (fragmentShader . toProjection projection) faceVertices faceVertices = Debug.traceShowWith (fmap (getVertexColour . getViewSpace)) . primShader . fmap ( vertexShader . toViewSpace camera . toModelView modelTransform . (vs V.!) . subtract 1 . objFaceVertexIndex ) $ faceInfoList in points The problem I’m having is implementing a `PrimShader` that randomly sets all the vertices on one face to one specfic `VertexColour `using `unsafePerformIO`. This colour would ideally be generated every time the shader is called: genCol :: IO VertexColour genCol = VertexColour <$> randomRIO (0, 255) <*> randomRIO (0, 255) <*> randomRIO (0, 255) <*> pure 255 randomFaceColourShader :: IO VertexColour -> Shader randomFaceColourShader colGenerator = Shader id colourFaces id id where colourFaces vs = fmap (toGeneratedColour colGenerator) vs toGeneratedColour col (ViewSpace (Vertex pos _ vnorm)) = ViewSpace (Vertex pos (Just (unsafePerformIO col)) vnorm) I later execute the whole pipeline as part of getting the `pixelsToRender` in the `canvasLoop` function. canvasLoop = do SDL.initializeAll -- model <- testParse let -- Initialisation stuff shader = randomFaceColourShader genCol -- The shader of interest. -- shader = noShaders -- projection = projectFrustrum (-right * aspect ) (right * aspect) (-top) (top) near far -- projection = projectPerspective 53 aspect 1 20 -- depthBufferPix = getObjFaceDepth dims modelOpts projection camera model pixelsToRender = getObjFaces dims modelOpts projection camera shader model -- Shaders executed in here via getObjFaces -- ... (newZ, newCanv) = addPointsToBuffer (fromIntegral w) pixelsToRender 1 zBuf canv -- rest of program In `cabal repl`and `cabal run` I get all the verts being correctly set according to my `Debug.Trace` output but a dithered and incorrectly coloured output face colours. EDIT: Or maybe not: this output is inconsistent. Sometimes all three verts are same colour and other times, I get this lol. Even still, the dithering should not be happening as far as I can tell! ghci> canvasLoop [Just (VertexColour {r = 131, g = 191, b = 83, a = 255}),Just (VertexColour {r = 204, g = 226, b = 140, a = 255}),Just (VertexColour {r = 114, g = 205, b = 169, a = 255})] [Just (VertexColour {r = 223, g = 67, b = 147, a = 255}),Just (VertexColour {r = 49, g = 228, b = 23, a = 255}),Just (VertexColour {r = 9, g = 62, b = 174, a = 255})] [Just (VertexColour {r = 161, g = 94, b = 184, a = 255}),Just (VertexColour {r = 227, g = 206, b = 146, a = 255}),Just (VertexColour {r = 138, g = 6, b = 29, a = 255})] [Just (VertexColour {r = 255, g = 187, b = 217, a = 255}),Just (VertexColour {r = 140, g = 55, b = 221, a = 255}),Just (VertexColour {r = 182, g = 113, b = 167, a = 255})] [Just (VertexColour {r = 44, g = 213, b = 17, a = 255}),Just (VertexColour {r = 180, g = 135, b = 37, a = 255}),Just (VertexColour {r = 25, g = 189, b = 69, a = 255})] [Just (VertexColour {r = 39, g = 6, b = 180, a = 255}),Just (VertexColour {r = 11, g = 1, b = 24, a = 255}),Just (VertexColour {r = 69, g = 88, b = 6, a = 255})] [Just (VertexColour {r = 92, g = 64, b = 121, a = 255}),Just (VertexColour {r = 64, g = 160, b = 76, a = 255}),Just (VertexColour {r = 239, g = 17, b = 85, a = 255})] [Just (VertexColour {r = 28, g = 156, b = 188, a = 255}),Just (VertexColour {r = 28, g = 200, b = 218, a = 255}),Just (VertexColour {r = 30, g = 232, b = 153, a = 255})] If I `cabal install` followed by executing the binary, all vertices on every face get set to the same colour: $ game-engine +RTS -s -N8 [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] The only thing I can think of doing at this point is lifting all of the `Shader` types to be in `IO` and everything that interacts with the shader pipeline to also be in `IO`but I’m wondering if there is any other approach that could be worth trying.
discourse.haskell.org
April 7, 2026 at 12:38 PM
discourse.haskell.org.web.brid.gy
Shader Pipeline: PrimShader and Random Face Colours
While building my toy rasterizer I was thinking that I could implement various stages like so: type VertexShader = ViewSpace -> ViewSpace type PrimShader = forall f. Functor f => f ViewSpace -> f ViewSpace type MeshShader = forall t f. (Traversable t, Functor f) => t (f ViewSpace) -> t (f ViewSpace) type FragmentShader = ProjectionSpace -> ProjectionSpace data Shader = Shader { getVertexShader :: VertexShader, getPrimShader :: PrimShader, getMeshShader :: MeshShader, getFragmentShader :: FragmentShader } noShaders :: Shader noShaders = Shader id id id id addShader :: Shader -> Shader -> Shader addShader (Shader v0 p0 m0 f0) (Shader v1 p1 m1 f1) = Shader (v0 . v1) (p0 . p1) (m0 . m1) (f0 . f1) And use them in a pipeline like so: getObjFaces :: Dimensions -> ModelSpaceTransform -> Projection a -> CameraTransform -> Shader -> ObjFile -> [[ScreenSpace]] getObjFaces dims modelTransform projection camera shader obj = let allFaces = snd <$> Map.elems (objFaces obj) allVerts = fmap someFunc allFaces someFunc faceVec = concatMap (objShaderPipeline shader modelTransform projection camera obj) (V.toList faceVec) in [toScreenSpace dims <$> verts | verts <- allVerts, all pointIsVisible verts] objShaderPipeline :: Shader -> ModelSpaceTransform -> Projection a -> CameraTransform -> ObjFile -> Face ObjFaceInfo -> [ProjectionSpace] objShaderPipeline (Shader vertexShader primShader _ fragmentShader) modelTransform projection camera obj (Face p1 p2 p3 pn) = let faceInfoList = p1 : p2 : p3 : pn vs = objVertices obj points = fmap (fragmentShader . toProjection projection) faceVertices faceVertices = Debug.traceShowWith (fmap (getVertexColour . getViewSpace)) . primShader . fmap ( vertexShader . toViewSpace camera . toModelView modelTransform . (vs V.!) . subtract 1 . objFaceVertexIndex ) $ faceInfoList in points The problem I’m having is implementing a `PrimShader` that randomly sets all the vertices on one face to one specfic `VertexColour `using `unsafePerformIO`. This colour would ideally be generated every time the shader is called: genCol :: IO VertexColour genCol = VertexColour <$> randomRIO (0, 255) <*> randomRIO (0, 255) <*> randomRIO (0, 255) <*> pure 255 randomFaceColourShader :: IO VertexColour -> Shader randomFaceColourShader colGenerator = Shader id colourFaces id id where colourFaces vs = fmap (toGeneratedColour colGenerator) vs toGeneratedColour col (ViewSpace (Vertex pos _ vnorm)) = ViewSpace (Vertex pos (Just (unsafePerformIO col)) vnorm) I later execute the whole pipeline as part of getting the `pixelsToRender` in the `canvasLoop` function. canvasLoop = do SDL.initializeAll -- model <- testParse let -- Initialisation stuff shader = randomFaceColourShader genCol -- The shader of interest. -- shader = noShaders -- projection = projectFrustrum (-right * aspect ) (right * aspect) (-top) (top) near far -- projection = projectPerspective 53 aspect 1 20 -- depthBufferPix = getObjFaceDepth dims modelOpts projection camera model pixelsToRender = getObjFaces dims modelOpts projection camera shader model -- Shaders executed in here via getObjFaces -- ... (newZ, newCanv) = addPointsToBuffer (fromIntegral w) pixelsToRender 1 zBuf canv -- rest of program In `cabal repl`and `cabal run` I get all the verts being correctly set according to my `Debug.Trace` output but a dithered and incorrectly coloured output face colours. EDIT: Or maybe not: this output is inconsistent. Sometimes all three verts are same colour and other times, I get this lol. ghci> canvasLoop [Just (VertexColour {r = 131, g = 191, b = 83, a = 255}),Just (VertexColour {r = 204, g = 226, b = 140, a = 255}),Just (VertexColour {r = 114, g = 205, b = 169, a = 255})] [Just (VertexColour {r = 223, g = 67, b = 147, a = 255}),Just (VertexColour {r = 49, g = 228, b = 23, a = 255}),Just (VertexColour {r = 9, g = 62, b = 174, a = 255})] [Just (VertexColour {r = 161, g = 94, b = 184, a = 255}),Just (VertexColour {r = 227, g = 206, b = 146, a = 255}),Just (VertexColour {r = 138, g = 6, b = 29, a = 255})] [Just (VertexColour {r = 255, g = 187, b = 217, a = 255}),Just (VertexColour {r = 140, g = 55, b = 221, a = 255}),Just (VertexColour {r = 182, g = 113, b = 167, a = 255})] [Just (VertexColour {r = 44, g = 213, b = 17, a = 255}),Just (VertexColour {r = 180, g = 135, b = 37, a = 255}),Just (VertexColour {r = 25, g = 189, b = 69, a = 255})] [Just (VertexColour {r = 39, g = 6, b = 180, a = 255}),Just (VertexColour {r = 11, g = 1, b = 24, a = 255}),Just (VertexColour {r = 69, g = 88, b = 6, a = 255})] [Just (VertexColour {r = 92, g = 64, b = 121, a = 255}),Just (VertexColour {r = 64, g = 160, b = 76, a = 255}),Just (VertexColour {r = 239, g = 17, b = 85, a = 255})] [Just (VertexColour {r = 28, g = 156, b = 188, a = 255}),Just (VertexColour {r = 28, g = 200, b = 218, a = 255}),Just (VertexColour {r = 30, g = 232, b = 153, a = 255})] If I `cabal install` followed by executing the binary, all vertices on every face get set to the same colour: $ game-engine +RTS -s -N8 [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] [Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255}),Just (VertexColour {r = 136, g = 243, b = 159, a = 255})] The only thing I can think of doing at this point is lifting all of the `Shader` types to be in `IO` and everything that interacts with the shader pipeline to also be in `IO`but I’m wondering if there is any other approach that could be worth trying.
discourse.haskell.org
April 7, 2026 at 10:37 AM
algoristo.bsky.social
More wriggling motions in the plasma-globe-inspired demo. I also added periodic resets to further mess things up.

#plasmaglobe #plasma #particlesimulation #pythoncode #opengl #vertexshader #algorithmicart #algorist #creativecoding #artxcode #computerart #ittaide #kuavataide #iterati
March 26, 2026 at 10:48 PM
oyin.bo
Playing with shaders in Mocku.me/nt

🅼 tty.wtf#%23+THREE.js...
import * as THREE from 'three'; const camera = new THREE.OrthographicCamera(- 1, 1, 1, - 1, 0, 1); const scene = new THREE.Scene(); const geometry = new THREE.PlaneGeometry(2, 2); const uniforms = { time: { value: 1.0 } }; const material = new THREE.ShaderMaterial({ uniforms, vertexShader, fragmentShader }); const mesh = new THREE.Mesh(geometry, material); scene.add(mesh); const renderer = new THREE.WebGLRenderer(); renderer.setPixelRatio(window.devicePixelRatio); renderer.setSize(Math.min(1000, screen.width / 2), screen.height / 3); renderer.setAnimationLoop(() => { uniforms['time'].value = performance.now() / 2000; renderer.render(scene, camera); }); renderer.domElement
January 10, 2025 at 11:25 PM
vertexshader.bsky.social
Triangles and nothing else #genuary13 #genuary #threejs #creativecode #glsl #vertexshader #fragmentshader
January 14, 2025 at 8:41 AM
shots6448.bsky.social
glsl（vertexShader）練習
noiseを使ってposition.zを動かす！
threejs-vertex-noise.vercel.app
January 8, 2024 at 9:47 PM
texoport.in
a smol side quest never hurt anyone
code: const myVShader = VertexShader(function* () { const position = yield* glsl.attribute("position", glsl.types.vec3()) const mvpMatrix = yield* glsl.uniform("mvpMatrix", glsl.types.mat4()) const worldPos = yield* glsl.let( "worldPos", glsl.types.vec4(), glsl.mul(mvpMatrix, glsl.vec4(position, position, position, 1.0)) ) const scaledPos = yield* glsl.let( "scaledPos", glsl.types.vec4(), glsl.mul(worldPos, glsl.float(2.0)) ) yield* glsl.assign("gl_Position", scaledPos) }).compile() console.log(myVShader) --- output --- #version 100 attribute vec3 position; uniform mat4 mvpMatrix; void main() { vec4 worldPos = (mvpMatrix * vec4(position, position, position, 1.0)); vec4 scaledPos = (worldPos * 2.0); gl_Position = scaledPos; }
June 17, 2025 at 8:08 AM
li.tech.lgbt.ap.brid.gy
looking at psm it looks like it actually is vertexShader / fragmentShader as seperate files, except that vertexShader is always set and fragmentShader is always null :D

look its even like that in Sce.PlayStation.Core ... uuuuhgh

maybe its possible in some old version i dont know
June 19, 2026 at 4:31 AM
mmalex.bsky.social
yeah its pure C for the audio, come C'+' where its convenient in the ui. rendering wise, theres just one vertexshader/pixelshader pair: draws a 'fat line' with either rounded or squared end caps, and optionally with an SDF font texture mapped thru it :)
August 9, 2026 at 2:50 PM
natespilman.at
There's also the `vertexShader`, but that's just to set up the viewport.
November 15, 2024 at 5:44 AM
tacchann180cm.bsky.social
DeferredRenderingで使用してるカラーのgBuffuerがSkyBoxを描画すると上書きされてパイプラインの設定とか色々確認してたのに、犯人がSkyBox用のVertexShaderだった…
今までなんで大丈夫だったん？
October 19, 2024 at 9:25 AM