lift-type 0.1.0.0 → 0.1.0.1
raw patch · 3 files changed
+12/−5 lines, 3 filesdep ~basePVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base
API changes (from Hackage documentation)
Files
- ChangeLog.md +7/−1
- lift-type.cabal +4/−3
- src/LiftType.hs +1/−1
ChangeLog.md view
@@ -1,3 +1,9 @@ # Changelog for lift-typeable -## Unreleased changes+## 0.1.0.1++- Support GHC 8.2.2, which evidently required `TypeInType` for the `forall k (a :: k)` signature.++## 0.1.0.0++- Initial release
lift-type.cabal view
@@ -1,7 +1,8 @@ cabal-version: 1.12 name: lift-type-version: 0.1.0.0-description: Please see the README on GitHub at <https://github.com/githubuser/lift-type#readme>+version: 0.1.0.1+description: Lift your types from a Typeable constraint to a Template Haskell type+synopsis: Lift a type from a Typeable constraint to a Template Haskell type homepage: https://github.com/parsonsmatt/lift-type#readme bug-reports: https://github.com/parsonsmatt/lift-type/issues author: Matt Parsons@@ -24,7 +25,7 @@ hs-source-dirs: src build-depends:- base >=4.7 && <5+ base >=4.10 && <5 , template-haskell default-language: Haskell2010
src/LiftType.hs view
@@ -1,4 +1,4 @@-{-# language ScopedTypeVariables, AllowAmbiguousTypes, TypeApplications, PolyKinds, TemplateHaskell #-}+{-# language TypeInType, ScopedTypeVariables, AllowAmbiguousTypes, TypeApplications, PolyKinds, TemplateHaskell #-} -- | Template Haskell has a class 'Lift' that allows you to promote values -- from Haskell-land into the land of metaprogramming - 'Q'.