functor-products 0.1.2.1 → 0.1.2.2
raw patch · 3 files changed
+41/−6 lines, 3 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- CHANGELOG.md +9/−0
- functor-products.cabal +6/−6
- src/Data/Type/Functor/Product.hs +26/−0
CHANGELOG.md view
@@ -1,6 +1,15 @@ Changelog ========= +Version 0.1.2.2+---------------++*May 19, 2023*++<https://github.com/mstksg/functor-products/releases/tag/v0.1.2.2>++* Fix building on GHC 9.8+ Version 0.1.2.1 ---------------
functor-products.cabal view
@@ -1,7 +1,7 @@ cabal-version: 1.12 name: functor-products-version: 0.1.2.1+version: 0.1.2.2 synopsis: General functor products for various Foldable instances description: Generalizes the Rec type in vinyl to work over various different Foldable instances, instead of just lists. Provides a unifying abstraction for all@@ -36,9 +36,9 @@ ghc-options: -Wall -Wcompat -Wredundant-constraints -Wwarn=incomplete-patterns build-depends: base >=4.16 && <5,- microlens < 0.5,- singletons >= 3.0 && < 3.1,- singletons-base < 3.4,- text < 1.3,- vinyl < 0.15+ microlens,+ singletons >= 3.0,+ singletons-base,+ text,+ vinyl default-language: Haskell2010
src/Data/Type/Functor/Product.hs view
@@ -1,4 +1,5 @@ {-# LANGUAGE AllowAmbiguousTypes #-}+{-# LANGUAGE CPP #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE EmptyCase #-}@@ -435,7 +436,11 @@ deriving instance Show (SIndex as a i) +#if __GLASGOW_HASKELL__ >= 908+type instance forall as a. Sing = SIndex as a :: Index as a -> Type+#else type instance Sing = SIndex as a :: Index as a -> Type+#endif instance SingI 'IZ where sing = SIZ@@ -578,7 +583,11 @@ deriving instance Show (SIJust as a i) +#if __GLASGOW_HASKELL__ >= 908+type instance forall as a. Sing = SIJust as a :: IJust as a -> Type+#else type instance Sing = SIJust as a :: IJust as a -> Type+#endif instance SingI 'IJust where sing = SIJust@@ -675,7 +684,11 @@ deriving instance Show (SIRight as a i) +#if __GLASGOW_HASKELL__ >= 908+type instance forall as a. Sing = SIRight as a :: IRight as a -> Type+#else type instance Sing = SIRight as a :: IRight as a -> Type+#endif instance SingI 'IRight where sing = SIRight@@ -771,7 +784,11 @@ deriving instance Show (SNEIndex as a i) +#if __GLASGOW_HASKELL__ >= 908+type instance forall as a. Sing = SNEIndex as a :: NEIndex as a -> Type+#else type instance Sing = SNEIndex as a :: NEIndex as a -> Type+#endif instance SingI 'NEHead where sing = SNEHead@@ -903,8 +920,13 @@ deriving instance Show (SISnd as a i) +#if __GLASGOW_HASKELL__ >= 908+type instance forall as a. Sing = SISnd as a :: ISnd as a -> Type+#else type instance Sing = SISnd as a :: ISnd as a -> Type+#endif + instance SingI 'ISnd where sing = SISnd @@ -971,7 +993,11 @@ deriving instance Show (SIIdentity as a i) +#if __GLASGOW_HASKELL__ >= 908+type instance forall as a. Sing = SIIdentity as a :: IIdentity as a -> Type+#else type instance Sing = SIIdentity as a :: IIdentity as a -> Type+#endif instance SingI 'IId where sing = SIId