Move Haskell package to top level

cabal.project

@@ -1,4 +1,27 @@
-packages: haskell
+packages: .
+
+-- TODO a total hack
+package garnet
+  extra-lib-dirs:
+    /home/gthomas/code/garnet/rust/target/release
+    /home/gthomas/code/garnet/rust/target/debug
+  extra-include-dirs:
+    /home/gthomas/code/garnet/rust
+
+-- https://well-typed.com/blog/2026/02/hs-bindgen-alpha
+-- Haskell.nix doesn't seem to like `tag: release-0.1-alpha`, which the blog post suggests
+-- so we specify the equivalent commit SHAs manually instead
+source-repository-package
+  type: git
+  location: https://github.com/well-typed/hs-bindgen
+  tag: e2a9260678d9fa76dab602a5a07927acada3be4f
+  subdir: c-expr-dsl c-expr-runtime hs-bindgen-runtime
+  --sha256: 0nrs3iq0l5ha5kxyhqnlmvgi7734pmzyp3zf7p8s1gb21ylh4sy0
+source-repository-package
+  type: git
+  location: https://github.com/well-typed/libclang
+  tag: b5ff712c91c039cde6720ffe2096a121d9f4d802
+  --sha256: 1lwjdxd2ahhkvyxrpli7z9z7ss4l94m2jaif8kg1i2yygbhksrb3
 
 allow-newer:
   *:base,

exe/GarnetRs/Wrapped.hs

@@ -0,0 +1,41 @@
+-- TODO automate this sort of high level wrapper boilerplate
+-- or look at upstream plans: https://github.com/well-typed/hs-bindgen/issues?q=state%3Aopen%20label%3A%22highlevel%22
+module GarnetRs.Wrapped (
+    T (..),
+    Shape (..),
+    hello,
+    helloStruct,
+    helloShape,
+) where
+
+import Data.ByteString
+import Data.Word
+import Foreign
+import Foreign.C
+import GarnetRs qualified as Raw
+import GarnetRs.Safe qualified as Raw
+import HsBindgen.Runtime.PtrConst
+
+data T = T
+    { a :: Bool
+    , b :: Word8
+    }
+convertT :: T -> Raw.T
+convertT T{a, b} = Raw.T{a = CBool $ fromBool a, b}
+
+data Shape
+    = Circle CDouble
+    | Rectangle CDouble CDouble
+convertShape :: Shape -> Raw.Shape
+convertShape = \case
+    Circle r -> Raw.Shape (Raw.Shape_Tag 0) $ Raw.set_shape_body_circle $ Raw.Circle_Body r
+    Rectangle w h -> Raw.Shape (Raw.Shape_Tag 1) $ Raw.set_shape_body_rectangle $ Raw.Rectangle_Body w h
+
+hello :: ByteString -> IO ()
+hello s = useAsCString s $ Raw.hello . unsafeFromPtr
+
+helloStruct :: T -> IO ()
+helloStruct = Raw.hello_struct . convertT
+
+helloShape :: Shape -> IO ()
+helloShape = Raw.hello_shape . convertShape

exe/Main.hs

@@ -0,0 +1,11 @@
+module Main (main) where
+
+import GarnetRs.Wrapped
+
+main :: IO ()
+main = do
+    hello "Haskell"
+    helloStruct T{a = True, b = 42}
+    helloStruct T{a = False, b = maxBound}
+    helloShape $ Circle 3.14
+    helloShape $ Rectangle 10.0 5.0

flake.lock

@@ -85,11 +85,11 @@
     },
     "crane": {
       "locked": {
-        "lastModified": 1771121070,
+        "lastModified": 1771438068,
-        "narHash": "sha256-aIlv7FRXF9q70DNJPI237dEDAznSKaXmL5lfK/Id/bI=",
+        "narHash": "sha256-nGBbXvEZVe/egCPVPFcu89RFtd8Rf6J+4RFoVCFec0A=",
         "owner": "ipetkov",
         "repo": "crane",
-        "rev": "a2812c19f1ed2e5ed5ce2ef7109798b575c180e1",
+        "rev": "b5090e53e9d68c523a4bb9ad42b4737ee6747597",
         "type": "github"
       },
       "original": {
@@ -115,6 +115,24 @@
         "type": "github"
       }
     },
+    "flake-parts": {
+      "inputs": {
+        "nixpkgs-lib": "nixpkgs-lib"
+      },
+      "locked": {
+        "lastModified": 1769996383,
+        "narHash": "sha256-AnYjnFWgS49RlqX7LrC4uA+sCCDBj0Ry/WOJ5XWAsa0=",
+        "owner": "hercules-ci",
+        "repo": "flake-parts",
+        "rev": "57928607ea566b5db3ad13af0e57e921e6b12381",
+        "type": "github"
+      },
+      "original": {
+        "owner": "hercules-ci",
+        "repo": "flake-parts",
+        "type": "github"
+      }
+    },
     "flake-utils": {
       "inputs": {
         "systems": "systems"
@@ -136,11 +154,11 @@
     "hackage": {
       "flake": false,
       "locked": {
-        "lastModified": 1771289625,
+        "lastModified": 1771461386,
-        "narHash": "sha256-ySABvJf2NaxGc1mPSkwKjC8So9S906UgOYZVzX35Ng8=",
+        "narHash": "sha256-93hCxhNOq9/HAggfTTurLhllI0IiEWZ35jk6i/X/qEo=",
         "owner": "input-output-hk",
         "repo": "hackage.nix",
-        "rev": "808af568b7e14e1eced115e65825d2f50a608008",
+        "rev": "b4f4537825a4db29c10541a50d7eb6c848bf0dca",
         "type": "github"
       },
       "original": {
@@ -152,11 +170,11 @@
     "hackage-for-stackage": {
       "flake": false,
       "locked": {
-        "lastModified": 1771288450,
+        "lastModified": 1771461376,
-        "narHash": "sha256-2tCS6CXMHPo4Jsh4JopbYBoQXnTTp8MdZVAqPVmOIq4=",
+        "narHash": "sha256-aEuZkBpTaU0XBFiaIomicJDoWQaw84rYfKXI/r17V/w=",
         "owner": "input-output-hk",
         "repo": "hackage.nix",
-        "rev": "3049efd880816a3bb98b7b5fb4062045fcddd474",
+        "rev": "ca611068e77f15b96ecf71fae827e491c0b2dc3b",
         "type": "github"
       },
       "original": {
@@ -182,7 +200,7 @@
         "type": "github"
       }
     },
-    "haskellNix": {
+    "haskell-nix": {
       "inputs": {
         "HTTP": "HTTP",
         "cabal-32": "cabal-32",
@@ -210,7 +228,7 @@
         "hpc-coveralls": "hpc-coveralls",
         "iserv-proxy": "iserv-proxy",
         "nixpkgs": [
-          "haskellNix",
+          "haskell-nix",
           "nixpkgs-unstable"
         ],
         "nixpkgs-2305": "nixpkgs-2305",
@@ -224,11 +242,11 @@
         "stackage": "stackage"
       },
       "locked": {
-        "lastModified": 1771289806,
+        "lastModified": 1771462666,
-        "narHash": "sha256-s60Kb3cYr0t6LDQ/LmJr5vQN8Z4IY1Vfwq2keZW0VOM=",
+        "narHash": "sha256-z+pJFzbYa1ulNDUZdb0qLVVAdE0dqpnE51jqh2chA7c=",
         "owner": "input-output-hk",
         "repo": "haskell.nix",
-        "rev": "3331ba591ae02a41c638aeb6bea91d268b34cf8e",
+        "rev": "857ba7b65d9c1a8765ad1599834a8fe71cb09981",
         "type": "github"
       },
       "original": {
@@ -507,6 +525,27 @@
         "type": "github"
       }
     },
+    "hs-bindgen": {
+      "inputs": {
+        "flake-parts": "flake-parts",
+        "libclang-bindings-src": "libclang-bindings-src",
+        "nixpkgs": "nixpkgs"
+      },
+      "locked": {
+        "lastModified": 1770394582,
+        "narHash": "sha256-erbj5xqqJ/M0c99G0vjZvJtvoxYJ1PG7DDkw15MVLK8=",
+        "owner": "well-typed",
+        "repo": "hs-bindgen",
+        "rev": "e2a9260678d9fa76dab602a5a07927acada3be4f",
+        "type": "github"
+      },
+      "original": {
+        "owner": "well-typed",
+        "ref": "release-0.1-alpha",
+        "repo": "hs-bindgen",
+        "type": "github"
+      }
+    },
     "iserv-proxy": {
       "flake": false,
       "locked": {
@@ -524,6 +563,39 @@
         "type": "github"
       }
     },
+    "libclang-bindings-src": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1770274896,
+        "narHash": "sha256-JnxJBo2L4URFD8JbpjnPG/ej/xKFe7y5ZpjnvIztwAM=",
+        "owner": "well-typed",
+        "repo": "libclang",
+        "rev": "155642a4a4a9f0414a058a8f08f39aa6c7bb57ed",
+        "type": "github"
+      },
+      "original": {
+        "owner": "well-typed",
+        "repo": "libclang",
+        "rev": "155642a4a4a9f0414a058a8f08f39aa6c7bb57ed",
+        "type": "github"
+      }
+    },
+    "nixpkgs": {
+      "locked": {
+        "lastModified": 1770169770,
+        "narHash": "sha256-awR8qIwJxJJiOmcEGgP2KUqYmHG4v/z8XpL9z8FnT1A=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "aa290c9891fa4ebe88f8889e59633d20cc06a5f2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "nixpkgs-2305": {
       "locked": {
         "lastModified": 1705033721,
@@ -620,6 +692,21 @@
         "type": "github"
       }
     },
+    "nixpkgs-lib": {
+      "locked": {
+        "lastModified": 1769909678,
+        "narHash": "sha256-cBEymOf4/o3FD5AZnzC3J9hLbiZ+QDT/KDuyHXVJOpM=",
+        "owner": "nix-community",
+        "repo": "nixpkgs.lib",
+        "rev": "72716169fe93074c333e8d0173151350670b824c",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-community",
+        "repo": "nixpkgs.lib",
+        "type": "github"
+      }
+    },
     "nixpkgs-unstable": {
       "locked": {
         "lastModified": 1764587062,
@@ -657,10 +744,11 @@
       "inputs": {
         "crane": "crane",
         "flake-utils": "flake-utils",
-        "haskellNix": "haskellNix",
+        "haskell-nix": "haskell-nix",
         "hls-2-13": "hls-2-13",
+        "hs-bindgen": "hs-bindgen",
         "nixpkgs": [
-          "haskellNix",
+          "haskell-nix",
           "nixpkgs-2511"
         ],
         "rust-overlay": "rust-overlay"
@@ -673,11 +761,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1771297684,
+        "lastModified": 1771470520,
-        "narHash": "sha256-wieWskQxZLPlNXX06JEB0bMoS/ZYQ89xBzF0RL9lyLs=",
+        "narHash": "sha256-PvytHcaYN5cPUll7FB70mXv1rRsIBRmu47fFfq3haxA=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "755d3669699a7c62aef35af187d75dc2728cfd85",
+        "rev": "a1d4cc1f264c45d3745af0d2ca5e59d460e58777",
         "type": "github"
       },
       "original": {
@@ -689,11 +777,11 @@
     "stackage": {
       "flake": false,
       "locked": {
-        "lastModified": 1771287554,
+        "lastModified": 1771460325,
-        "narHash": "sha256-76Kd5c2D4O8yL48eAejlGZlpQ/Exxnsz3V7qW+RkFzE=",
+        "narHash": "sha256-RRsGO7QVyuBtUTVqDiB7CYvFruj0Z/yxZK1JarkTqI4=",
         "owner": "input-output-hk",
         "repo": "stackage.nix",
-        "rev": "e62b9d6269c6abfd8b976826da0dcc37f0a57010",
+        "rev": "29c0dcc517e04be238023064412312ad4443ddb2",
         "type": "github"
       },
       "original": {

flake.nix

@@ -1,28 +1,22 @@
 {
   inputs = {
-    haskellNix.url = "github:input-output-hk/haskell.nix";
+    haskell-nix.url = "github:input-output-hk/haskell.nix";
     hls-2-13 = { url = "github:haskell/haskell-language-server/2.13.0.0"; flake = false; };
-    nixpkgs.follows = "haskellNix/nixpkgs-2511";
+    nixpkgs.follows = "haskell-nix/nixpkgs-2511";
     flake-utils.url = "github:numtide/flake-utils";
     crane.url = "github:ipetkov/crane";
     rust-overlay = {
       url = "github:oxalica/rust-overlay";
       inputs.nixpkgs.follows = "nixpkgs";
     };
+    hs-bindgen.url = "github:well-typed/hs-bindgen/release-0.1-alpha";
   };
   outputs =
-    { self
+    inputs@{ nixpkgs, ... }:
-    , nixpkgs
+    inputs.flake-utils.lib.eachSystem [ "x86_64-linux" ] (system:
-    , flake-utils
-    , haskellNix
-    , hls-2-13
-    , crane
-    , rust-overlay
-    }:
-    flake-utils.lib.eachSystem [ "x86_64-linux" ] (system:
     let
       overlays = [
-        haskellNix.overlay
+        inputs.haskell-nix.overlay
         (final: _prev: {
           hixProject =
             final.haskell-nix.hix.project {
@@ -33,18 +27,18 @@
               shell.tools.cabal = "latest";
               shell.withHoogle = false;
               shell.tools.haskell-language-server = {
-                src = hls-2-13;
+                src = inputs.hls-2-13;
                 sha256map = {
                   "https://github.com/snowleopard/alga"."d4e43fb42db05413459fb2df493361d5a666588a" = "0s1mlnl64wj7pkg3iipv5bb4syy3bhxwqzqv93zqlvkyfn64015i";
                 };
               };
             };
         })
-        (import rust-overlay)
+        (import inputs.rust-overlay)
       ];
-      pkgs = import nixpkgs { inherit system overlays; inherit (haskellNix) config; };
+      pkgs = import nixpkgs { inherit system overlays; inherit (inputs.haskell-nix) config; };
       haskell = pkgs.hixProject.flake { };
-      rust = (crane.mkLib pkgs).overrideToolchain (p: p.rust-bin.selectLatestNightlyWith (
+      rust = (inputs.crane.mkLib pkgs).overrideToolchain (p: p.rust-bin.selectLatestNightlyWith (
         toolchain: toolchain.default.override {
           extensions = [ "rust-src" ];
           targets = [ "x86_64-unknown-linux-gnu" ];
@@ -60,9 +54,10 @@
         packages = with pkgs; [
           bacon
           ghcid
+          inputs.hs-bindgen.packages.${system}.hs-bindgen-cli
           rust-analyzer
+          rust-cbindgen
         ];
       };
-    }
+    });
-    );
 }

garnet.cabal

@@ -7,8 +7,24 @@ maintainer:
     george.thomas@obsidian.systems
     patrick.aldis@obsidian.systems
 
+library garnet-generated
+    hs-source-dirs: generated
+    exposed-modules:
+        GarnetRs
+        GarnetRs.Safe
+        GarnetRs.Unsafe
+        GarnetRs.FunPtr
+    default-language: Haskell2010
+    extra-bundled-libraries: garnet_rs
+    build-depends:
+        base,
+        hs-bindgen-runtime,
+        primitive,
+
 executable garnet
     main-is: Main.hs
+    other-modules:
+        GarnetRs.Wrapped
     hs-source-dirs: exe
     default-language: GHC2024
     default-extensions:
@@ -32,11 +48,8 @@ executable garnet
         -threaded
         -rtsopts
         -with-rtsopts=-N
-    extra-lib-dirs:
-        -- TODO referring to parent triggers warning - maybe put Rust stuff in subdir
-        -- TODO bit weird to have both of these, but it's what the `cargo-cabal` setup script did
-        ../rust/target/release
-        ../rust/target/debug
-    extra-bundled-libraries: garnet_rs
     build-depends:
         base >= 4.14,
+        bytestring,
+        garnet-generated,
+        hs-bindgen-runtime,

generate-bindings

@@ -0,0 +1,127 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+# TODO this is a complete vibe-coded hack, but the header patching at least is crucial
+
+# Generate Haskell FFI bindings from Rust source code.
+#
+# Pipeline: cargo build -> cbindgen -> patch header -> hs-bindgen
+#
+# Prerequisites: run inside the Nix dev shell (provides gcc, cabal, cbindgen, hs-bindgen-cli).
+
+SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
+RUST_DIR="$SCRIPT_DIR/rust"
+HASKELL_DIR="$SCRIPT_DIR"
+HEADER_NAME="garnet_rs.h"
+HEADER="$RUST_DIR/$HEADER_NAME"
+
+# --- Step 1: Build Rust static library ---
+echo "=== Building Rust library ==="
+cargo build --manifest-path "$RUST_DIR/Cargo.toml"
+
+# --- Step 2: Generate C header with cbindgen ---
+echo "=== Running cbindgen ==="
+cbindgen \
+  --lang c \
+  --crate garnet-rs \
+  --output "$HEADER" \
+  "$RUST_DIR"
+
+echo "  Raw header written to $HEADER"
+
+# --- Step 3: Patch the header for hs-bindgen compatibility ---
+echo "=== Patching header ==="
+
+# Two patches are needed:
+#
+# Patch 1: Replace cbindgen's enum pattern with typedef + #defines.
+#   cbindgen emits:  enum Shape_Tag { Circle, Rectangle, }; typedef uint8_t Shape_Tag;
+#   hs-bindgen needs: typedef uint8_t Shape_Tag; #define Circle 0 ...
+#
+# Patch 2: Name anonymous unions inside structs.
+#   cbindgen emits:  union { ... };
+#   hs-bindgen needs: union { ... } body;
+
+awk '
+# State machine for enum->typedef+define transformation
+/^enum [A-Za-z_][A-Za-z0-9_]* \{$/ {
+    in_enum = 1
+    enum_name = $2
+    variant_count = 0
+    delete variants
+    next
+}
+in_enum && /^\};$/ {
+    # Next line should be: typedef <type> <enum_name>;
+    in_enum = 0
+    pending_enum = 1
+    next
+}
+in_enum {
+    # Collect variant names (strip trailing comma and whitespace)
+    v = $0
+    gsub(/^[[:space:]]+/, "", v)
+    gsub(/,[[:space:]]*$/, "", v)
+    if (v != "") {
+        variants[variant_count] = v
+        variant_count++
+    }
+    next
+}
+pending_enum && /^typedef [A-Za-z0-9_]+ / {
+    # Emit: typedef <type> <name>; then #define for each variant
+    print $0
+    for (i = 0; i < variant_count; i++) {
+        printf "#define %s  %d\n", variants[i], i
+    }
+    pending_enum = 0
+    next
+}
+
+# Name anonymous unions: }; at end of union block inside struct -> } body;
+/^  \};$/ && saw_union {
+    print "  } body;"
+    saw_union = 0
+    next
+}
+/^  union \{$/ {
+    saw_union = 1
+}
+
+{ print }
+' "$HEADER" > "${HEADER}.tmp" && mv "${HEADER}.tmp" "$HEADER"
+
+echo "  Patched header at $HEADER"
+
+# --- Step 4: Derive system include paths for hs-bindgen's libclang ---
+echo "=== Detecting system include paths ==="
+
+# hs-bindgen uses libclang directly, which doesn't know about NixOS's
+# non-standard include locations. We extract them from cpp -v and pass
+# all of them — extra paths are harmless.
+CLANG_OPTIONS=()
+while IFS= read -r dir; do
+  CLANG_OPTIONS+=("--clang-option" "-isystem$dir")
+done < <(echo | cpp -v 2>&1 | awk '/#include <\.\.\.> search starts here:/{f=1;next}/End of search list/{f=0}f{gsub(/^ +/,"");print}')
+
+if [ ${#CLANG_OPTIONS[@]} -eq 0 ]; then
+  echo "  WARNING: No system include paths detected. hs-bindgen may fail."
+else
+  echo "  Found ${#CLANG_OPTIONS[@]} clang options:"
+  for ((i=0; i<${#CLANG_OPTIONS[@]}; i+=2)); do
+    echo "    ${CLANG_OPTIONS[i+1]}"
+  done
+fi
+
+# --- Step 5: Run hs-bindgen ---
+echo "=== Running hs-bindgen ==="
+hs-bindgen-cli preprocess \
+  --overwrite-files --create-output-dirs \
+  --unique-id com.garnet --enable-record-dot \
+  --hs-output-dir "$HASKELL_DIR/generated" --module GarnetRs \
+  "${CLANG_OPTIONS[@]}" \
+  -I "$RUST_DIR" "$HEADER_NAME"
+
+echo "=== Done ==="
+echo "Generated Haskell bindings in $HASKELL_DIR/generated/"
+echo "Run 'cabal run' to test."

generated/GarnetRs.hs

@@ -0,0 +1,476 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE DeriveGeneric #-}
+{-# LANGUAGE DerivingStrategies #-}
+{-# LANGUAGE DerivingVia #-}
+{-# LANGUAGE DuplicateRecordFields #-}
+{-# LANGUAGE ExplicitForAll #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE GeneralizedNewtypeDeriving #-}
+{-# LANGUAGE MagicHash #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE UnboxedTuples #-}
+{-# LANGUAGE UndecidableInstances #-}
+
+module GarnetRs where
+
+import qualified Data.Array.Byte
+import qualified Data.Bits as Bits
+import qualified Data.Ix as Ix
+import qualified Data.Primitive.Types
+import qualified Data.Proxy
+import qualified Foreign as F
+import qualified Foreign.C as FC
+import qualified GHC.Generics
+import qualified GHC.Ptr as Ptr
+import qualified GHC.Records
+import qualified HsBindgen.Runtime.HasCField
+import qualified HsBindgen.Runtime.Internal.Bitfield
+import qualified HsBindgen.Runtime.Internal.ByteArray
+import qualified HsBindgen.Runtime.Internal.HasFFIType
+import qualified HsBindgen.Runtime.Internal.SizedByteArray
+import qualified HsBindgen.Runtime.LibC
+import qualified HsBindgen.Runtime.Marshal
+import Data.Bits (FiniteBits)
+import HsBindgen.Runtime.Internal.TypeEquality (TyEq)
+import Prelude ((<*>), (>>), Bounded, Enum, Eq, Int, Integral, Num, Ord, Read, Real, Show, pure)
+
+{-| __C declaration:__ @struct T@
+
+    __defined at:__ @garnet_rs.h 6:16@
+
+    __exported by:__ @garnet_rs.h@
+-}
+data T = T
+  { a :: FC.CBool
+    {- ^ __C declaration:__ @a@
+
+         __defined at:__ @garnet_rs.h 7:8@
+
+         __exported by:__ @garnet_rs.h@
+    -}
+  , b :: HsBindgen.Runtime.LibC.Word8
+    {- ^ __C declaration:__ @b@
+
+         __defined at:__ @garnet_rs.h 8:11@
+
+         __exported by:__ @garnet_rs.h@
+    -}
+  }
+  deriving stock (GHC.Generics.Generic)
+  deriving stock (Eq, Show)
+
+instance HsBindgen.Runtime.Marshal.StaticSize T where
+
+  staticSizeOf = \_ -> (2 :: Int)
+
+  staticAlignment = \_ -> (1 :: Int)
+
+instance HsBindgen.Runtime.Marshal.ReadRaw T where
+
+  readRaw =
+    \ptr0 ->
+          pure T
+      <*> HsBindgen.Runtime.HasCField.readRaw (Data.Proxy.Proxy @"a") ptr0
+      <*> HsBindgen.Runtime.HasCField.readRaw (Data.Proxy.Proxy @"b") ptr0
+
+instance HsBindgen.Runtime.Marshal.WriteRaw T where
+
+  writeRaw =
+    \ptr0 ->
+      \s1 ->
+        case s1 of
+          T a2 b3 ->
+               HsBindgen.Runtime.HasCField.writeRaw (Data.Proxy.Proxy @"a") ptr0 a2
+            >> HsBindgen.Runtime.HasCField.writeRaw (Data.Proxy.Proxy @"b") ptr0 b3
+
+deriving via HsBindgen.Runtime.Marshal.EquivStorable T instance F.Storable T
+
+instance HsBindgen.Runtime.HasCField.HasCField T "a" where
+
+  type CFieldType T "a" = FC.CBool
+
+  offset# = \_ -> \_ -> 0
+
+instance ( TyEq ty ((HsBindgen.Runtime.HasCField.CFieldType T) "a")
+         ) => GHC.Records.HasField "a" (Ptr.Ptr T) (Ptr.Ptr ty) where
+
+  getField =
+    HsBindgen.Runtime.HasCField.fromPtr (Data.Proxy.Proxy @"a")
+
+instance HsBindgen.Runtime.HasCField.HasCField T "b" where
+
+  type CFieldType T "b" = HsBindgen.Runtime.LibC.Word8
+
+  offset# = \_ -> \_ -> 1
+
+instance ( TyEq ty ((HsBindgen.Runtime.HasCField.CFieldType T) "b")
+         ) => GHC.Records.HasField "b" (Ptr.Ptr T) (Ptr.Ptr ty) where
+
+  getField =
+    HsBindgen.Runtime.HasCField.fromPtr (Data.Proxy.Proxy @"b")
+
+{-| __C declaration:__ @Shape_Tag@
+
+    __defined at:__ @garnet_rs.h 11:17@
+
+    __exported by:__ @garnet_rs.h@
+-}
+newtype Shape_Tag = Shape_Tag
+  { unwrap :: HsBindgen.Runtime.LibC.Word8
+  }
+  deriving stock (GHC.Generics.Generic)
+  deriving stock (Eq, Ord, Read, Show)
+  deriving newtype
+    ( HsBindgen.Runtime.Marshal.StaticSize
+    , HsBindgen.Runtime.Marshal.ReadRaw
+    , HsBindgen.Runtime.Marshal.WriteRaw
+    , F.Storable
+    , HsBindgen.Runtime.Internal.HasFFIType.HasFFIType
+    , Data.Primitive.Types.Prim
+    , HsBindgen.Runtime.Internal.Bitfield.Bitfield
+    , Bits.Bits
+    , Bounded
+    , Enum
+    , FiniteBits
+    , Integral
+    , Ix.Ix
+    , Num
+    , Real
+    )
+
+instance ( TyEq ty ((HsBindgen.Runtime.HasCField.CFieldType Shape_Tag) "unwrap")
+         ) => GHC.Records.HasField "unwrap" (Ptr.Ptr Shape_Tag) (Ptr.Ptr ty) where
+
+  getField =
+    HsBindgen.Runtime.HasCField.fromPtr (Data.Proxy.Proxy @"unwrap")
+
+instance HsBindgen.Runtime.HasCField.HasCField Shape_Tag "unwrap" where
+
+  type CFieldType Shape_Tag "unwrap" =
+    HsBindgen.Runtime.LibC.Word8
+
+  offset# = \_ -> \_ -> 0
+
+{-| __C declaration:__ @Circle@
+
+    __defined at:__ @garnet_rs.h 12:9@
+
+    __exported by:__ @garnet_rs.h@
+-}
+circle :: FC.CInt
+circle = (0 :: FC.CInt)
+
+{-| __C declaration:__ @Rectangle@
+
+    __defined at:__ @garnet_rs.h 13:9@
+
+    __exported by:__ @garnet_rs.h@
+-}
+rectangle :: FC.CInt
+rectangle = (1 :: FC.CInt)
+
+{-| __C declaration:__ @struct Circle_Body@
+
+    __defined at:__ @garnet_rs.h 15:16@
+
+    __exported by:__ @garnet_rs.h@
+-}
+data Circle_Body = Circle_Body
+  { radius :: FC.CDouble
+    {- ^ __C declaration:__ @radius@
+
+         __defined at:__ @garnet_rs.h 16:10@
+
+         __exported by:__ @garnet_rs.h@
+    -}
+  }
+  deriving stock (GHC.Generics.Generic)
+  deriving stock (Eq, Show)
+
+instance HsBindgen.Runtime.Marshal.StaticSize Circle_Body where
+
+  staticSizeOf = \_ -> (8 :: Int)
+
+  staticAlignment = \_ -> (8 :: Int)
+
+instance HsBindgen.Runtime.Marshal.ReadRaw Circle_Body where
+
+  readRaw =
+    \ptr0 ->
+          pure Circle_Body
+      <*> HsBindgen.Runtime.HasCField.readRaw (Data.Proxy.Proxy @"radius") ptr0
+
+instance HsBindgen.Runtime.Marshal.WriteRaw Circle_Body where
+
+  writeRaw =
+    \ptr0 ->
+      \s1 ->
+        case s1 of
+          Circle_Body radius2 ->
+            HsBindgen.Runtime.HasCField.writeRaw (Data.Proxy.Proxy @"radius") ptr0 radius2
+
+deriving via HsBindgen.Runtime.Marshal.EquivStorable Circle_Body instance F.Storable Circle_Body
+
+instance HsBindgen.Runtime.HasCField.HasCField Circle_Body "radius" where
+
+  type CFieldType Circle_Body "radius" = FC.CDouble
+
+  offset# = \_ -> \_ -> 0
+
+instance ( TyEq ty ((HsBindgen.Runtime.HasCField.CFieldType Circle_Body) "radius")
+         ) => GHC.Records.HasField "radius" (Ptr.Ptr Circle_Body) (Ptr.Ptr ty) where
+
+  getField =
+    HsBindgen.Runtime.HasCField.fromPtr (Data.Proxy.Proxy @"radius")
+
+{-| __C declaration:__ @struct Rectangle_Body@
+
+    __defined at:__ @garnet_rs.h 19:16@
+
+    __exported by:__ @garnet_rs.h@
+-}
+data Rectangle_Body = Rectangle_Body
+  { width :: FC.CDouble
+    {- ^ __C declaration:__ @width@
+
+         __defined at:__ @garnet_rs.h 20:10@
+
+         __exported by:__ @garnet_rs.h@
+    -}
+  , height :: FC.CDouble
+    {- ^ __C declaration:__ @height@
+
+         __defined at:__ @garnet_rs.h 21:10@
+
+         __exported by:__ @garnet_rs.h@
+    -}
+  }
+  deriving stock (GHC.Generics.Generic)
+  deriving stock (Eq, Show)
+
+instance HsBindgen.Runtime.Marshal.StaticSize Rectangle_Body where
+
+  staticSizeOf = \_ -> (16 :: Int)
+
+  staticAlignment = \_ -> (8 :: Int)
+
+instance HsBindgen.Runtime.Marshal.ReadRaw Rectangle_Body where
+
+  readRaw =
+    \ptr0 ->
+          pure Rectangle_Body
+      <*> HsBindgen.Runtime.HasCField.readRaw (Data.Proxy.Proxy @"width") ptr0
+      <*> HsBindgen.Runtime.HasCField.readRaw (Data.Proxy.Proxy @"height") ptr0
+
+instance HsBindgen.Runtime.Marshal.WriteRaw Rectangle_Body where
+
+  writeRaw =
+    \ptr0 ->
+      \s1 ->
+        case s1 of
+          Rectangle_Body width2 height3 ->
+               HsBindgen.Runtime.HasCField.writeRaw (Data.Proxy.Proxy @"width") ptr0 width2
+            >> HsBindgen.Runtime.HasCField.writeRaw (Data.Proxy.Proxy @"height") ptr0 height3
+
+deriving via HsBindgen.Runtime.Marshal.EquivStorable Rectangle_Body instance F.Storable Rectangle_Body
+
+instance HsBindgen.Runtime.HasCField.HasCField Rectangle_Body "width" where
+
+  type CFieldType Rectangle_Body "width" = FC.CDouble
+
+  offset# = \_ -> \_ -> 0
+
+instance ( TyEq ty ((HsBindgen.Runtime.HasCField.CFieldType Rectangle_Body) "width")
+         ) => GHC.Records.HasField "width" (Ptr.Ptr Rectangle_Body) (Ptr.Ptr ty) where
+
+  getField =
+    HsBindgen.Runtime.HasCField.fromPtr (Data.Proxy.Proxy @"width")
+
+instance HsBindgen.Runtime.HasCField.HasCField Rectangle_Body "height" where
+
+  type CFieldType Rectangle_Body "height" = FC.CDouble
+
+  offset# = \_ -> \_ -> 8
+
+instance ( TyEq ty ((HsBindgen.Runtime.HasCField.CFieldType Rectangle_Body) "height")
+         ) => GHC.Records.HasField "height" (Ptr.Ptr Rectangle_Body) (Ptr.Ptr ty) where
+
+  getField =
+    HsBindgen.Runtime.HasCField.fromPtr (Data.Proxy.Proxy @"height")
+
+{-| __C declaration:__ @union \@Shape_body@
+
+    __defined at:__ @garnet_rs.h 26:3@
+
+    __exported by:__ @garnet_rs.h@
+-}
+newtype Shape_body = Shape_body
+  { unwrap :: Data.Array.Byte.ByteArray
+  }
+  deriving stock (GHC.Generics.Generic)
+
+deriving via (HsBindgen.Runtime.Internal.SizedByteArray.SizedByteArray 16) 8 instance HsBindgen.Runtime.Marshal.StaticSize Shape_body
+
+deriving via (HsBindgen.Runtime.Internal.SizedByteArray.SizedByteArray 16) 8 instance HsBindgen.Runtime.Marshal.ReadRaw Shape_body
+
+deriving via (HsBindgen.Runtime.Internal.SizedByteArray.SizedByteArray 16) 8 instance HsBindgen.Runtime.Marshal.WriteRaw Shape_body
+
+deriving via HsBindgen.Runtime.Marshal.EquivStorable Shape_body instance F.Storable Shape_body
+
+{-|
+
+  __See:__ 'set_shape_body_circle'
+
+__C declaration:__ @circle@
+
+__defined at:__ @garnet_rs.h 27:17@
+
+__exported by:__ @garnet_rs.h@
+-}
+get_shape_body_circle ::
+     Shape_body
+  -> Circle_Body
+get_shape_body_circle =
+  HsBindgen.Runtime.Internal.ByteArray.getUnionPayload
+
+{-|
+
+  __See:__ 'get_shape_body_circle'
+
+-}
+set_shape_body_circle ::
+     Circle_Body
+  -> Shape_body
+set_shape_body_circle =
+  HsBindgen.Runtime.Internal.ByteArray.setUnionPayload
+
+{-|
+
+  __See:__ 'set_shape_body_rectangle'
+
+__C declaration:__ @rectangle@
+
+__defined at:__ @garnet_rs.h 28:20@
+
+__exported by:__ @garnet_rs.h@
+-}
+get_shape_body_rectangle ::
+     Shape_body
+  -> Rectangle_Body
+get_shape_body_rectangle =
+  HsBindgen.Runtime.Internal.ByteArray.getUnionPayload
+
+{-|
+
+  __See:__ 'get_shape_body_rectangle'
+
+-}
+set_shape_body_rectangle ::
+     Rectangle_Body
+  -> Shape_body
+set_shape_body_rectangle =
+  HsBindgen.Runtime.Internal.ByteArray.setUnionPayload
+
+instance HsBindgen.Runtime.HasCField.HasCField Shape_body "circle" where
+
+  type CFieldType Shape_body "circle" = Circle_Body
+
+  offset# = \_ -> \_ -> 0
+
+instance ( TyEq ty ((HsBindgen.Runtime.HasCField.CFieldType Shape_body) "circle")
+         ) => GHC.Records.HasField "circle" (Ptr.Ptr Shape_body) (Ptr.Ptr ty) where
+
+  getField =
+    HsBindgen.Runtime.HasCField.fromPtr (Data.Proxy.Proxy @"circle")
+
+instance HsBindgen.Runtime.HasCField.HasCField Shape_body "rectangle" where
+
+  type CFieldType Shape_body "rectangle" =
+    Rectangle_Body
+
+  offset# = \_ -> \_ -> 0
+
+instance ( TyEq ty ((HsBindgen.Runtime.HasCField.CFieldType Shape_body) "rectangle")
+         ) => GHC.Records.HasField "rectangle" (Ptr.Ptr Shape_body) (Ptr.Ptr ty) where
+
+  getField =
+    HsBindgen.Runtime.HasCField.fromPtr (Data.Proxy.Proxy @"rectangle")
+
+{-| __C declaration:__ @struct Shape@
+
+    __defined at:__ @garnet_rs.h 24:16@
+
+    __exported by:__ @garnet_rs.h@
+-}
+data Shape = Shape
+  { tag :: Shape_Tag
+    {- ^ __C declaration:__ @tag@
+
+         __defined at:__ @garnet_rs.h 25:13@
+
+         __exported by:__ @garnet_rs.h@
+    -}
+  , body :: Shape_body
+    {- ^ __C declaration:__ @body@
+
+         __defined at:__ @garnet_rs.h 29:5@
+
+         __exported by:__ @garnet_rs.h@
+    -}
+  }
+  deriving stock (GHC.Generics.Generic)
+
+instance HsBindgen.Runtime.Marshal.StaticSize Shape where
+
+  staticSizeOf = \_ -> (24 :: Int)
+
+  staticAlignment = \_ -> (8 :: Int)
+
+instance HsBindgen.Runtime.Marshal.ReadRaw Shape where
+
+  readRaw =
+    \ptr0 ->
+          pure Shape
+      <*> HsBindgen.Runtime.HasCField.readRaw (Data.Proxy.Proxy @"tag") ptr0
+      <*> HsBindgen.Runtime.HasCField.readRaw (Data.Proxy.Proxy @"body") ptr0
+
+instance HsBindgen.Runtime.Marshal.WriteRaw Shape where
+
+  writeRaw =
+    \ptr0 ->
+      \s1 ->
+        case s1 of
+          Shape tag2 body3 ->
+               HsBindgen.Runtime.HasCField.writeRaw (Data.Proxy.Proxy @"tag") ptr0 tag2
+            >> HsBindgen.Runtime.HasCField.writeRaw (Data.Proxy.Proxy @"body") ptr0 body3
+
+deriving via HsBindgen.Runtime.Marshal.EquivStorable Shape instance F.Storable Shape
+
+instance HsBindgen.Runtime.HasCField.HasCField Shape "tag" where
+
+  type CFieldType Shape "tag" = Shape_Tag
+
+  offset# = \_ -> \_ -> 0
+
+instance ( TyEq ty ((HsBindgen.Runtime.HasCField.CFieldType Shape) "tag")
+         ) => GHC.Records.HasField "tag" (Ptr.Ptr Shape) (Ptr.Ptr ty) where
+
+  getField =
+    HsBindgen.Runtime.HasCField.fromPtr (Data.Proxy.Proxy @"tag")
+
+instance HsBindgen.Runtime.HasCField.HasCField Shape "body" where
+
+  type CFieldType Shape "body" = Shape_body
+
+  offset# = \_ -> \_ -> 8
+
+instance ( TyEq ty ((HsBindgen.Runtime.HasCField.CFieldType Shape) "body")
+         ) => GHC.Records.HasField "body" (Ptr.Ptr Shape) (Ptr.Ptr ty) where
+
+  getField =
+    HsBindgen.Runtime.HasCField.fromPtr (Data.Proxy.Proxy @"body")

generated/GarnetRs/FunPtr.hs

@@ -0,0 +1,104 @@
+{-# LANGUAGE CApiFFI #-}
+{-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE TemplateHaskell #-}
+{-# OPTIONS_HADDOCK prune #-}
+
+module GarnetRs.FunPtr where
+
+import qualified Foreign.C as FC
+import qualified GHC.IO.Unsafe
+import qualified GHC.Ptr as Ptr
+import qualified HsBindgen.Runtime.Internal.CAPI
+import qualified HsBindgen.Runtime.Internal.HasFFIType
+import qualified HsBindgen.Runtime.PtrConst
+import Data.Void (Void)
+import GarnetRs
+import Prelude (IO)
+
+$(HsBindgen.Runtime.Internal.CAPI.addCSource (HsBindgen.Runtime.Internal.CAPI.unlines
+  [ "#include <garnet_rs.h>"
+  , "/* com_garnet_GarnetRs_get_hello */"
+  , "__attribute__ ((const))"
+  , "void (*hs_bindgen_faf62265b53521d3 (void)) ("
+  , "  char const *arg1"
+  , ")"
+  , "{"
+  , "  return &hello;"
+  , "}"
+  , "/* com_garnet_GarnetRs_get_hello_struct */"
+  , "__attribute__ ((const))"
+  , "void (*hs_bindgen_0f8c37ef19b17a6d (void)) ("
+  , "  struct T arg1"
+  , ")"
+  , "{"
+  , "  return &hello_struct;"
+  , "}"
+  , "/* com_garnet_GarnetRs_get_hello_shape */"
+  , "__attribute__ ((const))"
+  , "void (*hs_bindgen_287ff3ac660f333b (void)) ("
+  , "  struct Shape arg1"
+  , ")"
+  , "{"
+  , "  return &hello_shape;"
+  , "}"
+  ]))
+
+-- __unique:__ @com_garnet_GarnetRs_get_hello@
+foreign import ccall unsafe "hs_bindgen_faf62265b53521d3" hs_bindgen_faf62265b53521d3_base ::
+     IO (Ptr.FunPtr Void)
+
+-- __unique:__ @com_garnet_GarnetRs_get_hello@
+hs_bindgen_faf62265b53521d3 :: IO (Ptr.FunPtr ((HsBindgen.Runtime.PtrConst.PtrConst FC.CChar) -> IO ()))
+hs_bindgen_faf62265b53521d3 =
+  HsBindgen.Runtime.Internal.HasFFIType.fromFFIType hs_bindgen_faf62265b53521d3_base
+
+{-# NOINLINE hello #-}
+{-| __C declaration:__ @hello@
+
+    __defined at:__ @garnet_rs.h 32:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+hello :: Ptr.FunPtr ((HsBindgen.Runtime.PtrConst.PtrConst FC.CChar) -> IO ())
+hello =
+  GHC.IO.Unsafe.unsafePerformIO hs_bindgen_faf62265b53521d3
+
+-- __unique:__ @com_garnet_GarnetRs_get_hello_struct@
+foreign import ccall unsafe "hs_bindgen_0f8c37ef19b17a6d" hs_bindgen_0f8c37ef19b17a6d_base ::
+     IO (Ptr.FunPtr Void)
+
+-- __unique:__ @com_garnet_GarnetRs_get_hello_struct@
+hs_bindgen_0f8c37ef19b17a6d :: IO (Ptr.FunPtr (T -> IO ()))
+hs_bindgen_0f8c37ef19b17a6d =
+  HsBindgen.Runtime.Internal.HasFFIType.fromFFIType hs_bindgen_0f8c37ef19b17a6d_base
+
+{-# NOINLINE hello_struct #-}
+{-| __C declaration:__ @hello_struct@
+
+    __defined at:__ @garnet_rs.h 34:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+hello_struct :: Ptr.FunPtr (T -> IO ())
+hello_struct =
+  GHC.IO.Unsafe.unsafePerformIO hs_bindgen_0f8c37ef19b17a6d
+
+-- __unique:__ @com_garnet_GarnetRs_get_hello_shape@
+foreign import ccall unsafe "hs_bindgen_287ff3ac660f333b" hs_bindgen_287ff3ac660f333b_base ::
+     IO (Ptr.FunPtr Void)
+
+-- __unique:__ @com_garnet_GarnetRs_get_hello_shape@
+hs_bindgen_287ff3ac660f333b :: IO (Ptr.FunPtr (Shape -> IO ()))
+hs_bindgen_287ff3ac660f333b =
+  HsBindgen.Runtime.Internal.HasFFIType.fromFFIType hs_bindgen_287ff3ac660f333b_base
+
+{-# NOINLINE hello_shape #-}
+{-| __C declaration:__ @hello_shape@
+
+    __defined at:__ @garnet_rs.h 36:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+hello_shape :: Ptr.FunPtr (Shape -> IO ())
+hello_shape =
+  GHC.IO.Unsafe.unsafePerformIO hs_bindgen_287ff3ac660f333b

generated/GarnetRs/Safe.hs

@@ -0,0 +1,114 @@
+{-# LANGUAGE CApiFFI #-}
+{-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE TemplateHaskell #-}
+{-# OPTIONS_HADDOCK prune #-}
+
+module GarnetRs.Safe where
+
+import qualified Foreign as F
+import qualified Foreign.C as FC
+import qualified GHC.Ptr as Ptr
+import qualified HsBindgen.Runtime.Internal.CAPI
+import qualified HsBindgen.Runtime.Internal.HasFFIType
+import qualified HsBindgen.Runtime.PtrConst
+import Data.Void (Void)
+import GarnetRs
+import Prelude (IO)
+
+$(HsBindgen.Runtime.Internal.CAPI.addCSource (HsBindgen.Runtime.Internal.CAPI.unlines
+  [ "#include <garnet_rs.h>"
+  , "void hs_bindgen_433ea2a26af4e593 ("
+  , "  char const *arg1"
+  , ")"
+  , "{"
+  , "  hello(arg1);"
+  , "}"
+  , "void hs_bindgen_51157946af5519c9 ("
+  , "  struct T *arg1"
+  , ")"
+  , "{"
+  , "  hello_struct(*arg1);"
+  , "}"
+  , "void hs_bindgen_7de06f1fd827ca60 ("
+  , "  struct Shape *arg1"
+  , ")"
+  , "{"
+  , "  hello_shape(*arg1);"
+  , "}"
+  ]))
+
+-- __unique:__ @com_garnet_GarnetRs_Safe_hello@
+foreign import ccall safe "hs_bindgen_433ea2a26af4e593" hs_bindgen_433ea2a26af4e593_base ::
+     Ptr.Ptr Void
+  -> IO ()
+
+-- __unique:__ @com_garnet_GarnetRs_Safe_hello@
+hs_bindgen_433ea2a26af4e593 ::
+     HsBindgen.Runtime.PtrConst.PtrConst FC.CChar
+  -> IO ()
+hs_bindgen_433ea2a26af4e593 =
+  HsBindgen.Runtime.Internal.HasFFIType.fromFFIType hs_bindgen_433ea2a26af4e593_base
+
+{-| __C declaration:__ @hello@
+
+    __defined at:__ @garnet_rs.h 32:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+hello ::
+     HsBindgen.Runtime.PtrConst.PtrConst FC.CChar
+     -- ^ __C declaration:__ @c@
+  -> IO ()
+hello = hs_bindgen_433ea2a26af4e593
+
+-- __unique:__ @com_garnet_GarnetRs_Safe_hello_struct@
+foreign import ccall safe "hs_bindgen_51157946af5519c9" hs_bindgen_51157946af5519c9_base ::
+     Ptr.Ptr Void
+  -> IO ()
+
+-- __unique:__ @com_garnet_GarnetRs_Safe_hello_struct@
+hs_bindgen_51157946af5519c9 ::
+     Ptr.Ptr T
+  -> IO ()
+hs_bindgen_51157946af5519c9 =
+  HsBindgen.Runtime.Internal.HasFFIType.fromFFIType hs_bindgen_51157946af5519c9_base
+
+{-| __C declaration:__ @hello_struct@
+
+    __defined at:__ @garnet_rs.h 34:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+hello_struct ::
+     T
+     -- ^ __C declaration:__ @t@
+  -> IO ()
+hello_struct =
+  \t0 ->
+    F.with t0 (\t1 -> hs_bindgen_51157946af5519c9 t1)
+
+-- __unique:__ @com_garnet_GarnetRs_Safe_hello_shape@
+foreign import ccall safe "hs_bindgen_7de06f1fd827ca60" hs_bindgen_7de06f1fd827ca60_base ::
+     Ptr.Ptr Void
+  -> IO ()
+
+-- __unique:__ @com_garnet_GarnetRs_Safe_hello_shape@
+hs_bindgen_7de06f1fd827ca60 ::
+     Ptr.Ptr Shape
+  -> IO ()
+hs_bindgen_7de06f1fd827ca60 =
+  HsBindgen.Runtime.Internal.HasFFIType.fromFFIType hs_bindgen_7de06f1fd827ca60_base
+
+{-| __C declaration:__ @hello_shape@
+
+    __defined at:__ @garnet_rs.h 36:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+hello_shape ::
+     Shape
+     -- ^ __C declaration:__ @s@
+  -> IO ()
+hello_shape =
+  \s0 ->
+    F.with s0 (\s1 -> hs_bindgen_7de06f1fd827ca60 s1)

generated/GarnetRs/Unsafe.hs

@@ -0,0 +1,114 @@
+{-# LANGUAGE CApiFFI #-}
+{-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE TemplateHaskell #-}
+{-# OPTIONS_HADDOCK prune #-}
+
+module GarnetRs.Unsafe where
+
+import qualified Foreign as F
+import qualified Foreign.C as FC
+import qualified GHC.Ptr as Ptr
+import qualified HsBindgen.Runtime.Internal.CAPI
+import qualified HsBindgen.Runtime.Internal.HasFFIType
+import qualified HsBindgen.Runtime.PtrConst
+import Data.Void (Void)
+import GarnetRs
+import Prelude (IO)
+
+$(HsBindgen.Runtime.Internal.CAPI.addCSource (HsBindgen.Runtime.Internal.CAPI.unlines
+  [ "#include <garnet_rs.h>"
+  , "void hs_bindgen_2dfe97662a4d6377 ("
+  , "  char const *arg1"
+  , ")"
+  , "{"
+  , "  hello(arg1);"
+  , "}"
+  , "void hs_bindgen_29d823ada2bc7302 ("
+  , "  struct T *arg1"
+  , ")"
+  , "{"
+  , "  hello_struct(*arg1);"
+  , "}"
+  , "void hs_bindgen_b3f40a03f07eaa85 ("
+  , "  struct Shape *arg1"
+  , ")"
+  , "{"
+  , "  hello_shape(*arg1);"
+  , "}"
+  ]))
+
+-- __unique:__ @com_garnet_GarnetRs_Unsafe_hello@
+foreign import ccall unsafe "hs_bindgen_2dfe97662a4d6377" hs_bindgen_2dfe97662a4d6377_base ::
+     Ptr.Ptr Void
+  -> IO ()
+
+-- __unique:__ @com_garnet_GarnetRs_Unsafe_hello@
+hs_bindgen_2dfe97662a4d6377 ::
+     HsBindgen.Runtime.PtrConst.PtrConst FC.CChar
+  -> IO ()
+hs_bindgen_2dfe97662a4d6377 =
+  HsBindgen.Runtime.Internal.HasFFIType.fromFFIType hs_bindgen_2dfe97662a4d6377_base
+
+{-| __C declaration:__ @hello@
+
+    __defined at:__ @garnet_rs.h 32:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+hello ::
+     HsBindgen.Runtime.PtrConst.PtrConst FC.CChar
+     -- ^ __C declaration:__ @c@
+  -> IO ()
+hello = hs_bindgen_2dfe97662a4d6377
+
+-- __unique:__ @com_garnet_GarnetRs_Unsafe_hello_struct@
+foreign import ccall unsafe "hs_bindgen_29d823ada2bc7302" hs_bindgen_29d823ada2bc7302_base ::
+     Ptr.Ptr Void
+  -> IO ()
+
+-- __unique:__ @com_garnet_GarnetRs_Unsafe_hello_struct@
+hs_bindgen_29d823ada2bc7302 ::
+     Ptr.Ptr T
+  -> IO ()
+hs_bindgen_29d823ada2bc7302 =
+  HsBindgen.Runtime.Internal.HasFFIType.fromFFIType hs_bindgen_29d823ada2bc7302_base
+
+{-| __C declaration:__ @hello_struct@
+
+    __defined at:__ @garnet_rs.h 34:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+hello_struct ::
+     T
+     -- ^ __C declaration:__ @t@
+  -> IO ()
+hello_struct =
+  \t0 ->
+    F.with t0 (\t1 -> hs_bindgen_29d823ada2bc7302 t1)
+
+-- __unique:__ @com_garnet_GarnetRs_Unsafe_hello_shape@
+foreign import ccall unsafe "hs_bindgen_b3f40a03f07eaa85" hs_bindgen_b3f40a03f07eaa85_base ::
+     Ptr.Ptr Void
+  -> IO ()
+
+-- __unique:__ @com_garnet_GarnetRs_Unsafe_hello_shape@
+hs_bindgen_b3f40a03f07eaa85 ::
+     Ptr.Ptr Shape
+  -> IO ()
+hs_bindgen_b3f40a03f07eaa85 =
+  HsBindgen.Runtime.Internal.HasFFIType.fromFFIType hs_bindgen_b3f40a03f07eaa85_base
+
+{-| __C declaration:__ @hello_shape@
+
+    __defined at:__ @garnet_rs.h 36:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+hello_shape ::
+     Shape
+     -- ^ __C declaration:__ @s@
+  -> IO ()
+hello_shape =
+  \s0 ->
+    F.with s0 (\s1 -> hs_bindgen_b3f40a03f07eaa85 s1)

haskell/exe/Main.hs

@@ -1,8 +0,0 @@
-module Main (main) where
-
-import Foreign.C.String (CString, withCString)
-
-foreign import ccall safe "__c_hello" hello :: CString -> IO ()
-
-main :: IO ()
-main = withCString "Haskell" hello

rust/Cargo.lock

@@ -2,218 +2,6 @@
 # It is not intended for manual editing.
 version = 4
 
-[[package]]
-name = "antlion"
-version = "0.3.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "cd743dc9b5cf465db1be79d28b4bfd7fa143d289546afeea5dc933551883e1f6"
-dependencies = [
- "proc-macro2",
- "quote",
-]
-
-[[package]]
-name = "displaydoc"
-version = "0.2.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "97369cbbc041bc366949bc74d34658d6cda5621039731c6310521892a3a20ae0"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn 2.0.116",
-]
-
 [[package]]
 name = "garnet-rs"
 version = "0.1.0"
-dependencies = [
- "hs-bindgen",
-]
-
-[[package]]
-name = "hs-bindgen"
-version = "0.8.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3e9723a81f9f23c3e52b01ce72db20c7ab384c8618b1032eea04985260d10fc7"
-dependencies = [
- "hs-bindgen-attribute",
- "hs-bindgen-traits",
-]
-
-[[package]]
-name = "hs-bindgen-attribute"
-version = "0.8.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e57fc3cb0491f749fc50e7cf186c189b64af557edb9f78e36eb78bb9021d6624"
-dependencies = [
- "antlion",
- "displaydoc",
- "hs-bindgen-types",
- "lazy_static",
- "quote",
- "rustc_version",
- "semver 1.0.27",
- "serde",
- "syn 1.0.109",
- "thiserror",
- "toml",
-]
-
-[[package]]
-name = "hs-bindgen-traits"
-version = "0.8.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e92e839254ee5975299f64183e8346548c4ba5e4ee0253a05426891a6f135a6a"
-
-[[package]]
-name = "hs-bindgen-types"
-version = "0.8.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c2d986de5641ea4aa8025589d7243e403961fb0f5572c4dd4764a1bb4a01768c"
-dependencies = [
- "displaydoc",
- "proc-macro2",
- "quote",
- "thiserror",
-]
-
-[[package]]
-name = "lazy_static"
-version = "1.5.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe"
-
-[[package]]
-name = "proc-macro2"
-version = "1.0.106"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8fd00f0bb2e90d81d1044c2b32617f68fcb9fa3bb7640c23e9c748e53fb30934"
-dependencies = [
- "unicode-ident",
-]
-
-[[package]]
-name = "quote"
-version = "1.0.44"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "21b2ebcf727b7760c461f091f9f0f539b77b8e87f2fd88131e7f1b433b3cece4"
-dependencies = [
- "proc-macro2",
-]
-
-[[package]]
-name = "rustc_version"
-version = "0.2.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "138e3e0acb6c9fb258b19b67cb8abd63c00679d2851805ea151465464fe9030a"
-dependencies = [
- "semver 0.9.0",
-]
-
-[[package]]
-name = "semver"
-version = "0.9.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1d7eb9ef2c18661902cc47e535f9bc51b78acd254da71d375c2f6720d9a40403"
-dependencies = [
- "semver-parser",
-]
-
-[[package]]
-name = "semver"
-version = "1.0.27"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d767eb0aabc880b29956c35734170f26ed551a859dbd361d140cdbeca61ab1e2"
-
-[[package]]
-name = "semver-parser"
-version = "0.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "388a1df253eca08550bef6c72392cfe7c30914bf41df5269b68cbd6ff8f570a3"
-
-[[package]]
-name = "serde"
-version = "1.0.228"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9a8e94ea7f378bd32cbbd37198a4a91436180c5bb472411e48b5ec2e2124ae9e"
-dependencies = [
- "serde_core",
- "serde_derive",
-]
-
-[[package]]
-name = "serde_core"
-version = "1.0.228"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "41d385c7d4ca58e59fc732af25c3983b67ac852c1a25000afe1175de458b67ad"
-dependencies = [
- "serde_derive",
-]
-
-[[package]]
-name = "serde_derive"
-version = "1.0.228"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d540f220d3187173da220f885ab66608367b6574e925011a9353e4badda91d79"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn 2.0.116",
-]
-
-[[package]]
-name = "syn"
-version = "1.0.109"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "72b64191b275b66ffe2469e8af2c1cfe3bafa67b529ead792a6d0160888b4237"
-dependencies = [
- "proc-macro2",
- "quote",
- "unicode-ident",
-]
-
-[[package]]
-name = "syn"
-version = "2.0.116"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3df424c70518695237746f84cede799c9c58fcb37450d7b23716568cc8bc69cb"
-dependencies = [
- "proc-macro2",
- "quote",
- "unicode-ident",
-]
-
-[[package]]
-name = "thiserror"
-version = "1.0.69"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b6aaf5339b578ea85b50e080feb250a3e8ae8cfcdff9a461c9ec2904bc923f52"
-dependencies = [
- "thiserror-impl",
-]
-
-[[package]]
-name = "thiserror-impl"
-version = "1.0.69"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4fee6c4efc90059e10f81e6d42c60a18f76588c3d74cb83a0b242a2b6c7504c1"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn 2.0.116",
-]
-
-[[package]]
-name = "toml"
-version = "0.5.11"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f4f7f0dd8d50a853a531c426359045b1998f04219d88799810762cd4ad314234"
-dependencies = [
- "serde",
-]
-
-[[package]]
-name = "unicode-ident"
-version = "1.0.24"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"

rust/Cargo.toml

@@ -6,6 +6,3 @@ edition = "2024"
 [lib]
 path = "lib.rs"
 crate-type = ["staticlib"]
-
-[dependencies]
-hs-bindgen = { version = "0.8", features = ["full"] }

rust/garnet_rs.h

@@ -0,0 +1,36 @@
+#include <stdarg.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdlib.h>
+
+typedef struct T {
+  bool a;
+  uint8_t b;
+} T;
+
+typedef uint8_t Shape_Tag;
+#define Circle  0
+#define Rectangle  1
+
+typedef struct Circle_Body {
+  double radius;
+} Circle_Body;
+
+typedef struct Rectangle_Body {
+  double width;
+  double height;
+} Rectangle_Body;
+
+typedef struct Shape {
+  Shape_Tag tag;
+  union {
+    Circle_Body circle;
+    Rectangle_Body rectangle;
+  } body;
+} Shape;
+
+void hello(const char *c);
+
+void hello_struct(struct T t);
+
+void hello_shape(struct Shape s);

rust/hsbindgen.toml

@@ -1,13 +0,0 @@
-# Since the only `.cabal` format parser implementation and specification live
-# in Cabal itself ... this deadly simple config file is used by `hs-bindgen`
-# Rust crate to get needed data (like default exposed module name).
-
-default = "GarnetRs"
-
-# There is an unlikely future where instead we have a Rust `.cabal` parser,
-# that most likely would rely under the hood on a Haskell static lib wrapper
-# of `Cabal.Parse` or https://hackage.haskell.org/package/Cabal-syntax library.
-# But even in this case, it would be nice to know the `cargo-cabal` version that
-# generated the `.cabal` file used.
-
-version = "0.8.0"

rust/lib.rs

@@ -1,6 +1,35 @@
-use hs_bindgen::*;
+#![allow(dead_code)]
 
-#[hs_bindgen(hello :: CString -> IO (()))]
+use std::ffi::{CStr, c_char};
-fn hello(name: &str) {
+
+fn say_hello(name: &str) {
     println!("Hello from Rust, {name}!");
 }
+
+#[unsafe(no_mangle)]
+extern "C" fn hello(c: *const c_char) -> () {
+    say_hello(unsafe { CStr::from_ptr(c) }.to_str().unwrap())
+}
+
+#[repr(C)]
+#[derive(Debug)]
+struct T {
+    a: bool,
+    b: u8,
+}
+#[unsafe(no_mangle)]
+extern "C" fn hello_struct(t: T) -> () {
+    say_hello(&format!("{:?}", t))
+}
+
+#[repr(C, u8)]
+#[derive(Debug)]
+enum Shape {
+    Circle { radius: f64 },
+    Rectangle { width: f64, height: f64 },
+}
+
+#[unsafe(no_mangle)]
+extern "C" fn hello_shape(s: Shape) -> () {
+    say_hello(&format!("{:?}", s))
+}