Add containers-lib nix package

Author: HeinrichApfelmus

.github/workflows/nix-ci.yml

@@ -24,12 +24,14 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        derivation: [agda2hs, base-lib]
+        derivation: [agda2hs, base-lib, containers-lib]
         include:
           - pretty: "Compile agda2hs"
             derivation: agda2hs
           - pretty: "Typecheck with Agda"
             derivation: base-lib
+          - pretty: "Typecheck with Agda"
+            derivation: containers-lib
     steps:
     - uses: actions/checkout@v3
     - uses: cachix/install-nix-action@v22

nix/default.nix

@@ -17,8 +17,17 @@ let
     '';
     src = ../lib/base;
   };
+
+  containers-lib = pkgs.agdaPackages.mkDerivation {
+    pname = "containers";
+    meta = { };
+    version = "0.8";
+    buildInputs = [ base-lib ];
+    everythingFile = "./agda/containers.agda";
+    src = ../lib/containers;
+  };
 in
 {
   inherit (lib) agda2hs;
-  inherit base-lib;
+  inherit base-lib containers-lib;
 }