From 41056559f22d62665fdcf8924b63147996d4cfc7 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 8 May 2022 19:29:03 +0200
Subject: [PATCH] add .#lib and .#test devShell aliases

---
 flake.nix | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/flake.nix b/flake.nix
index 3b8fb11..0e0885e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -19,22 +19,22 @@
         };
         builders = pkgs.idris2-pkgs._builders;
 
-        packages =
-          let inherit (builders) idrisPackage;
-          in rec {
-            quox-lib   = idrisPackage ./lib   { };
-            quox       = idrisPackage ./exe   { extraPkgs = packages; };
-            quox-tests = idrisPackage ./tests { extraPkgs = packages; };
-          };
+        packages = rec {
+          quox-lib   = builders.idrisPackage ./lib   { };
+          quox       = builders.idrisPackage ./exe   { extraPkgs = packages; };
+          quox-tests = builders.idrisPackage ./tests { extraPkgs = packages; };
+        };
 
         devShells =
           let mkDevShell = _: pkg:
                 pkgs.mkShell { buildInputs = [ (builders.devEnv pkg) ]; };
-          in builtins.mapAttrs mkDevShell packages;
+              shells = packages //
+                (with packages; { lib = quox-lib; test = quox-tests; });
+          in builtins.mapAttrs mkDevShell shells;
       in {
         inherit packages devShells;
         defaultPackage = packages.quox;
-        devShell = devShells.quox-lib;
+        devShell = devShells.lib;
       }
     );
 }