Cabal revisions of typelits-witnesses-0.2.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: typelits-witnesses-version: 0.2.0.0-synopsis: Existential witnesses, singletons, and classes for operations on GHC TypeLits-description: Provides witnesses for 'KnownNat' and 'KnownSymbol'- instances for various operations on GHC TypeLits - in- particular, the arithmetic operations defined in- "GHC.TypeLits", and also for type-level lists of- 'KnownNat' and 'KnownSymbol' instances.- .- This is useful for situations where you have- @'KnownNat' n@, and you want to prove to GHC- @'KnownNat' (n + 3)@, or @'KnownNat' (2*n + 4)@.- .- It's also useful for when you want to work with type- level lists of 'KnownNat' or 'KnownSymbol' instances and- singletons for traversing them, and be able to apply- analogies of 'natVal' and 'symbolVal' to lists with- analogies for 'SomeNat' and 'SomeSymbol'.- .- See README for more information.-homepage: https://github.com/mstksg/typelits-witnesses-license: MIT-license-file: LICENSE-author: Justin Le-maintainer: justin@jle.im-copyright: (c) Justin Le 2015-category: Data-build-type: Simple-extra-source-files: README.md-cabal-version: >=1.10--source-repository head- type: git- location: git://github.com/mstksg/typelits-witnesses.git--library- exposed-modules: GHC.TypeLits.Witnesses- GHC.TypeLits.List- -- other-modules: - -- other-extensions: - build-depends: base >=4.8 && <5- , reflection- , constraints- hs-source-dirs: src- ghc-options: -Wall- default-language: Haskell2010+name: typelits-witnesses +version: 0.2.0.0 +x-revision: 1 +synopsis: Existential witnesses, singletons, and classes for operations on GHC TypeLits +description: Provides witnesses for 'KnownNat' and 'KnownSymbol' + instances for various operations on GHC TypeLits - in + particular, the arithmetic operations defined in + "GHC.TypeLits", and also for type-level lists of + 'KnownNat' and 'KnownSymbol' instances. + . + This is useful for situations where you have + @'KnownNat' n@, and you want to prove to GHC + @'KnownNat' (n + 3)@, or @'KnownNat' (2*n + 4)@. + . + It's also useful for when you want to work with type + level lists of 'KnownNat' or 'KnownSymbol' instances and + singletons for traversing them, and be able to apply + analogies of 'natVal' and 'symbolVal' to lists with + analogies for 'SomeNat' and 'SomeSymbol'. + . + See README for more information. +homepage: https://github.com/mstksg/typelits-witnesses +license: MIT +license-file: LICENSE +author: Justin Le +maintainer: justin@jle.im +copyright: (c) Justin Le 2015 +category: Data +build-type: Simple +extra-source-files: README.md +cabal-version: >=1.10 + +source-repository head + type: git + location: git://github.com/mstksg/typelits-witnesses.git + +library + exposed-modules: GHC.TypeLits.Witnesses + GHC.TypeLits.List + -- other-modules: + -- other-extensions: + build-depends: base >=4.8 && <4.12 + , reflection + , constraints + hs-source-dirs: src + ghc-options: -Wall + default-language: Haskell2010