ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-25 20:34:52 +03:00
Code Issues Projects Releases Wiki Activity

haskell-type-natural: add 0.2.3.1

Browse Source
This commit is contained in:
Mateusz Kowalczyk 2014-08-24 17:01:08 +01:00
parent a39488f4f1
commit 780070afa0
2 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/development/libraries/haskell/type-natural/default.nix Normal file
View File

@ -0,0 +1,20 @@
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
{ cabal, constraints, equationalReasoning, monomorphic, singletons
}:
cabal.mkDerivation (self: {
pname = "type-natural";
version = "0.2.3.1";
sha256 = "0qi5b3d0vkm1b2kda3ifw6g7djx91wj7q36la02yadlvmb4jcp1g";
buildDepends = [
constraints equationalReasoning monomorphic singletons
];
meta = {
homepage = "https://github.com/konn/type-natural";
description = "Type-level natural and proofs of their properties";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
maintainers = with self.stdenv.lib.maintainers; [ fuuzetsu ];
};
})

2
pkgs/top-level/haskell-packages.nix
View File

@ -2554,6 +2554,8 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
typeEquality = callPackage ../development/libraries/haskell/type-equality {};
typeNatural = callPackage ../development/libraries/haskell/type-natural {};
typeLevelNaturalNumber = callPackage ../development/libraries/haskell/type-level-natural-number {};
tz = callPackage ../development/libraries/haskell/tz {