flake.nix: init

Author: vaibhavsagar

callcc/default.nix

@@ -1,3 +1,4 @@
+{ system ? builtins.currentSystem }:
 let
   pkgs = import ../pkgs.nix;
   overlay = sel: sup: {
@@ -12,7 +13,7 @@ let
       };
     };
   };
-  nixpkgs = (import pkgs.nixpkgs { overlays = [ overlay ]; });
+  nixpkgs = (import pkgs.nixpkgs { inherit system; overlays = [ overlay ]; });
   jupyterlab = nixpkgs.python3.withPackages (ps: [ ps.jupyterlab ps.notebook ]);
 in nixpkgs.callPackage "${pkgs.ihaskell}/nix/release.nix" { compiler = "ghc948"; }{
   extraEnvironmentBinaries = [jupyterlab];

chart-diagrams/default.nix

@@ -1,3 +1,4 @@
+{ system ? builtins.currentSystem }:
 let
   pkgs = import ../pkgs.nix;
   overlay = sel: sup: {
@@ -12,7 +13,7 @@ let
       };
     };
   };
-  nixpkgs = (import pkgs.nixpkgs { overlays = [ overlay ]; });
+  nixpkgs = (import pkgs.nixpkgs { inherit system; overlays = [ overlay ]; });
   jupyterlab = nixpkgs.python3.withPackages (ps: [ ps.jupyterlab ps.notebook ]);
 in nixpkgs.callPackage "${pkgs.ihaskell}/nix/release.nix" { compiler = "ghc948"; }{
   extraEnvironmentBinaries = [jupyterlab];

codensity/default.nix

@@ -1,3 +1,4 @@
+{ system ? builtins.currentSystem }:
 let
   pkgs = import ../pkgs.nix;
   overlay = sel: sup: {
@@ -12,7 +13,7 @@ let
       };
     };
   };
-  nixpkgs = (import pkgs.nixpkgs { overlays = [ overlay ]; });
+  nixpkgs = (import pkgs.nixpkgs { inherit system; overlays = [ overlay ]; });
   jupyterlab = nixpkgs.python3.withPackages (ps: [ ps.jupyterlab ps.notebook ]);
 in nixpkgs.callPackage "${pkgs.ihaskell}/nix/release.nix" { compiler = "ghc948"; }{
   extraEnvironmentBinaries = [jupyterlab];

continuations/default.nix

@@ -1,3 +1,4 @@
+{ system ? builtins.currentSystem }:
 let
   pkgs = import ../pkgs.nix;
   overlay = sel: sup: {
@@ -12,7 +13,7 @@ let
       };
     };
   };
-  nixpkgs = (import pkgs.nixpkgs { overlays = [ overlay ]; });
+  nixpkgs = (import pkgs.nixpkgs { inherit system; overlays = [ overlay ]; });
   jupyterlab = nixpkgs.python3.withPackages (ps: [ ps.jupyterlab ps.notebook ]);
 in nixpkgs.callPackage "${pkgs.ihaskell}/nix/release.nix" { compiler = "ghc948"; }{
   extraEnvironmentBinaries = [jupyterlab];

default.nix

@@ -1,33 +1,10 @@
-let
-  pkgs    = import ./pkgs.nix;
-  nixpkgs = import pkgs.nixpkgs {};
-  notebooks = map (folder: {
-    name = folder;
-    path = import (./. + "/${folder}");
-  });
-in nixpkgs.linkFarm "notebooks" (notebooks [
-  "callcc"
-  "chart-diagrams"
-  "codensity"
-  "continuations"
-  "deriving-via"
-  "docker"
-  "dragon-curve"
-  "efficient-combinator-parsers"
-  "git-from-scratch"
-  "graphviz"
-  "hamt"
-  "hs-updater"
-  "intmap"
-  "lambda"
-  "mph"
-  "refactoring-tarjan"
-  "revisiting-monadic-parsing-haskell"
-  "revisiting-poor-mans-concurrency"
-  "smt"
-  "solver"
-  "tarjan"
-  "trees-that-shrink"
-  "typeclasses"
-  "zulip-api"
-])
+(import
+  (
+    let lock = builtins.fromJSON (builtins.readFile ./flake.lock); in
+    fetchTarball {
+      url = lock.nodes.flake-compat.locked.url or "https://github.com/edolstra/flake-compat/archive/${lock.nodes.flake-compat.locked.rev}.tar.gz";
+      sha256 = lock.nodes.flake-compat.locked.narHash;
+    }
+  )
+  { src = ./.; }
+).defaultNix

deriving-via/default.nix

@@ -1,3 +1,4 @@
+{ system ? builtins.currentSystem }:
 let
   pkgs = import ../pkgs.nix;
   overlay = sel: sup: {
@@ -12,7 +13,7 @@ let
       };
     };
   };
-  nixpkgs = (import pkgs.nixpkgs { overlays = [ overlay ]; });
+  nixpkgs = (import pkgs.nixpkgs { inherit system; overlays = [ overlay ]; });
   jupyterlab = nixpkgs.python3.withPackages (ps: [ ps.jupyterlab ps.notebook ]);
 in nixpkgs.callPackage "${pkgs.ihaskell}/nix/release.nix" { compiler = "ghc948"; }{
   extraEnvironmentBinaries = [jupyterlab];

docker/default.nix

@@ -1,3 +1,4 @@
+{ system ? builtins.currentSystem }:
 let
   pkgs = import ../pkgs.nix;
   overlay = sel: sup: {
@@ -12,7 +13,7 @@ let
       };
     };
   };
-  nixpkgs = (import pkgs.nixpkgs { overlays = [ overlay ]; });
+  nixpkgs = (import pkgs.nixpkgs { inherit system; overlays = [ overlay ]; });
   jupyterlab = nixpkgs.python3.withPackages (ps: [ ps.jupyterlab ps.notebook ]);
   NB_USER = "jovyan";
   NB_UID = "1000";

dragon-curve/default.nix

@@ -1,3 +1,4 @@
+{ system ? builtins.currentSystem }:
 let
   pkgs = import ../pkgs.nix;
   overlay = sel: sup: {
@@ -12,7 +13,7 @@ let
       };
     };
   };
-  nixpkgs = (import pkgs.nixpkgs { overlays = [ overlay ]; });
+  nixpkgs = (import pkgs.nixpkgs { inherit system; overlays = [ overlay ]; });
   jupyterlab = nixpkgs.python3.withPackages (ps: [ ps.jupyterlab ps.notebook ]);
 in nixpkgs.callPackage "${pkgs.ihaskell}/nix/release.nix" { compiler = "ghc948"; }{
   extraEnvironmentBinaries = [jupyterlab];

efficient-combinator-parsers/default.nix

@@ -1,3 +1,4 @@
+{ system ? builtins.currentSystem }:
 let
   pkgs = import ../pkgs.nix;
   overlay = sel: sup: {
@@ -12,7 +13,7 @@ let
       };
     };
   };
-  nixpkgs = (import pkgs.nixpkgs { overlays = [ overlay ]; });
+  nixpkgs = (import pkgs.nixpkgs { inherit system; overlays = [ overlay ]; });
   jupyterlab = nixpkgs.python3.withPackages (ps: [ ps.jupyterlab ps.notebook ]);
 in nixpkgs.callPackage "${pkgs.ihaskell}/nix/release.nix" { compiler = "ghc948"; }{
   extraEnvironmentBinaries = [jupyterlab];