RepLib 0.5.3.2 → 0.5.3.3
raw patch · 1 files changed
+2/−2 lines, 1 filesdep ~mtlPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: mtl
API changes (from Hackage documentation)
- Generics.RepLib.AbstractReps: rMap :: (Rep k_ajN7, Rep a_ajN8) => R (Map k_ajN7 a_ajN8)
+ Generics.RepLib.AbstractReps: rMap :: (Rep k_ajyb, Rep a_ajyc) => R (Map k_ajyb a_ajyc)
- Generics.RepLib.AbstractReps: rMap1 :: (Rep k_ajN7, Rep a_ajN8) => R1 ctx_ajNn (Map k_ajN7 a_ajN8)
+ Generics.RepLib.AbstractReps: rMap1 :: (Rep k_ajyb, Rep a_ajyc) => R1 ctx_ajyr (Map k_ajyb a_ajyc)
- Generics.RepLib.AbstractReps: rSet :: Rep a_a6C2 => R (Set a_a6C2)
+ Generics.RepLib.AbstractReps: rSet :: Rep a_a6AF => R (Set a_a6AF)
- Generics.RepLib.AbstractReps: rSet1 :: Rep a_a6C2 => R1 ctx_ajNB (Set a_a6C2)
+ Generics.RepLib.AbstractReps: rSet1 :: Rep a_a6AF => R1 ctx_ajyF (Set a_a6AF)
- Generics.RepLib.PreludeReps: rBool1 :: () -> () -> R1 ctx_adrR Bool
+ Generics.RepLib.PreludeReps: rBool1 :: () -> () -> R1 ctx_adcV Bool
- Generics.RepLib.PreludeReps: rEither :: (Rep a_adsa, Rep b_adsb) => R (Either a_adsa b_adsb)
+ Generics.RepLib.PreludeReps: rEither :: (Rep a_adde, Rep b_addf) => R (Either a_adde b_addf)
- Generics.RepLib.PreludeReps: rEither1 :: (Rep a_adsa, Rep b_adsb) => ctx_adsq a_adsa -> ctx_adsq b_adsb -> R1 ctx_adsq (Either a_adsa b_adsb)
+ Generics.RepLib.PreludeReps: rEither1 :: (Rep a_adde, Rep b_addf) => ctx_addu a_adde -> ctx_addu b_addf -> R1 ctx_addu (Either a_adde b_addf)
- Generics.RepLib.PreludeReps: rMaybe :: Rep a_a2Fz => R (Maybe a_a2Fz)
+ Generics.RepLib.PreludeReps: rMaybe :: Rep a_a2IU => R (Maybe a_a2IU)
- Generics.RepLib.PreludeReps: rMaybe1 :: Rep a_a2Fz => () -> ctx_adrY a_a2Fz -> R1 ctx_adrY (Maybe a_a2Fz)
+ Generics.RepLib.PreludeReps: rMaybe1 :: Rep a_a2IU => () -> ctx_add2 a_a2IU -> R1 ctx_add2 (Maybe a_a2IU)
- Generics.RepLib.PreludeReps: rOrdering1 :: () -> () -> () -> R1 ctx_adsH Ordering
+ Generics.RepLib.PreludeReps: rOrdering1 :: () -> () -> () -> R1 ctx_addL Ordering
- Generics.RepLib.PreludeReps: rTup3_1 :: (Rep a_12, Rep b_13, Rep c_14) => (ctx_adsR a_12, ctx_adsR b_13, ctx_adsR c_14) -> R1 ctx_adsR ((,,) a_12 b_13 c_14)
+ Generics.RepLib.PreludeReps: rTup3_1 :: (Rep a_12, Rep b_13, Rep c_14) => (ctx_addV a_12, ctx_addV b_13, ctx_addV c_14) -> R1 ctx_addV ((,,) a_12 b_13 c_14)
- Generics.RepLib.PreludeReps: rTup4_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15) => (ctx_adta a_12, ctx_adta b_13, ctx_adta c_14, ctx_adta d_15) -> R1 ctx_adta ((,,,) a_12 b_13 c_14 d_15)
+ Generics.RepLib.PreludeReps: rTup4_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15) => (ctx_adee a_12, ctx_adee b_13, ctx_adee c_14, ctx_adee d_15) -> R1 ctx_adee ((,,,) a_12 b_13 c_14 d_15)
- Generics.RepLib.PreludeReps: rTup5_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15, Rep e_16) => (ctx_adty a_12, ctx_adty b_13, ctx_adty c_14, ctx_adty d_15, ctx_adty e_16) -> R1 ctx_adty ((,,,,) a_12 b_13 c_14 d_15 e_16)
+ Generics.RepLib.PreludeReps: rTup5_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15, Rep e_16) => (ctx_adeC a_12, ctx_adeC b_13, ctx_adeC c_14, ctx_adeC d_15, ctx_adeC e_16) -> R1 ctx_adeC ((,,,,) a_12 b_13 c_14 d_15 e_16)
- Generics.RepLib.PreludeReps: rTup6_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15, Rep e_16, Rep f_17) => (ctx_adu1 a_12, ctx_adu1 b_13, ctx_adu1 c_14, ctx_adu1 d_15, ctx_adu1 e_16, ctx_adu1 f_17) -> R1 ctx_adu1 ((,,,,,) a_12 b_13 c_14 d_15 e_16 f_17)
+ Generics.RepLib.PreludeReps: rTup6_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15, Rep e_16, Rep f_17) => (ctx_adf5 a_12, ctx_adf5 b_13, ctx_adf5 c_14, ctx_adf5 d_15, ctx_adf5 e_16, ctx_adf5 f_17) -> R1 ctx_adf5 ((,,,,,) a_12 b_13 c_14 d_15 e_16 f_17)
- Generics.RepLib.PreludeReps: rTup7_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15, Rep e_16, Rep f_17, Rep g_18) => (ctx_aduz a_12, ctx_aduz b_13, ctx_aduz c_14, ctx_aduz d_15, ctx_aduz e_16, ctx_aduz f_17, ctx_aduz g_18) -> R1 ctx_aduz ((,,,,,,) a_12 b_13 c_14 d_15 e_16 f_17 g_18)
+ Generics.RepLib.PreludeReps: rTup7_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15, Rep e_16, Rep f_17, Rep g_18) => (ctx_adfD a_12, ctx_adfD b_13, ctx_adfD c_14, ctx_adfD d_15, ctx_adfD e_16, ctx_adfD f_17, ctx_adfD g_18) -> R1 ctx_adfD ((,,,,,,) a_12 b_13 c_14 d_15 e_16 f_17 g_18)
Files
- RepLib.cabal +2/−2
RepLib.cabal view
@@ -1,5 +1,5 @@ name: RepLib-version: 0.5.3.2+version: 0.5.3.3 license: BSD3 license-file: LICENSE build-type: Simple@@ -27,7 +27,7 @@ Library build-depends: base >= 4.3 && < 5, template-haskell >= 2.4 && < 2.10,- mtl >= 2.0 && < 2.2,+ mtl >= 2.0 && < 2.3, containers >= 0.4 && < 0.6 if impl(ghc < 7.8)