Nix flake

.envrc

@@ -0,0 +1 @@
+use flake

.hlint.yaml

@@ -0,0 +1,4 @@
+- ignore:
+    name: "Redundant if"
+- ignore:
+    name: "Use unless"

README.md

@@ -91,7 +91,7 @@ Here is the type:
 
 ```haskell
 newtype Path b t = Path FilePath
-  deriving (Data, Typeable, Generic)
+  deriving (Data, Generic)
 ```
 
 The type variables are:
@@ -102,15 +102,15 @@ The type variables are:
 The base types can be filled with these:
 
 ```haskell
-data Abs deriving (Typeable)
-data Rel deriving (Typeable)
+data Abs
+data Rel
 ```
 
 And the type can be filled with these:
 
 ```haskell
-data File deriving (Typeable)
-data Dir deriving (Typeable)
+data File
+data Dir
 ```
 
 (Why not use data kinds like `data Type = File | Dir`? Because that imposes

cabal.project

@@ -0,0 +1,2 @@
+packages: */*.cabal
+test-show-details: direct

default.nix

@@ -0,0 +1,48 @@
+{ mkDerivation
+, aeson
+, base
+, bytestring
+, deepseq
+, exceptions
+, filepath
+, genvalidity
+, genvalidity-hspec
+, hashable
+, hspec
+, lib
+, QuickCheck
+, template-haskell
+, text
+, validity-bytestring
+}:
+mkDerivation {
+  pname = "path";
+  version = "0.9.6";
+  src = ./.;
+  libraryHaskellDepends = [
+    aeson
+    base
+    deepseq
+    exceptions
+    filepath
+    hashable
+    template-haskell
+    text
+  ];
+  testHaskellDepends = [
+    aeson
+    base
+    bytestring
+    exceptions
+    filepath
+    genvalidity
+    genvalidity-hspec
+    hspec
+    QuickCheck
+    template-haskell
+    validity-bytestring
+  ];
+  doHaddock = false;
+  description = "Support for well-typed paths";
+  license = lib.licenses.bsd3;
+}