Merge pull request #3765 from Fuuzetsu/sized

haskell: add sized package (+ deps)
This commit is contained in:
Peter Simons 2014-08-24 19:59:15 +02:00
commit fce4017f32
5 changed files with 78 additions and 0 deletions

View file

@ -0,0 +1,16 @@
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
{ cabal, singletons, tagged, void }:
cabal.mkDerivation (self: {
pname = "equational-reasoning";
version = "0.2.0.4";
sha256 = "1f94y6h7qg7rck7rxf6j8sygkh1xmfk0z1lr71inx6s74agjyc9j";
buildDepends = [ singletons tagged void ];
meta = {
description = "Proof assistant for Haskell using DataKinds & PolyKinds";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
maintainers = with self.stdenv.lib.maintainers; [ fuuzetsu ];
};
})

View file

@ -0,0 +1,16 @@
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
{ cabal }:
cabal.mkDerivation (self: {
pname = "monomorphic";
version = "0.0.3.2";
sha256 = "13zw506wifz2lf7n4a48rkn7ym44jpiqag21zc1py6xxdlkbrhh2";
meta = {
homepage = "https://github.com/konn/monomorphic";
description = "Library to convert polymorphic datatypes to/from its monomorphic represetation";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
maintainers = with self.stdenv.lib.maintainers; [ fuuzetsu ];
};
})

View file

@ -0,0 +1,18 @@
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
{ cabal, constraints, ListLike, monomorphic, typeNatural, vector }:
cabal.mkDerivation (self: {
pname = "sized";
version = "0.1.0.0";
sha256 = "00n9fb7kk3c6dy4j19d9ikmynllpxc7yd51sign0rhvnasmyrghl";
buildDepends = [
constraints ListLike monomorphic typeNatural vector
];
meta = {
description = "Sized sequence data-types";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
maintainers = with self.stdenv.lib.maintainers; [ fuuzetsu ];
};
})

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 ];
};
})

View file

@ -751,6 +751,8 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
entropy = callPackage ../development/libraries/haskell/entropy {};
equationalReasoning = callPackage ../development/libraries/haskell/equational-reasoning {};
equivalence_0_2_3 = callPackage ../development/libraries/haskell/equivalence/0.2.3.nix {};
equivalence_0_2_5 = callPackage ../development/libraries/haskell/equivalence/0.2.5.nix {};
equivalence = self.equivalence_0_2_5;
@ -1637,6 +1639,8 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
mongoDB = callPackage ../development/libraries/haskell/mongoDB {};
monomorphic = callPackage ../development/libraries/haskell/monomorphic {};
monoTraversable = callPackage ../development/libraries/haskell/mono-traversable {};
mmorph = callPackage ../development/libraries/haskell/mmorph {};
@ -2171,6 +2175,8 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
silently = callPackage ../development/libraries/haskell/silently {};
sized = callPackage ../development/libraries/haskell/sized {};
sizedTypes = callPackage ../development/libraries/haskell/sized-types {};
skein = callPackage ../development/libraries/haskell/skein {};
@ -2550,6 +2556,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 {