Minor simplification

Avoid typedefs
This makes the header simpler, and silences `hs-bindgen` notices about "squashed" typedefs.
2026-02-19 16:29:52 +00:00 · 2026-02-19 16:29:52 +00:00 · 2026-02-19 16:29:52 +00:00 · 2026-02-19 16:29:52 +00:00 · 2026-02-19 16:29:52 +00:00 · 2026-02-19 16:29:52 +00:00
18 changed files with 1364 additions and 286 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,3 +1,4 @@
 dist*
 result
 target
+cabal.project.local*
--- a/cabal.project
+++ b/cabal.project
@ -1,4 +1,19 @@
-packages: haskell
+packages: .
+
+-- 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,
--- a/exe/GarnetRs/Wrapped.hs
+++ b/exe/GarnetRs/Wrapped.hs
@ -0,0 +1,45 @@
+-- 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,
+    add,
+) 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 = fromBool a, b}
+
+data Shape
+    = Circle CDouble
+    | Rectangle CDouble CDouble
+convertShape :: Shape -> Raw.Shape
+convertShape = \case
+    Circle r -> Raw.Shape Raw.Circle $ Raw.set_shape_body_circle $ Raw.Circle_Body r
+    Rectangle w h -> Raw.Shape Raw.Rectangle $ 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
+
+add :: Int64 -> Int64 -> Int64
+add = Raw.add
--- a/exe/Main.hs
+++ b/exe/Main.hs
@ -0,0 +1,12 @@
+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
+    putStrLn $ "3 + 4 = " <> show (add 3 4)
--- a/flake.lock
+++ b/flake.lock
@ -85,11 +85,11 @@
    },
    "crane": {
      "locked": {
-        "lastModified": 1771121070,
-        "narHash": "sha256-aIlv7FRXF9q70DNJPI237dEDAznSKaXmL5lfK/Id/bI=",
+        "lastModified": 1771438068,
+        "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,
-        "narHash": "sha256-ySABvJf2NaxGc1mPSkwKjC8So9S906UgOYZVzX35Ng8=",
+        "lastModified": 1771461386,
+        "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,
-        "narHash": "sha256-2tCS6CXMHPo4Jsh4JopbYBoQXnTTp8MdZVAqPVmOIq4=",
+        "lastModified": 1771461376,
+        "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,
-        "narHash": "sha256-s60Kb3cYr0t6LDQ/LmJr5vQN8Z4IY1Vfwq2keZW0VOM=",
+        "lastModified": 1771462666,
+        "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,
-        "narHash": "sha256-wieWskQxZLPlNXX06JEB0bMoS/ZYQ89xBzF0RL9lyLs=",
+        "lastModified": 1771470520,
+        "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,
-        "narHash": "sha256-76Kd5c2D4O8yL48eAejlGZlpQ/Exxnsz3V7qW+RkFzE=",
+        "lastModified": 1771460325,
+        "narHash": "sha256-RRsGO7QVyuBtUTVqDiB7CYvFruj0Z/yxZK1JarkTqI4=",
        "owner": "input-output-hk",
        "repo": "stackage.nix",
-        "rev": "e62b9d6269c6abfd8b976826da0dcc37f0a57010",
+        "rev": "29c0dcc517e04be238023064412312ad4443ddb2",
        "type": "github"
      },
      "original": {
--- a/flake.nix
+++ b/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
-    , nixpkgs
-    , flake-utils
-    , haskellNix
-    , hls-2-13
-    , crane
-    , rust-overlay
-    }:
-    flake-utils.lib.eachSystem [ "x86_64-linux" ] (system:
+    inputs@{ nixpkgs, ... }:
+    inputs.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
        ];
      };
-    }
-    );
+    });
 }
--- a/haskell/garnet.cabal
+++ b/haskell/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,
--- a/101
+++ b/101
@ -0,0 +1,101 @@
+#!/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:
+#   1. cargo build       - build the Rust static library
+#   2. cbindgen           - generate a C header from the Rust source
+#   3. awk                - patch the header for hs-bindgen compatibility
+#   4. hs-bindgen-cli     - generate Haskell FFI modules from the C header
+#   5. cabal configure    - point Cabal at the Rust build artifacts
+#
+# 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" \
+  --style tag \
+  "$RUST_DIR"
+
+echo "  Raw header written to $HEADER"
+
+# --- Step 3: Patch the header for hs-bindgen compatibility ---
+#
+# cbindgen emits:    union { ... };       (anonymous)
+# hs-bindgen needs:  union { ... } body;  (named)
+# See: https://github.com/well-typed/hs-bindgen/issues/1649
+echo "=== Patching header ==="
+awk '
+# 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 ---
+#
+# 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.
+echo "=== Detecting system include paths ==="
+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"
+
+# --- Step 6: Configure Cabal ---
+#
+# Point Cabal at the Rust static library and C header. This writes
+# cabal.project.local (gitignored) with absolute paths derived from
+# the current working directory, avoiding hardcoded paths in cabal.project.
+echo "=== Configuring Cabal ==="
+cabal configure \
+  --extra-lib-dirs="$RUST_DIR/target/debug" \
+  --extra-include-dirs="$RUST_DIR"
+
+echo "=== Done ==="
+echo "Generated Haskell bindings in $HASKELL_DIR/generated/"
+echo "Run 'cabal run' to test."
--- a/generated/GarnetRs.hs
+++ b/generated/GarnetRs.hs
@ -0,0 +1,526 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE DeriveGeneric #-}
+{-# LANGUAGE DerivingStrategies #-}
+{-# LANGUAGE DerivingVia #-}
+{-# LANGUAGE DuplicateRecordFields #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE GeneralizedNewtypeDeriving #-}
+{-# LANGUAGE MagicHash #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE PatternSynonyms #-}
+{-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE UnboxedTuples #-}
+{-# LANGUAGE UndecidableInstances #-}
+
+module GarnetRs where
+
+import qualified Data.Array.Byte
+import qualified Data.List.NonEmpty
+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.CEnum
+import qualified HsBindgen.Runtime.HasCField
+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 qualified Text.Read
+import HsBindgen.Runtime.Internal.TypeEquality (TyEq)
+import Prelude ((<*>), (>>), Eq, Int, Ord, Read, Show, pure, showsPrec)
+
+{-| __C declaration:__ @struct T@
+
+    __defined at:__ @garnet_rs.h 6:8@
+
+    __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:__ @enum Shape_Tag@
+
+    __defined at:__ @garnet_rs.h 11:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+newtype Shape_Tag = Shape_Tag
+  { unwrap :: FC.CUInt
+  }
+  deriving stock (GHC.Generics.Generic)
+  deriving stock (Eq, Ord)
+  deriving newtype (HsBindgen.Runtime.Internal.HasFFIType.HasFFIType)
+
+instance HsBindgen.Runtime.Marshal.StaticSize Shape_Tag where
+
+  staticSizeOf = \_ -> (4 :: Int)
+
+  staticAlignment = \_ -> (4 :: Int)
+
+instance HsBindgen.Runtime.Marshal.ReadRaw Shape_Tag where
+
+  readRaw =
+    \ptr0 ->
+          pure Shape_Tag
+      <*> HsBindgen.Runtime.Marshal.readRawByteOff ptr0 (0 :: Int)
+
+instance HsBindgen.Runtime.Marshal.WriteRaw Shape_Tag where
+
+  writeRaw =
+    \ptr0 ->
+      \s1 ->
+        case s1 of
+          Shape_Tag unwrap2 ->
+            HsBindgen.Runtime.Marshal.writeRawByteOff ptr0 (0 :: Int) unwrap2
+
+deriving via HsBindgen.Runtime.Marshal.EquivStorable Shape_Tag instance F.Storable Shape_Tag
+
+deriving via FC.CUInt instance Data.Primitive.Types.Prim Shape_Tag
+
+instance HsBindgen.Runtime.CEnum.CEnum Shape_Tag where
+
+  type CEnumZ Shape_Tag = FC.CUInt
+
+  toCEnum = Shape_Tag
+
+  fromCEnum = GHC.Records.getField @"unwrap"
+
+  declaredValues =
+    \_ ->
+      HsBindgen.Runtime.CEnum.declaredValuesFromList [ (0, Data.List.NonEmpty.singleton "Circle")
+                                                     , (1, Data.List.NonEmpty.singleton "Rectangle")
+                                                     ]
+
+  showsUndeclared =
+    HsBindgen.Runtime.CEnum.showsWrappedUndeclared "Shape_Tag"
+
+  readPrecUndeclared =
+    HsBindgen.Runtime.CEnum.readPrecWrappedUndeclared "Shape_Tag"
+
+  isDeclared = HsBindgen.Runtime.CEnum.seqIsDeclared
+
+  mkDeclared = HsBindgen.Runtime.CEnum.seqMkDeclared
+
+instance HsBindgen.Runtime.CEnum.SequentialCEnum Shape_Tag where
+
+  minDeclaredValue = Circle
+
+  maxDeclaredValue = Rectangle
+
+instance Show Shape_Tag where
+
+  showsPrec = HsBindgen.Runtime.CEnum.shows
+
+instance Read Shape_Tag where
+
+  readPrec = HsBindgen.Runtime.CEnum.readPrec
+
+  readList = Text.Read.readListDefault
+
+  readListPrec = Text.Read.readListPrecDefault
+
+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" = FC.CUInt
+
+  offset# = \_ -> \_ -> 0
+
+{-| __C declaration:__ @Circle@
+
+    __defined at:__ @garnet_rs.h 12:3@
+
+    __exported by:__ @garnet_rs.h@
+-}
+pattern Circle :: Shape_Tag
+pattern Circle = Shape_Tag 0
+
+{-| __C declaration:__ @Rectangle@
+
+    __defined at:__ @garnet_rs.h 13:3@
+
+    __exported by:__ @garnet_rs.h@
+-}
+pattern Rectangle :: Shape_Tag
+pattern Rectangle = Shape_Tag 1
+
+{-| __C declaration:__ @struct Circle_Body@
+
+    __defined at:__ @garnet_rs.h 16:8@
+
+    __exported by:__ @garnet_rs.h@
+-}
+data Circle_Body = Circle_Body
+  { radius :: FC.CDouble
+    {- ^ __C declaration:__ @radius@
+
+         __defined at:__ @garnet_rs.h 17: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 20:8@
+
+    __exported by:__ @garnet_rs.h@
+-}
+data Rectangle_Body = Rectangle_Body
+  { width :: FC.CDouble
+    {- ^ __C declaration:__ @width@
+
+         __defined at:__ @garnet_rs.h 21:10@
+
+         __exported by:__ @garnet_rs.h@
+    -}
+  , height :: FC.CDouble
+    {- ^ __C declaration:__ @height@
+
+         __defined at:__ @garnet_rs.h 22: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 27: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 28:24@
+
+__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 29:27@
+
+__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 25:8@
+
+    __exported by:__ @garnet_rs.h@
+-}
+data Shape = Shape
+  { tag :: Shape_Tag
+    {- ^ __C declaration:__ @tag@
+
+         __defined at:__ @garnet_rs.h 26:18@
+
+         __exported by:__ @garnet_rs.h@
+    -}
+  , body :: Shape_body
+    {- ^ __C declaration:__ @body@
+
+         __defined at:__ @garnet_rs.h 30: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")
--- a/generated/GarnetRs/FunPtr.hs
+++ b/generated/GarnetRs/FunPtr.hs
@ -0,0 +1,134 @@
+{-# 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.LibC
+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;"
+  , "}"
+  , "/* com_garnet_GarnetRs_get_add */"
+  , "__attribute__ ((const))"
+  , "int64_t (*hs_bindgen_bbabdbe61cd1eeb2 (void)) ("
+  , "  int64_t arg1,"
+  , "  int64_t arg2"
+  , ")"
+  , "{"
+  , "  return &add;"
+  , "}"
+  ]))
+
+-- __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 33: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 35: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 37:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+hello_shape :: Ptr.FunPtr (Shape -> IO ())
+hello_shape =
+  GHC.IO.Unsafe.unsafePerformIO hs_bindgen_287ff3ac660f333b
+
+-- __unique:__ @com_garnet_GarnetRs_get_add@
+foreign import ccall unsafe "hs_bindgen_bbabdbe61cd1eeb2" hs_bindgen_bbabdbe61cd1eeb2_base ::
+     IO (Ptr.FunPtr Void)
+
+-- __unique:__ @com_garnet_GarnetRs_get_add@
+hs_bindgen_bbabdbe61cd1eeb2 :: IO (Ptr.FunPtr (HsBindgen.Runtime.LibC.Int64 -> HsBindgen.Runtime.LibC.Int64 -> IO HsBindgen.Runtime.LibC.Int64))
+hs_bindgen_bbabdbe61cd1eeb2 =
+  HsBindgen.Runtime.Internal.HasFFIType.fromFFIType hs_bindgen_bbabdbe61cd1eeb2_base
+
+{-# NOINLINE add #-}
+{-| __C declaration:__ @add@
+
+    __defined at:__ @garnet_rs.h 39:32@
+
+    __exported by:__ @garnet_rs.h@
+-}
+add :: Ptr.FunPtr (HsBindgen.Runtime.LibC.Int64 -> HsBindgen.Runtime.LibC.Int64 -> IO HsBindgen.Runtime.LibC.Int64)
+add =
+  GHC.IO.Unsafe.unsafePerformIO hs_bindgen_bbabdbe61cd1eeb2
--- a/generated/GarnetRs/Safe.hs
+++ b/generated/GarnetRs/Safe.hs
@ -0,0 +1,155 @@
+{-# 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.Int
+import qualified GHC.Ptr as Ptr
+import qualified HsBindgen.Runtime.Internal.CAPI
+import qualified HsBindgen.Runtime.Internal.HasFFIType
+import qualified HsBindgen.Runtime.LibC
+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);"
+  , "}"
+  , "int64_t hs_bindgen_1c0c71fa74c428a9 ("
+  , "  int64_t arg1,"
+  , "  int64_t arg2"
+  , ")"
+  , "{"
+  , "  return add(arg1, arg2);"
+  , "}"
+  ]))
+
+-- __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 33: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 35: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 37:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+hello_shape ::
+     Shape
+     -- ^ __C declaration:__ @s@
+  -> IO ()
+hello_shape =
+  \s0 ->
+    F.with s0 (\s1 -> hs_bindgen_7de06f1fd827ca60 s1)
+
+-- __unique:__ @com_garnet_GarnetRs_Safe_add@
+foreign import ccall safe "hs_bindgen_1c0c71fa74c428a9" hs_bindgen_1c0c71fa74c428a9_base ::
+     GHC.Int.Int64
+  -> GHC.Int.Int64
+  -> GHC.Int.Int64
+
+-- __unique:__ @com_garnet_GarnetRs_Safe_add@
+hs_bindgen_1c0c71fa74c428a9 ::
+     HsBindgen.Runtime.LibC.Int64
+  -> HsBindgen.Runtime.LibC.Int64
+  -> HsBindgen.Runtime.LibC.Int64
+hs_bindgen_1c0c71fa74c428a9 =
+  HsBindgen.Runtime.Internal.HasFFIType.fromFFIType hs_bindgen_1c0c71fa74c428a9_base
+
+{-|
+
+  Marked @__attribute((const))__@
+
+__C declaration:__ @add@
+
+__defined at:__ @garnet_rs.h 39:32@
+
+__exported by:__ @garnet_rs.h@
+-}
+add ::
+     HsBindgen.Runtime.LibC.Int64
+     -- ^ __C declaration:__ @a@
+  -> HsBindgen.Runtime.LibC.Int64
+     -- ^ __C declaration:__ @b@
+  -> HsBindgen.Runtime.LibC.Int64
+add = hs_bindgen_1c0c71fa74c428a9
--- a/generated/GarnetRs/Unsafe.hs
+++ b/generated/GarnetRs/Unsafe.hs
@ -0,0 +1,155 @@
+{-# 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.Int
+import qualified GHC.Ptr as Ptr
+import qualified HsBindgen.Runtime.Internal.CAPI
+import qualified HsBindgen.Runtime.Internal.HasFFIType
+import qualified HsBindgen.Runtime.LibC
+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);"
+  , "}"
+  , "int64_t hs_bindgen_20eb651f0a8faf48 ("
+  , "  int64_t arg1,"
+  , "  int64_t arg2"
+  , ")"
+  , "{"
+  , "  return add(arg1, arg2);"
+  , "}"
+  ]))
+
+-- __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 33: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 35: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 37:6@
+
+    __exported by:__ @garnet_rs.h@
+-}
+hello_shape ::
+     Shape
+     -- ^ __C declaration:__ @s@
+  -> IO ()
+hello_shape =
+  \s0 ->
+    F.with s0 (\s1 -> hs_bindgen_b3f40a03f07eaa85 s1)
+
+-- __unique:__ @com_garnet_GarnetRs_Unsafe_add@
+foreign import ccall unsafe "hs_bindgen_20eb651f0a8faf48" hs_bindgen_20eb651f0a8faf48_base ::
+     GHC.Int.Int64
+  -> GHC.Int.Int64
+  -> GHC.Int.Int64
+
+-- __unique:__ @com_garnet_GarnetRs_Unsafe_add@
+hs_bindgen_20eb651f0a8faf48 ::
+     HsBindgen.Runtime.LibC.Int64
+  -> HsBindgen.Runtime.LibC.Int64
+  -> HsBindgen.Runtime.LibC.Int64
+hs_bindgen_20eb651f0a8faf48 =
+  HsBindgen.Runtime.Internal.HasFFIType.fromFFIType hs_bindgen_20eb651f0a8faf48_base
+
+{-|
+
+  Marked @__attribute((const))__@
+
+__C declaration:__ @add@
+
+__defined at:__ @garnet_rs.h 39:32@
+
+__exported by:__ @garnet_rs.h@
+-}
+add ::
+     HsBindgen.Runtime.LibC.Int64
+     -- ^ __C declaration:__ @a@
+  -> HsBindgen.Runtime.LibC.Int64
+     -- ^ __C declaration:__ @b@
+  -> HsBindgen.Runtime.LibC.Int64
+add = hs_bindgen_20eb651f0a8faf48
--- a/haskell/exe/Main.hs
+++ b/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
--- a/rust/Cargo.lock
+++ b/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"
--- a/rust/Cargo.toml
+++ b/rust/Cargo.toml
@ -6,6 +6,3 @@ edition = "2024"
 [lib]
 path = "lib.rs"
 crate-type = ["staticlib"]
-
-[dependencies]
-hs-bindgen = { version = "0.8", features = ["full"] }
--- a/rust/garnet_rs.h
+++ b/rust/garnet_rs.h
@ -0,0 +1,39 @@
+#include <stdarg.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdlib.h>
+
+struct T {
+  bool a;
+  uint8_t b;
+};
+
+enum Shape_Tag {
+  Circle,
+  Rectangle,
+};
+
+struct Circle_Body {
+  double radius;
+};
+
+struct Rectangle_Body {
+  double width;
+  double height;
+};
+
+struct Shape {
+  enum Shape_Tag tag;
+  union {
+    struct Circle_Body circle;
+    struct Rectangle_Body rectangle;
+  } body;
+};
+
+void hello(const char *c);
+
+void hello_struct(struct T t);
+
+void hello_shape(struct Shape s);
+
+__attribute__((const)) int64_t add(int64_t a, int64_t b);
--- a/rust/hsbindgen.toml
+++ b/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"
--- a/rust/lib.rs
+++ b/rust/lib.rs
@ -1,6 +1,41 @@
-use hs_bindgen::*;
+#![allow(dead_code)]

-#[hs_bindgen(hello :: CString -> IO (()))]
-fn hello(name: &str) {
+use std::ffi::{CStr, c_char};
+
+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)]
+#[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))
+}
+
+/// cbindgen:prefix=__attribute__((const))
+#[unsafe(no_mangle)]
+extern "C" fn add(a: i64, b: i64) -> i64 {
+    a + b
+}
Author	SHA1	Message	Date
George Thomas	5d2ba1a217	Minor simplification	2026-02-19 16:29:52 +00:00
George Thomas	528cf7b8d7	Avoid typedefs This makes the header simpler, and silences `hs-bindgen` notices about "squashed" typedefs.	2026-02-19 16:29:52 +00:00
George Thomas	cb05afc21d	Use simpler tagged union translation Avoids the worst part of the header hack, and makes Haskell wrapper simpler.	2026-02-19 16:29:52 +00:00
George Thomas	604bc8cf2f	Mark pure function	2026-02-19 16:29:52 +00:00
George Thomas	6468f15d73	Use fixed-width integers	2026-02-19 16:29:52 +00:00
George Thomas	024b6aec87	Implement function with return value	2026-02-19 16:29:52 +00:00
George Thomas	40bb939302	Stick to Rust debug builds in shell to avoid C lib dir confusion	2026-02-19 16:29:52 +00:00
George Thomas	ddc8b9097d	Avoid absolute path hack	2026-02-19 16:29:52 +00:00
George Thomas	25875c7dc1	Move Haskell package to top level	2026-02-19 16:29:52 +00:00
George Thomas	2bab0ff94e	Rename Haskell.nix flake input	2026-02-19 16:29:52 +00:00
George Thomas	7d90990b74	Bump flake inputs	2026-02-19 16:29:52 +00:00
George Thomas	56370bb8a4	Reformat	2026-02-19 16:29:52 +00:00
George Thomas	b9e2e59174	Refactor Nix flake inputs	2026-02-19 16:29:52 +00:00
George Thomas	97a4f1c359	Disable dead code warning for whole Rust file	2026-02-19 16:29:52 +00:00
George Thomas	d8c12b5418	Call struct function with different arguments	2026-02-19 16:29:52 +00:00
George Thomas	0e54cccd74	Create manual high level wrapper	2026-02-19 16:29:52 +00:00
George Thomas	f1ec06fcca	Add Bash script dependencies to Nix shell	2026-02-19 16:29:52 +00:00
George Thomas	13b9324bc4	Simplify use sites by passing by value	2026-02-19 16:29:52 +00:00
George Thomas	5f1e49c4ce	Use ByteString	2026-02-19 16:29:52 +00:00
George Thomas	7e09c1d681	Add more complex data types	2026-02-19 16:29:52 +00:00
George Thomas	0a1911862f	Expose explicit C interface We drop the tools specifically designed for Haskell and Rust together, in favour of general tools for using each with C. Namely, we use Mozilla's `cbindgen` for generating header files from the Rust source, and Well-Typed's new `hs-bindgen` tool for generating Haskell from those header files. The Rust code here is essentially the result of expanding the old macro, then inlining and renaming internals. The most important thing here is that we're now relying solely on robust well-maintained tools.	2026-02-19 16:29:41 +00:00