Move Haskell package to top level

Rename Haskell.nix flake input
Bump flake inputs
2026-02-19 14:15:14 +00:00 · 2026-02-19 14:11:45 +00:00 · 2026-02-19 14:11:45 +00:00 · 2026-02-19 14:11:45 +00:00 · 2026-02-19 14:11:45 +00:00 · 2026-02-19 14:11:45 +00:00
20 changed files with 1234 additions and 95 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,3 +1,3 @@
-dist*/
+dist*
 result
 target
--- a/.gitmodules
+++ b/.gitmodules
@ -1,3 +0,0 @@
-[submodule "inputs/real"]
-	path = inputs/private
-	url = git@github.com:georgefst/aoc-private-inputs.git
--- a/cabal.project
+++ b/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,
--- a/exe/GarnetRs/Wrapped.hs
+++ b/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
--- a/exe/Main.hs
+++ b/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
--- 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,13 +54,10 @@
        packages = with pkgs; [
          bacon
          ghcid
+          inputs.hs-bindgen.packages.${system}.hs-bindgen-cli
          rust-analyzer
+          rust-cbindgen
        ];
      };
-      packages = {
-        haskell = haskell.packages."garnet:exe:garnet";
-        rust = rust.buildPackage { src = rust.cleanCargoSource ./rust; };
-      };
-    }
-    );
+    });
 }
--- a/haskell/garnet.cabal
+++ b/haskell/garnet.cabal
@ -1,14 +1,31 @@
 cabal-version: 3.0
 name: garnet
 version: 0.1.0.0
-license-file: LICENSE
+license: BSD-3-Clause
 author: Patrick Aldis
-maintainer: patricktaldis@gmail.com
+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
-    hs-source-dirs: .
    other-modules:
+        GarnetRs.Wrapped
+    hs-source-dirs: exe
    default-language: GHC2024
    default-extensions:
        BlockArguments
@ -33,3 +50,6 @@ executable garnet
        -with-rtsopts=-N
    build-depends:
        base >= 4.14,
+        bytestring,
+        garnet-generated,
+        hs-bindgen-runtime,
--- a/127
+++ b/127
@ -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."
--- a/generated/GarnetRs.hs
+++ b/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")
--- a/generated/GarnetRs/FunPtr.hs
+++ b/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
--- a/generated/GarnetRs/Safe.hs
+++ b/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)
--- a/generated/GarnetRs/Unsafe.hs
+++ b/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)
--- a/haskell/LICENSE
+++ b/haskell/LICENSE
@ -1,30 +0,0 @@
-Copyright (c) 2025, George Thomas
-
-All rights reserved.
-
-Redistribution and use in source and binary forms, with or without
-modification, are permitted provided that the following conditions are met:
-
-    * Redistributions of source code must retain the above copyright
-      notice, this list of conditions and the following disclaimer.
-
-    * Redistributions in binary form must reproduce the above
-      copyright notice, this list of conditions and the following
-      disclaimer in the documentation and/or other materials provided
-      with the distribution.
-
-    * Neither the name of George Thomas nor the names of other
-      contributors may be used to endorse or promote products derived
-      from this software without specific prior written permission.
-
-THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
-"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
-LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
-A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
-OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
-SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
-LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
-DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
-THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
-(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
-OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
--- a/haskell/Main.hs
+++ b/haskell/Main.hs
@ -1,5 +0,0 @@
-module Main (main) where
-
-main :: IO ()
-main = do
-    putStrLn "Hello from Haskell"
--- a/rust/Cargo.lock
+++ b/rust/Cargo.lock
@ -3,5 +3,5 @@
 version = 4

 [[package]]
-name = "garnet"
+name = "garnet-rs"
 version = "0.1.0"
--- a/rust/Cargo.toml
+++ b/rust/Cargo.toml
@ -1,8 +1,8 @@
 [package]
-name = "garnet"
+name = "garnet-rs"
 version = "0.1.0"
 edition = "2024"

-[[bin]]
-path = "main.rs"
-name = "garnet"
+[lib]
+path = "lib.rs"
+crate-type = ["staticlib"]
--- a/rust/garnet_rs.h
+++ b/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);
--- a/rust/lib.rs
+++ b/rust/lib.rs
@ -0,0 +1,35 @@
+#![allow(dead_code)]
+
+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, 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))
+}
--- a/rust/main.rs
+++ b/rust/main.rs
@ -1,3 +0,0 @@
-fn main() {
-    println!("Hello from Rust");
-}
Author	SHA1	Message	Date
George Thomas	569fae5d32	Move Haskell package to top level	2026-02-19 14:15:14 +00:00
George Thomas	dba9dbfc78	Rename Haskell.nix flake input	2026-02-19 14:11:45 +00:00
George Thomas	738315da88	Bump flake inputs	2026-02-19 14:11:45 +00:00
George Thomas	4606c040f8	Reformat	2026-02-19 14:11:45 +00:00
George Thomas	f539fe609a	Refactor Nix flake inputs	2026-02-19 14:11:45 +00:00
George Thomas	577bc54ec4	Disable dead code warning for whole Rust file	2026-02-19 14:11:45 +00:00
George Thomas	ca87a67686	Call struct function with different arguments	2026-02-19 14:11:32 +00:00
George Thomas	e740db0a24	Create manual high level wrapper	2026-02-19 14:11:05 +00:00
George Thomas	7c988765fa	Add Bash script dependencies to Nix shell	2026-02-19 13:57:14 +00:00
George Thomas	6a600f3aec	Simplify use sites by passing by value	2026-02-19 13:57:14 +00:00
George Thomas	2e7770df7a	Use ByteString	2026-02-19 13:57:14 +00:00
George Thomas	0f88ebe316	Add more complex data types	2026-02-19 13:57:14 +00:00
George Thomas	e434f0d4b0	Expose explicit C interface	2026-02-19 13:57:14 +00:00
George Thomas	60f5f23b2d	Move Haskell executable in to subdirectory	2026-02-19 13:57:14 +00:00
George Thomas	400960b0be	Remove empty `other-modules`	2026-02-19 13:57:14 +00:00
George Thomas	7bb41f6825	Call Rust from Haskell with `cargo-cabal` and `hs-bindgen` See https://sraka.xyz/posts/hs-bindgen-introduction.html. For now, this is a shell-based workflow, rather than using Nix to build everything, i.e. `nix develop` works but `nix build` doesn't. And `cargo build` has to be called manually to create the C library, rather than `cabal` being clever enough to invoke it itself. We ran `cargo cabal init` from the `rust` directory (`nix shell github:yvan-sraka/cargo-cabal`), which generated `hsbindgen.toml` (which we use), and `Setup.lhs` (which just added `extra-lib-dirs`, and with the wrong paths, so we dspecify those statically instead in `garnet.cabal`). We also follow its advice to use `staticlib`. Also, after we ran the first `cargo build` (requiring a `mkdir rust/src` before it would run), we took the generated the Haskell file, and moved the main contents in to `Main.hs` manually.	2026-02-19 13:57:14 +00:00
George Thomas	ff8826d758	Fix authorship info	2026-02-19 13:57:14 +00:00
George Thomas	4ed5c5e1ae	Simplify `.gitignore`	2026-02-19 13:57:14 +00:00
George Thomas	f664efc0e2	Remove stray Git submodule config	2026-02-19 13:56:00 +00:00