diff --git a/horizon.dhall b/horizon.dhall index 10b53a4e4367a8230680570a3c4035ae0616d46d..c33b0ee6b5331c28634408e690d78c93a1cfdccb 100644 --- a/horizon.dhall +++ b/horizon.dhall @@ -148,6 +148,7 @@ let otherLibraries = , H.callHackage "contra-tracer" "0.2.0.0" , H.callHackage "data-ordlist" "0.4.7.0" , H.callHackage "dependent-sum-template" "0.1.1.1" + , H.callHackage "deque" "0.4.4" , H.callHackage "deriving-compat" "0.6.1" , H.callHackage "dictionary-sharing" "0.1.0.0" , H.callHackage "doctest-discover" "0.2.0.0" diff --git a/overlay.nix b/overlay.nix index e8f40ac9bc2b31b09718deb315c95308c3711b1b..e2fb45077b94fde84a77783e82fcb134dfb55a4b 100644 --- a/overlay.nix +++ b/overlay.nix @@ -97,6 +97,8 @@ final: prev: with pkgs.haskell.lib; { dependent-sum-template = final.callPackage (./pkgs/dependent-sum-template.nix) { }; + deque = final.callPackage (./pkgs/deque.nix) { }; + deriving-compat = final.callPackage (./pkgs/deriving-compat.nix) { }; dictionary-sharing = final.callPackage (./pkgs/dictionary-sharing.nix) { }; diff --git a/pkgs/deque.nix b/pkgs/deque.nix new file mode 100644 index 0000000000000000000000000000000000000000..7f659138afd09ab4ed66f7893624e13a91ddc83c --- /dev/null +++ b/pkgs/deque.nix @@ -0,0 +1,42 @@ +{ mkDerivation +, QuickCheck +, base +, deepseq +, hashable +, lib +, mtl +, quickcheck-instances +, rerebase +, strict-list +, tasty +, tasty-hunit +, tasty-quickcheck +}: +mkDerivation { + pname = "deque"; + version = "0.4.4"; + sha256 = "d646d82001cc6b1f17a969ab1d479c2f65f31547c1741dfd7d7c12f7709319f4"; + isLibrary = true; + isExecutable = false; + enableSeparateDataOutput = false; + libraryHaskellDepends = [ base deepseq hashable mtl strict-list ]; + testHaskellDepends = [ + QuickCheck + quickcheck-instances + rerebase + tasty + tasty-hunit + tasty-quickcheck + ]; + enableLibraryProfiling = true; + enableExecutableProfiling = true; + doHaddock = false; + jailbreak = true; + doCheck = false; + doBenchmark = false; + hyperlinkSource = false; + homepage = "https://github.com/nikita-volkov/deque"; + description = "Double-ended queues"; + license = lib.licenses.mit; + broken = false; +}