Update from Hackage at 2018-10-02T00:13:22Z

typelits-witnesses/0.3.0.3/typelits-witnesses.cabal

@@ -0,0 +1,70 @@
+-- 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

typelits-witnesses/0.3.0.3/typelits-witnesses.json

@@ -0,0 +1 @@
+{"package-hashes":{"MD5":"d7b237ae8b30ac2da3510bc131463ec6","Skein512_512":"2cebbc3579c16710d2a62cf520d5d092e7acdce8638b32a86c77482ee9c70b539729d9abb1724bd4aba74ede25879e652fda7d18571a258af847242773c2c732","SHA1":"cfd8e4af53d422022179979c41b1192f2ee80766","SHA512":"85b9525aead3c0443542ed26d5887bf85c81fe08f56994e9bea4e3863f0217187c7a224d22e29e7c464159ac681dc0eaf8798de36a0f68ce5cf2e10399859845","SHA256":"4edd4aff3f49961a1eb87130c4d36c39f4cc81d411ff20100ef5f33fd74d191d"},"package-locations":["https://hackage.haskell.org/package/typelits-witnesses-0.3.0.3/typelits-witnesses-0.3.0.3.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/typelits-witnesses-0.3.0.3.tar.gz"],"package-size":13768}