add example

flake.lock

@@ -5,11 +5,11 @@
         "nixpkgs-lib": "nixpkgs-lib"
       },
       "locked": {
-        "lastModified": 1767609335,
+        "lastModified": 1769996383,
-        "narHash": "sha256-feveD98mQpptwrAEggBQKJTYbvwwglSbOv53uCfH9PY=",
+        "narHash": "sha256-AnYjnFWgS49RlqX7LrC4uA+sCCDBj0Ry/WOJ5XWAsa0=",
         "owner": "hercules-ci",
         "repo": "flake-parts",
-        "rev": "250481aafeb741edfe23d29195671c19b36b6dca",
+        "rev": "57928607ea566b5db3ad13af0e57e921e6b12381",
         "type": "github"
       },
       "original": {
@@ -25,11 +25,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1769198512,
+        "lastModified": 1770911191,
-        "narHash": "sha256-ZsQm3CwvicJBv4CMJJzRkTcYYcrghqzVabL9IehNz9k=",
+        "narHash": "sha256-fePV3+4uHg1tQH83rUO/7gQOGexHdaxyVkO2X3HkOA0=",
         "owner": "well-typed",
         "repo": "hs-bindgen",
-        "rev": "f99ed4ddfc7808b3eb28bbf089612b6a52983685",
+        "rev": "087884c110948e7bd67bec0ae8004e5396f63241",
         "type": "github"
       },
       "original": {
@@ -41,27 +41,27 @@
     "libclang-bindings-src": {
       "flake": false,
       "locked": {
-        "lastModified": 1768982090,
+        "lastModified": 1770274896,
-        "narHash": "sha256-EgM9ZJvbM0+SQ8f9P27Rnx4dY8Q1fWtGVXsRl5f0Vfk=",
+        "narHash": "sha256-JnxJBo2L4URFD8JbpjnPG/ej/xKFe7y5ZpjnvIztwAM=",
         "owner": "well-typed",
         "repo": "libclang",
-        "rev": "27f20c2e320f779314175ee3e82072fec61b8391",
+        "rev": "155642a4a4a9f0414a058a8f08f39aa6c7bb57ed",
         "type": "github"
       },
       "original": {
         "owner": "well-typed",
         "repo": "libclang",
-        "rev": "27f20c2e320f779314175ee3e82072fec61b8391",
+        "rev": "155642a4a4a9f0414a058a8f08f39aa6c7bb57ed",
         "type": "github"
       }
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1767364772,
+        "lastModified": 1770169770,
-        "narHash": "sha256-fFUnEYMla8b7UKjijLnMe+oVFOz6HjijGGNS1l7dYaQ=",
+        "narHash": "sha256-awR8qIwJxJJiOmcEGgP2KUqYmHG4v/z8XpL9z8FnT1A=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "16c7794d0a28b5a37904d55bcca36003b9109aaa",
+        "rev": "aa290c9891fa4ebe88f8889e59633d20cc06a5f2",
         "type": "github"
       },
       "original": {
@@ -73,11 +73,11 @@
     },
     "nixpkgs-lib": {
       "locked": {
-        "lastModified": 1765674936,
+        "lastModified": 1769909678,
-        "narHash": "sha256-k00uTP4JNfmejrCLJOwdObYC9jHRrr/5M/a/8L2EIdo=",
+        "narHash": "sha256-cBEymOf4/o3FD5AZnzC3J9hLbiZ+QDT/KDuyHXVJOpM=",
         "owner": "nix-community",
         "repo": "nixpkgs.lib",
-        "rev": "2075416fcb47225d9b68ac469a5c4801a9c4dd85",
+        "rev": "72716169fe93074c333e8d0173151350670b824c",
         "type": "github"
       },
       "original": {
@@ -88,11 +88,11 @@
     },
     "nixpkgs_2": {
       "locked": {
-        "lastModified": 1765772535,
+        "lastModified": 1770843696,
-        "narHash": "sha256-aq+dQoaPONOSjtFIBnAXseDm9TUhIbe215TPmkfMYww=",
+        "narHash": "sha256-LovWTGDwXhkfCOmbgLVA10bvsi/P8eDDpRudgk68HA8=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "09b8fda8959d761445f12b55f380d90375a1d6bb",
+        "rev": "2343bbb58f99267223bc2aac4fc9ea301a155a16",
         "type": "github"
       },
       "original": {

flake.nix

@@ -10,52 +10,6 @@
     self,
     ...
   }: let
-    version = "0.1.0";
-    package = {
-      # nix stuff
-      mkDerivation,
-      lib,
-      # haskell deps
-      base,
-      c-expr-runtime,
-      hs-bindgen-runtime,
-      # pkgconfig deps
-      libGL,
-      libX11,
-      libXcursor,
-      libXi,
-      xrandr,
-      # shell deps
-      clang,
-      hs-bindgen-cli,
-      tree,
-    }:
-      mkDerivation {
-        pname = "hs-rgfw";
-        inherit version;
-        src = ./.;
-        libraryHaskellDepends = [
-          base
-          c-expr-runtime
-          hs-bindgen-runtime
-        ];
-        libraryPkgconfigDepends = [
-          libGL
-          libX11
-          libXcursor
-          libXi
-          xrandr
-        ];
-        preConfigure = ''
-          set -x
-          export PATH=${clang}/bin:${hs-bindgen-cli}/bin:${tree}/bin:$PATH
-          ./generate.sh
-          set +x
-        '';
-        homepage = "https://git.mtgmonkey.net/Andromeda/hs-rgfw";
-        license = lib.licenses.gpl3Only;
-        platforms = ["x86_64-linux"];
-      };
     system = "x86_64-linux";
     pkgs = import nixpkgs {
       inherit system;
@@ -69,6 +23,8 @@
       default = pkgs.mkShell {
         stdenv = pkgs.clangStdenv;
         packages = [
+          pkgs.haskellPackages.ghcide
+          pkgs.haskellPackages.ormolu
           pkgs.clang
           pkgs.cabal-install
           pkgs.hs-bindgen-cli
@@ -80,7 +36,18 @@
       };
     };
     packages.${system} = {
-      default = pkgs.haskellPackages.callPackage package {};
+      default =
+        (pkgs.haskell.packages.ghc912.callCabal2nix "hs-rgfw" ./. {
+          xi = pkgs.libxi;
+          gl = pkgs.libGL;
+          xcursor = pkgs.libxcursor;
+          xrandr = pkgs.xrandr;
+        }).overrideAttrs {
+          preConfigure = ''
+            export PATH=${pkgs.clang}/bin:${pkgs.hs-bindgen-cli}/bin:${pkgs.tree}/bin:$PATH
+            ./generate.sh
+          '';
+        };
     };
   };
 }

generate.sh

@@ -1,4 +1,3 @@
-set -x
 echo "# copying header..."
 
 mkdir -p lib/include
@@ -19,33 +18,32 @@ done
 
 echo "# creating c file from header..."
 
+# other macro definitions should be defined with ghc-options: -copt-D in *.cabal
 cat > lib/RGFW.c <<EOF
 #define RGFW_IMPLEMENTATION
-#define RGFW_OPENGL
-#define RGFW_EXPORT
 #include "RGFW.h"
 EOF
 
-echo "# creating c object file..."
-
-clang -c lib/RGFW.c -o lib/RGFW.o $CFLAGS -Ilib/include
-
 echo "# generating library RGFW.Generated..."
 
+#  --unsafe _unsafe \
+#  --pointer _pointer \
+set -x
 hs-bindgen-cli preprocess \
   -Ilib/include \
-  --parse-from-main-header-dirs \
+  --unique-id andromeda.hs-rgfw \
   --create-output-dirs \
   --overwrite-files \
+  --single-file \
+  --safe _safe \
   --hs-output-dir lib \
   --module RGFW.Generated \
   --define-macro=RGFW_OPENGL \
   --define-macro=RGFW_EXPORT \
-  --define-macro=RGFW_IMPLEMENTATION \
   $HBC_ARGS \
   RGFW.h
-
-echo "# file tree generated:"
-tree lib
-
 set +x
+
+echo "# generated filetree:"
+
+tree lib

hs-rgfw.cabal

@@ -8,22 +8,12 @@ maintainer: Matrix @andromeda:tchncs.de
 build-type: Simple
 extra-doc-files: README.md
 common warnings
-  ghc-options:
+  ghc-options: -Wall
-    -Wall
-    -DRGFW_IMPLEMENTATION
-    -DRGFW_OPENGL
-    -- the following irresponsibly copy-pasted from `nix develop --command "pkg-config --libs --cflags <lots of things>`
-    -I/nix/store/b608h3ylrhrwpi9bc0y0014jf7j03pzl-libglvnd-1.7.0-dev/include -I/nix/store/sbhg4bnrg0l22936dbwrnl33vzd3kcmf-libx11-1.8.12-dev/include -I/nix/store/l7mab2s2kjsz2pz8dfgvh39af7w7gji1-xorgproto-2024.1/include -I/nix/store/7ys6dfy22hkm2bklwq7ll7pmby443fka-libxcursor-1.2.3-dev/include -I/nix/store/jb2w03lbwm7j01zn9qzcnnqcc1ca5dyj-libxi-1.8.2-dev/include -I/nix/store/1315vzcs2vm98pgsdzwsxm7i2mzjc0g7-libxext-1.3.6-dev/include -I/nix/store/vr2rj7zz28zvsnycx45kn6hhim0ky94z-libxfixes-6.0.2-dev/include -I/nix/store/wkrn5svcggds11pbkyjfka7b2i3wbmhj-libxrender-0.9.12-dev/include -I/nix/store/s7q5sdki2ax8gla778mbhddf5v9gk4vb-libxrandr-1.5.4-dev/include -L/nix/store/mm4v6w3wj8wi5qc6rwdrb2rkqs08whp9-libglvnd-1.7.0/lib -L/nix/store/ja09m2gfni7pqk4bsrhjb8y9cq74rspp-libx11-1.8.12/lib -L/nix/store/ldl1g8r8jfhjv4asb7zkr7ljpgk7q6dv-libxcursor-1.2.3/lib -L/nix/store/xg9763xyrnkxhvqgvxdbfiwxnmz391rx-libxi-1.8.2/lib -L/nix/store/55071y2xjibw8f317scvlg788w31k7k8-libxext-1.3.6/lib -L/nix/store/i6mb757zbagjs50kh7n9sk51f7wsr5f3-libxfixes-6.0.2/lib -L/nix/store/dgjd3hf8ny62vbjg10w64x4jwm7cv81k-libxrender-0.9.12/lib -L/nix/store/llr8wn0a3q8vfrg6i7vr2l2k66izm56a-libxrandr-1.5.4/lib -lXcursor -lXrandr -lXi -lGL -lXrender -lX11 -lXext -lXfixes
-    lib/RGFW.c
-    -fPIC
 
 library
   import: warnings
-  exposed-modules:
+  -- hs-bindgen-cli uses --single-file flag, so no other modules
-    , RGFW.Generated
+  exposed-modules: RGFW.Generated
-    , RGFW.Generated.FunPtr
-    , RGFW.Generated.Safe
-    , RGFW.Generated.Unsafe
   build-depends:
     , base
     , primitive
@@ -39,6 +29,10 @@ library
   hs-source-dirs: lib
   default-language: Haskell2010
   default-extensions: FlexibleInstances
+  -- options for RGFW passed here
+  ghc-options:
+    -optc-DRGFW_OPENGL
+    -optc-DRGFW_EXPORT
   c-sources: lib/RGFW.c
 
 executable hs-rgfw
@@ -46,9 +40,11 @@ executable hs-rgfw
   main-is: Main.hs
   build-depends:
     , base
-    , hs-rgfw
+    , bytestring
     , c-expr-runtime
     , hs-bindgen-runtime
+    , hs-rgfw
+    , OpenGL
   pkgconfig-depends:
     , gl
     , x11

src/LoadShaders.hs

@@ -0,0 +1,91 @@
+--------------------------------------------------------------------------------
+
+--------------------------------------------------------------------------------
+
+-- |
+-- Module      :  LoadShaders
+-- Copyright   :  (c) Sven Panne 2013
+-- License     :  BSD3
+--
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- Utilities for shader handling, adapted from LoadShaders.cpp which is (c) The
+-- Red Book Authors.
+module LoadShaders
+  ( ShaderSource (..),
+    ShaderInfo (..),
+    loadShaders,
+  )
+where
+
+import Control.Exception
+import Control.Monad
+import qualified Data.ByteString as B
+import Graphics.Rendering.OpenGL
+
+--------------------------------------------------------------------------------
+
+-- | The source of the shader source code.
+data ShaderSource
+  = -- | The shader source code is directly given as a 'B.ByteString'.
+    ByteStringSource B.ByteString
+  | -- | The shader source code is directly given as a 'String'.
+    StringSource String
+  | -- | The shader source code is located in the file at the given 'FilePath'.
+    FileSource FilePath
+  deriving (Eq, Ord, Show)
+
+getSource :: ShaderSource -> IO B.ByteString
+getSource (ByteStringSource bs) = return bs
+getSource (StringSource str) = return $ packUtf8 str
+getSource (FileSource path) = B.readFile path
+
+--------------------------------------------------------------------------------
+
+-- | A description of a shader: The type of the shader plus its source code.
+data ShaderInfo
+  = ShaderInfo ShaderType ShaderSource
+  deriving (Eq, Ord, Show)
+
+--------------------------------------------------------------------------------
+
+-- | Create a new program object from the given shaders, throwing an
+-- 'IOException' if something goes wrong.
+loadShaders :: [ShaderInfo] -> IO Program
+loadShaders infos =
+  createProgram `bracketOnError` deleteObjectName $ \program -> do
+    loadCompileAttach program infos
+    linkAndCheck program
+    return program
+
+linkAndCheck :: Program -> IO ()
+linkAndCheck = checked linkProgram linkStatus programInfoLog "link"
+
+loadCompileAttach :: Program -> [ShaderInfo] -> IO ()
+loadCompileAttach _ [] = return ()
+loadCompileAttach program (ShaderInfo shType source : infos) =
+  createShader shType `bracketOnError` deleteObjectName $ \shader -> do
+    src <- getSource source
+    shaderSourceBS shader $= src
+    compileAndCheck shader
+    attachShader program shader
+    loadCompileAttach program infos
+
+compileAndCheck :: Shader -> IO ()
+compileAndCheck = checked compileShader compileStatus shaderInfoLog "compile"
+
+checked ::
+  (t -> IO ()) ->
+  (t -> GettableStateVar Bool) ->
+  (t -> GettableStateVar String) ->
+  String ->
+  t ->
+  IO ()
+checked action getStatus getInfoLog message object = do
+  action object
+  ok <- get (getStatus object)
+  unless ok $ do
+    infoLog <- get (getInfoLog object)
+    fail (message ++ " log: " ++ infoLog)

src/Main.hs

@@ -1,10 +1,89 @@
+{-# LANGUAGE MultilineStrings #-}
+
 module Main where
 
-import qualified Foreign.Ptr (ToFunPtr)
+import Data.Bits ((.|.))
-
+import Foreign.C.ConstPtr
-import qualified RGFW.Generated as RGFW
+import Foreign.C.String (newCString)
+import Foreign.C.Types (CChar)
+import Foreign.Ptr (Ptr)
+import Graphics.Rendering.OpenGL (($=))
+import qualified Graphics.Rendering.OpenGL as GL
+import LoadShaders
+import RGFW.Generated
 
 main :: IO ()
 main = do
-  putStrLn "Hello World"
+  putStrInfo "creating window"
-  window <- toFunPtr ()
+  -- string not freed; window remains open
+  windowTitle_cstr <- newCString "window"
+  let windowTitle_ptr = ConstPtr windowTitle_cstr
+      windowFlags = RGFW_windowFlags $ fromIntegral $ RGFW_windowCenter .|. RGFW_windowNoResize .|. RGFW_windowOpenGL
+
+  window <-
+    rGFW_createWindow_safe
+      windowTitle_ptr -- name
+      0 -- x
+      0 -- y
+      300 -- w
+      300 -- h
+      windowFlags -- flags
+  putStrDebug $ "windowFlags: " ++ (show $ unwrapU32 $ unwrapRGFW_windowFlags windowFlags)
+  putStrDebug $ "window: " ++ (show $ window)
+  putStrInfo "initialising shaders"
+  _ <- initResources
+  putStrInfo "entering loop"
+  loop window 0
+
+loop :: Ptr RGFW_window -> Int -> IO ()
+loop window i = do
+  view
+  rGFW_window_swapBuffers_OpenGL_safe window
+  loop window $ i + 1
+
+putStrDebug :: String -> IO ()
+putStrDebug a = putStrLn $ "[debug]:" ++ a
+
+putStrInfo :: String -> IO ()
+putStrInfo a = putStrLn $ "[info]:" ++ a
+
+initResources :: IO GL.Program
+initResources = do
+  program <-
+    loadShaders
+      [ ShaderInfo GL.VertexShader $ StringSource vertShader,
+        ShaderInfo GL.FragmentShader $ StringSource fragShader
+      ]
+  GL.currentProgram $= Just program
+  return program
+  where
+    vertShader =
+      """
+      #version 330 core
+      layout (location = 0) in vec3 aPos;
+
+      out vec4 vertexColor;
+
+      void main()
+      {
+        gl_Position = vec4(aPos, 1.0);
+        vertexColor = vec4(0.5, 0.0, 0.0, 1.0);
+      }
+      """
+    fragShader =
+      """
+      #version 330 core
+      out vec4 FragColor;
+
+      in vec4 vertexColor;
+
+      void main()
+      {
+        FragColor = vertexColor;
+      }
+      """
+
+view :: IO ()
+view = do
+  GL.clearColor $= GL.Color4 1 0 1 1
+  GL.clear [GL.ColorBuffer, GL.DepthBuffer]