RepLib 0.5.2 → 0.5.2.1
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_alc6, Rep a_alc7) => R (Map k_alc6 a_alc7)
+ Generics.RepLib.AbstractReps: rMap :: (Rep k_alfN, Rep a_alfO) => R (Map k_alfN a_alfO)
- Generics.RepLib.AbstractReps: rMap1 :: (Rep k_alc6, Rep a_alc7) => R1 ctx_alcg (Map k_alc6 a_alc7)
+ Generics.RepLib.AbstractReps: rMap1 :: (Rep k_alfN, Rep a_alfO) => R1 ctx_alfX (Map k_alfN a_alfO)
- Generics.RepLib.AbstractReps: rSet :: Rep a_a4BR => R (Set a_a4BR)
+ Generics.RepLib.AbstractReps: rSet :: Rep a_a4Dq => R (Set a_a4Dq)
- Generics.RepLib.AbstractReps: rSet1 :: Rep a_a4BR => R1 ctx_alct (Set a_a4BR)
+ Generics.RepLib.AbstractReps: rSet1 :: Rep a_a4Dq => R1 ctx_alga (Set a_a4Dq)
- Generics.RepLib.PreludeReps: rBool1 :: () -> () -> R1 ctx_af4l Bool
+ Generics.RepLib.PreludeReps: rBool1 :: () -> () -> R1 ctx_af82 Bool
- Generics.RepLib.PreludeReps: rEither :: (Rep a_af4E, Rep b_af4F) => R (Either a_af4E b_af4F)
+ Generics.RepLib.PreludeReps: rEither :: (Rep a_af8l, Rep b_af8m) => R (Either a_af8l b_af8m)
- Generics.RepLib.PreludeReps: rEither1 :: (Rep a_af4E, Rep b_af4F) => ctx_af4O a_af4E -> ctx_af4O b_af4F -> R1 ctx_af4O (Either a_af4E b_af4F)
+ Generics.RepLib.PreludeReps: rEither1 :: (Rep a_af8l, Rep b_af8m) => ctx_af8v a_af8l -> ctx_af8v b_af8m -> R1 ctx_af8v (Either a_af8l b_af8m)
- Generics.RepLib.PreludeReps: rMaybe :: Rep a_a1vn => R (Maybe a_a1vn)
+ Generics.RepLib.PreludeReps: rMaybe :: Rep a_a1we => R (Maybe a_a1we)
- Generics.RepLib.PreludeReps: rMaybe1 :: Rep a_a1vn => () -> ctx_af4s a_a1vn -> R1 ctx_af4s (Maybe a_a1vn)
+ Generics.RepLib.PreludeReps: rMaybe1 :: Rep a_a1we => () -> ctx_af89 a_a1we -> R1 ctx_af89 (Maybe a_a1we)
- Generics.RepLib.PreludeReps: rOrdering1 :: () -> () -> () -> R1 ctx_af55 Ordering
+ Generics.RepLib.PreludeReps: rOrdering1 :: () -> () -> () -> R1 ctx_af8M Ordering
- Generics.RepLib.PreludeReps: rTup3_1 :: (Rep a_12, Rep b_13, Rep c_14) => (ctx_af5f a_12, ctx_af5f b_13, ctx_af5f c_14) -> R1 ctx_af5f ((,,) a_12 b_13 c_14)
+ Generics.RepLib.PreludeReps: rTup3_1 :: (Rep a_12, Rep b_13, Rep c_14) => (ctx_af8W a_12, ctx_af8W b_13, ctx_af8W c_14) -> R1 ctx_af8W ((,,) a_12 b_13 c_14)
- Generics.RepLib.PreludeReps: rTup4_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15) => (ctx_af5y a_12, ctx_af5y b_13, ctx_af5y c_14, ctx_af5y d_15) -> R1 ctx_af5y ((,,,) 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_af9f a_12, ctx_af9f b_13, ctx_af9f c_14, ctx_af9f d_15) -> R1 ctx_af9f ((,,,) 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_af5W a_12, ctx_af5W b_13, ctx_af5W c_14, ctx_af5W d_15, ctx_af5W e_16) -> R1 ctx_af5W ((,,,,) 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_af9D a_12, ctx_af9D b_13, ctx_af9D c_14, ctx_af9D d_15, ctx_af9D e_16) -> R1 ctx_af9D ((,,,,) 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_af6p a_12, ctx_af6p b_13, ctx_af6p c_14, ctx_af6p d_15, ctx_af6p e_16, ctx_af6p f_17) -> R1 ctx_af6p ((,,,,,) 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_afa6 a_12, ctx_afa6 b_13, ctx_afa6 c_14, ctx_afa6 d_15, ctx_afa6 e_16, ctx_afa6 f_17) -> R1 ctx_afa6 ((,,,,,) 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_af6X a_12, ctx_af6X b_13, ctx_af6X c_14, ctx_af6X d_15, ctx_af6X e_16, ctx_af6X f_17, ctx_af6X g_18) -> R1 ctx_af6X ((,,,,,,) 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_afaE a_12, ctx_afaE b_13, ctx_afaE c_14, ctx_afaE d_15, ctx_afaE e_16, ctx_afaE f_17, ctx_afaE g_18) -> R1 ctx_afaE ((,,,,,,) 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.2+version: 0.5.2.1 license: BSD3 license-file: LICENSE build-type: Simple@@ -25,7 +25,7 @@ Library build-depends: base >= 4.3 && < 5, template-haskell >= 2.4 && < 2.8,- mtl >= 2.0 && < 2.1,+ mtl >= 2.0 && < 2.2, type-equality >= 0.1.0.2 && < 0.2, containers >= 0.4 && < 0.5 exposed-modules: