Cabal revisions of typelits-witnesses-0.3.0.3
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
--- This file has been generated from package.yaml by hpack version 0.28.2.------ see: https://github.com/sol/hpack------ hash: 49b45270e83bf287fa91eedadcbf979e2b8e5438d6ec9adaa6e6fea22183f1a0--name: typelits-witnesses-version: 0.3.0.3-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)@, or when- constraints on the lower or upper limits of @n@ are- needed.- .- 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'.- .- Note that most of the functionality in this library can- be reproduced in a more generic way using the great- <https://hackage.haskell.org/package/singletons singletons>- library. The versions here are provided as a "plumbing- included" alternative that makes some commonly found- design patterns involving GHC's TypeLits functionality a- little smoother, especially when working with external- libraries or GHC TypeLit's Nat comparison API.- .- See README for more information.-category: Data-homepage: https://github.com/mstksg/typelits-witnesses-author: Justin Le-maintainer: justin@jle.im-copyright: (c) Justin Le 2018-license: MIT-license-file: LICENSE-tested-with: GHC>=8.0 && <8.8-build-type: Simple-cabal-version: >= 1.10-extra-source-files:- CHANGELOG.md- README.md--source-repository head- type: git- location: git://github.com/mstksg/typelits-witnesses.git--library- exposed-modules:- GHC.TypeLits.Witnesses- GHC.TypeLits.List- GHC.TypeLits.Compare- other-modules:- Paths_typelits_witnesses- hs-source-dirs:- src- ghc-options: -Wall- build-depends:- base >=4.7 && <5- , constraints- , reflection >=2- default-language: Haskell2010+-- This file has been generated from package.yaml by hpack version 0.28.2. +-- +-- see: https://github.com/sol/hpack +-- +-- hash: 49b45270e83bf287fa91eedadcbf979e2b8e5438d6ec9adaa6e6fea22183f1a0 + +name: typelits-witnesses +version: 0.3.0.3 +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)@, or when + constraints on the lower or upper limits of @n@ are + needed. + . + 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'. + . + Note that most of the functionality in this library can + be reproduced in a more generic way using the great + <https://hackage.haskell.org/package/singletons singletons> + library. The versions here are provided as a "plumbing + included" alternative that makes some commonly found + design patterns involving GHC's TypeLits functionality a + little smoother, especially when working with external + libraries or GHC TypeLit's Nat comparison API. + . + See README for more information. +category: Data +homepage: https://github.com/mstksg/typelits-witnesses +author: Justin Le +maintainer: justin@jle.im +copyright: (c) Justin Le 2018 +license: MIT +license-file: LICENSE +tested-with: GHC>=8.0 && <8.8 +build-type: Simple +cabal-version: >= 1.10 +extra-source-files: + CHANGELOG.md + README.md + +source-repository head + type: git + location: git://github.com/mstksg/typelits-witnesses.git + +library + exposed-modules: + GHC.TypeLits.Witnesses + GHC.TypeLits.List + GHC.TypeLits.Compare + other-modules: + Paths_typelits_witnesses + hs-source-dirs: + src + ghc-options: -Wall + build-depends: + base >=4.7 && <4.16 + , constraints + , reflection >=2 + default-language: Haskell2010