Cabal revisions of type-unary-0.3.2
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: type-unary-Version: 0.3.2-Cabal-Version: >= 1.6-Synopsis: - Type-level and typed unary natural numbers, inequality proofs, vectors-Category: Data-Description:- Type-level and value-typed unary natural numbers, inequality proofs,- and length-typed vectors. There are probably many of these packages.- Perhaps consolidate.-Author: Conal Elliott-Maintainer: conal@conal.net-Homepage: https://github.com/conal/type-unary-Copyright: (c) 2009-2014 by Conal Elliott-License: BSD3-License-File: COPYING-Stability: provisional-build-type: Simple-data-files: src/.ghci--source-repository head- type: git- location: git://github.com/conal/type-unary--Library- hs-Source-Dirs: src- Extensions:- Build-Depends: base >=4 && < 5- , constraints- , newtype-generics- , ty >= 0.1.5- , vector-space- , applicative-numbers- Exposed-Modules: - TypeUnary.TyNat- TypeUnary.Nat- TypeUnary.Vec- - ghc-options: -Wall+Name: type-unary +Version: 0.3.2 +x-revision: 1 +Cabal-Version: >= 1.6 +Synopsis: + Type-level and typed unary natural numbers, inequality proofs, vectors +Category: Data +Description: + Type-level and value-typed unary natural numbers, inequality proofs, + and length-typed vectors. There are probably many of these packages. + Perhaps consolidate. +Author: Conal Elliott +Maintainer: conal@conal.net +Homepage: https://github.com/conal/type-unary +Copyright: (c) 2009-2014 by Conal Elliott +License: BSD3 +License-File: COPYING +Stability: provisional +build-type: Simple +data-files: src/.ghci + +source-repository head + type: git + location: git://github.com/conal/type-unary + +Library + hs-Source-Dirs: src + Extensions: + Build-Depends: base >=4.8 && < 5 + , constraints + , newtype-generics + , ty >= 0.1.5 + , vector-space + , applicative-numbers + Exposed-Modules: + TypeUnary.TyNat + TypeUnary.Nat + TypeUnary.Vec + + ghc-options: -Wall
revision 2
Name: type-unary Version: 0.3.2 -x-revision: 1 +x-revision: 2 Cabal-Version: >= 1.6 Synopsis: Type-level and typed unary natural numbers, inequality proofs, vectors Extensions: Build-Depends: base >=4.8 && < 5 , constraints - , newtype-generics + , newtype-generics < 0.6 , ty >= 0.1.5 , vector-space , applicative-numbers