kan-extensions: init at 5.2.5

manifest.dhall

@@ -314,6 +314,7 @@ in  [ callHackage "Cabal" "3.8.1.0"
     , callHackage "invariant" "0.6"
     , callHackage "ipynb" "0.2"
     , callHackage "iproute" "1.7.12"
+    , callHackage "kan-extensions" "5.2.5"
     , callCabal2nix
         "kvstore-effectful"
         "https://github.com/haskell-effectful/kvstore-effectful"

overlay.nix

@@ -397,6 +397,8 @@ final: prev: with pkgs.haskell.lib; {
 
   ipynb = prev.callPackage (./pkgs/ipynb.nix) { };
 
+  kan-extensions = prev.callPackage (./pkgs/kan-extensions.nix) { };
+
   kvstore-effectful = prev.callPackage (./pkgs/kvstore-effectful.nix) { };
 
   kvstore-effectful-cache = prev.callPackage (./pkgs/kvstore-effectful-cache.nix) { };

pkgs/kan-extensions.nix

+{ mkDerivation
+, adjunctions
+, array
+, base
+, comonad
+, containers
+, contravariant
+, distributive
+, free
+, invariant
+, lib
+, mtl
+, profunctors
+, semigroupoids
+, tagged
+, transformers
+, transformers-compat
+}:
+mkDerivation {
+  pname = "kan-extensions";
+  version = "5.2.5";
+  sha256 = "b914dccc040caf1d8764b99df1028dad3e4fdf46c262192e54b59c9da66ead22";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [
+    adjunctions
+    array
+    base
+    comonad
+    containers
+    contravariant
+    distributive
+    free
+    invariant
+    mtl
+    profunctors
+    semigroupoids
+    tagged
+    transformers
+    transformers-compat
+  ];
+  enableLibraryProfiling = false;
+  enableExecutableProfiling = false;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  homepage = "http://github.com/ekmett/kan-extensions/";
+  description = "Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads";
+  license = lib.licenses.bsd3;
+  broken = false;
+}