mirror of
https://github.com/coot/free-category.git
synced 2024-11-23 09:55:43 +03:00
20d61b2355
* Efficient representation of free category Using type aligned real time queues (Okasaki, 'Purely Functional Data Structures') to represent catanable type allign lists (free categories). Composition is O(1) and right fold is O(n), where n is number of transitions. * Bump version to 0.0.3 Make it compile on ghc802. * Updated CI configuration
39 lines
1.6 KiB
Nix
39 lines
1.6 KiB
Nix
{ compiler ? "ghc865" }:
|
|
with builtins;
|
|
let
|
|
rev = if compiler == "ghc802"
|
|
|| compiler == "ghc822"
|
|
|| compiler == "ghc844"
|
|
then "722fcbbb80b2142583e9266efe77992f8e32ac4c"
|
|
else "81760f32353fa7f309a49fda17d90f43ac1e9a42";
|
|
url = "https://github.com/NixOS/nixpkgs/archive/${rev}.tar.gz";
|
|
url802 = "https://github.com/NixOS/nixpkgs/archive/${rev802}.tar.gz";
|
|
config =
|
|
{ packageOverrides = super:
|
|
let self = super.pkgs;
|
|
lib = super.haskell.lib;
|
|
overrides = self: super: {
|
|
free-algebras = super.callPackage ./free-algebras.nix {};
|
|
};
|
|
in {
|
|
haskell = super.haskell // {
|
|
packages = super.haskell.packages // {
|
|
ghc844 = super.haskell.packages.ghc844.override { inherit overrides; };
|
|
ghc822 = super.haskell.packages.ghc822.override { inherit overrides; };
|
|
ghc802 = super.haskell.packages.ghc802.override {
|
|
overrides = self: super: overrides self super // {
|
|
ansi-terminal = super.callPackage ./ansi-terminal-0.6.3.1.nix {};
|
|
async = super.callPackage ./async-2.1.1.1.nix {};
|
|
lifted-async = super.callPackage ./lifted-async-0.9.3.3.nix {};
|
|
exceptions = super.callPackage ./exceptions-0.8.3.nix {};
|
|
stm = super.callPackage ./stm-2.4.5.1.nix {};
|
|
concurrent-output = super.callPackage ./concurrent-output-1.9.2.nix {};
|
|
};
|
|
};
|
|
};
|
|
};
|
|
};
|
|
};
|
|
nixpkgs = import (fetchTarball { inherit url; }) { inherit config; };
|
|
in nixpkgs
|