Adopt Project Manager

This also restricts the supported platforms to ones we have a chance of testing.

Author: sellout

.cache/git/config

@@ -0,0 +1,5 @@
+((nil
+  (fill-column . 100)
+  (indent-tabs-mode . nil)
+  (projectile-project-configure-cmd . "nix flake update")
+  (sentence-end-double-space . nil)))

.cache/git/hooks/pre-push

@@ -0,0 +1,11 @@
+{
+  project:
+    {
+      description: "Interpret Haskell programs into any cartesian closed category.",
+      name: "categorifier",
+      repo: "con-kitty/categorifier",
+      summary: "Defining novel interpretations of Haskell programs",
+      version: "0.1.0.0",
+    },
+  type: { name: "haskell" },
+}

.cache/vale/Vocab/categorifier/accept.txt

@@ -0,0 +1,106 @@
+{config, flaky, lib, self, ...}: {
+  project = {
+    name = "categorifier";
+    summary = "Defining novel interpretations of Haskell programs";
+  };
+
+  imports = [
+    ./github-ci.nix
+    ./hlint.nix
+  ];
+
+  ## dependency management
+  services.renovate.enable = true;
+
+  ## development
+  programs = {
+    direnv.enable = true;
+    # This should default by whether there is a .git file/dir (and whether it’s
+    # a file (worktree) or dir determines other things – like where hooks
+    # are installed.
+    git = {
+      enable = true;
+      ignores = [
+        # Cabal build
+        "dist-newstyle"
+      ];
+    };
+  };
+
+  ## formatting
+  editorconfig.enable = true;
+  project.file.".dir-locals.el".source = lib.mkForce ../emacs/.dir-locals.el;
+  programs = {
+    treefmt = {
+      enable = true;
+      ## Haskell formatter
+      programs.ormolu.enable = true;
+    };
+    vale = {
+      enable = true;
+      excludes = [
+        "*.cabal"
+        "*.hs"
+        "*.lhs"
+        "./cabal.project"
+      ];
+      vocab.${config.project.name}.accept = [
+        "bugfix"
+        "Categorifier"
+        "categorified"
+        "categorify"
+        "comonad"
+        "Conal"
+        "concat"
+        "conditionalize"
+        "functor"
+        "GADT"
+        "GHC"
+        "Hask"
+        "inline"
+        "inlining"
+        "invasive"
+        "Kleisli"
+        "Kmett"
+        "[Mm]onoidal"
+        "monomorphization"
+        "pragma"
+        "unfolding"
+      ];
+    };
+  };
+
+  ## CI
+  services.garnix = {
+    enable = true;
+    builds.exclude = [
+      # TODO: Remove once garnix-io/issues#17 is fixed.
+      "devShells.aarch64-darwin.ghc928"
+      # TODO: Remove once garnix-io/garnix#285 is fixed.
+      "homeConfigurations.x86_64-darwin-${config.project.name}-example"
+    ];
+  };
+  ## FIXME: Shouldn’t need `mkForce` here (or to duplicate the base contexts).
+  ##        Need to improve module merging.
+  services.github.settings.branches.main.protection.required_status_checks.contexts =
+    lib.mkForce
+      (map (ghc: "CI / build (${ghc}) (pull_request)") self.lib.nonNixTestedGhcVersions
+      ++ lib.concatMap flaky.lib.garnixChecks (
+        lib.concatMap (ghc: [
+          (sys: "devShell ghc${ghc} [${sys}]")
+          (sys: "package ghc${sys}_all [${sys}]")
+        ])
+        self.lib.testedGhcVersions
+        ++ [
+          (sys: "homeConfig ${sys}-${config.project.name}-example")
+          (sys: "package default [${sys}]")
+          ## FIXME: These are duplicated from the base config
+          (sys: "check formatter [${sys}]")
+          (sys: "devShell default [${sys}]")
+        ]));
+
+  ## publishing
+  services.flakehub.enable = true;
+  services.github.enable = true;
+  services.github.settings.repository.topics = ["category-theory" "plugin"];
+}

.config/emacs/.dir-locals.el

@@ -0,0 +1,46 @@
+{lib, self, ...}: {
+  services.github.workflow."build.yml".text = lib.generators.toYAML {} {
+    name = "CI";
+    on = {
+      push.branches = ["main"];
+      pull_request.types = [
+        "opened"
+        "synchronize"
+      ];
+    };
+    jobs.build = {
+      runs-on = "ubuntu-latest";
+      strategy = {
+        fail-fast = false;
+        ## TODO: Populate this as the difference between supported versions and
+        ##       available nix package sets.
+        matrix.ghc = self.lib.nonNixTestedGhcVersions;
+      };
+      env.CONFIG = "--enable-tests --enable-benchmarks";
+      steps = [
+        {uses = "actions/checkout@v2";}
+        {
+          uses = "haskell-actions/setup@v2";
+          id = "setup-haskell-cabal";
+          "with" = {
+            ghc-version = "\${{ matrix.ghc }}";
+            cabal-version = "3.10";
+          };
+        }
+        {run = "cabal v2-update";}
+        {run = "cabal v2-freeze $CONFIG";}
+        {
+          uses = "actions/cache@v2";
+          "with" = {
+            path = ''
+              ''${{ steps.setup-haskell-cabal.outputs.cabal-store }}
+              dist-newstyle
+            '';
+            key = "\${{ runner.os }}-\${{ matrix.ghc }}-\${{ hashFiles('cabal.project.freeze') }}";
+          };
+        }
+        {run = "cabal v2-test all $CONFIG";}
+      ];
+    };
+  };
+}

.config/mustache.yaml

@@ -0,0 +1,76 @@
+{lib, pkgs, ...}: {
+  ## Haskell linter
+  programs.treefmt.programs.hlint.enable = true;
+  ## TODO: Wrap this to find our generated hlint config in the store.
+  project.devPackages = [pkgs.hlint];
+  project.file.".hlint.yaml".text = lib.generators.toYAML {} [
+    {fixity = "infixl 4 <*\>";}
+    {fixity = "infixr 1 =<\<";}
+    {fixity = "infixr 1 <=\<";}
+
+    {group = {name = "dollar"; enabled = true;};}
+    {group = {name = "future"; enabled = true;};}
+    {group = {name = "generalise"; enabled = true;};}
+
+    {ignore = {name = "Eta reduce";};}
+    {ignore = {name = "Evaluate";};}
+    {ignore = {name = "Reduce duplication";};}
+    {ignore = {name = "Use list comprehension";};}
+    {ignore = {name = "Use section";};}
+
+    {
+      package = {
+        name = "monad";
+        modules = ["import Control.Monad"];
+      };
+    }
+
+    {
+      package = {
+        name = "traversable";
+        modules = [
+          "import Data.Foldable"
+          "import Data.Traversable"
+        ];
+      };
+    }
+
+    {
+      group = {
+        name = "generalize";
+        imports = [
+          "package monad"
+          "package traversable"
+        ];
+        rules = [
+          {warn = {lhs = "forM"; rhs = "for";};}
+          {warn = {lhs = "forM_"; rhs = "for_";};}
+          {warn = {lhs = "map"; rhs = "fmap";};}
+          {warn = {lhs = "mapM"; rhs = "traverse";};}
+          {warn = {lhs = "mapM_"; rhs = "traverse_";};}
+          {warn = {lhs = "return"; rhs = "pure";};}
+          {warn = {lhs = "sequence"; rhs = "sequenceA";};}
+          {warn = {lhs = "sequence_"; rhs = "sequenceA_";};}
+        ];
+      };
+    }
+
+    {
+      group = {
+        name = "generalize";
+        imports = ["package traversable"];
+        rules = [
+          {
+            hint = {
+              lhs = "maybe (pure ())";
+              rhs = "traverse_";
+              note = "IncreasesLaziness";
+            };
+          }
+          {warn = {lhs = "mappend"; rhs = "(<>)";};}
+          {warn = {lhs = "(++)"; rhs = "(<>)";};}
+        ];
+      };
+    }
+  ];
+}