higgledy 0.4.1.1 → 0.4.2.0

raw patch · 6 files changed

+13/−8 lines, 6 filesdep ~base-compatdep ~doctestdep ~lensPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base-compat, doctest, lens

API changes (from Hackage documentation)

Files

README.lhs +2/−0
README.md +2/−0
higgledy.cabal +5/−5
src/Data/Generic/HKD.hs +2/−3
src/Data/Generic/HKD/Build.hs +1/−0
src/Data/Generic/HKD/Types.hs +1/−0

README.lhs view

@@ -1,5 +1,7 @@ # Higgledy 📚 +[![GitHub CI](https://github.com/i-am-tom/higgledy/workflows/CI/badge.svg)](https://github.com/i-am-tom/higgledy/actions)+ Higher-kinded data via generics: all\* the benefits, but none\* of the boilerplate.

README.md view

@@ -1,5 +1,7 @@ # Higgledy 📚 +[![GitHub CI](https://github.com/i-am-tom/higgledy/workflows/CI/badge.svg)](https://github.com/i-am-tom/higgledy/actions)+ Higher-kinded data via generics: all\* the benefits, but none\* of the boilerplate.

higgledy.cabal view

@@ -1,7 +1,7 @@ cabal-version: 2.4 build-type: Custom name: higgledy-version: 0.4.1.1+version: 0.4.2.0 synopsis: Partial types as a type constructor. description: Use the generic representation of an ADT to get a higher-kinded data-style interface automatically. homepage: https://github.com/i-am-tom/higgledy@@ -37,8 +37,8 @@  test-suite doctests   build-depends: base-               , base-compat ^>= 0.11-               , doctest ^>= 0.17+               , base-compat >= 0.11 && < 0.13+               , doctest >= 0.17 && < 0.20                , higgledy                , lens                , QuickCheck@@ -54,7 +54,7 @@                      , barbies                      , higgledy                      , hspec >= 2.6.1 && < 2.8-                     , lens >= 4.17 && < 5+                     , lens >= 4.17 && < 5.2                      , QuickCheck   main-is:             Main.hs   type:                exitcode-stdio-1.0@@ -64,7 +64,7 @@ test-suite readme   build-depends:       base                      , barbies-                     , lens >= 4.17 && < 5+                     , lens >= 4.17 && < 5.2                      , higgledy                      , named ^>= 0.3.0.0   main-is:             README.lhs

src/Data/Generic/HKD.hs view

@@ -88,11 +88,10 @@ -- get some beautiful error messages when things go awry: -- -- >>> import Data.Generic.HKD.Construction--- >>> deconstruct ("Hello", True) ^. position @4+-- >>> deconstruct ((), True) ^. position @4 -- ... -- ... error:--- ... The type HKD--- ... ([Char], Bool) f does not contain a field at position 4+-- ... The type HKD ((), Bool) f does not contain a field at position 4 -- ... position   :: forall index f structure inner

src/Data/Generic/HKD/Build.hs view

@@ -3,6 +3,7 @@ {-# LANGUAGE AllowAmbiguousTypes    #-} {-# LANGUAGE BlockArguments         #-} {-# LANGUAGE DataKinds              #-}+{-# LANGUAGE FlexibleContexts       #-} {-# LANGUAGE FlexibleInstances      #-} {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE GADTs                  #-}

src/Data/Generic/HKD/Types.hs view

@@ -3,6 +3,7 @@ {-# LANGUAGE AllowAmbiguousTypes    #-} {-# LANGUAGE ConstraintKinds        #-} {-# LANGUAGE DataKinds              #-}+{-# LANGUAGE FlexibleContexts       #-} {-# LANGUAGE FlexibleInstances      #-} {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE InstanceSigs           #-}