vinyl-utils 0.2.0.1 → 0.2.0.2
raw patch · 2 files changed
+3/−3 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.Vinyl.Utils.Proxy: recPure :: Record rs => (forall a. f a) -> Rec f rs
+ Data.Vinyl.Utils.Proxy: recPure :: Record rs => (forall (a :: k). f a) -> Rec f rs
- Data.Vinyl.Utils.Proxy: recPure' :: Rec Proxy rs -> (forall a. f a) -> Rec f rs
+ Data.Vinyl.Utils.Proxy: recPure' :: Rec Proxy rs -> (forall (a :: k). f a) -> Rec f rs
Files
- src/Data/Vinyl/Utils/Proxy.hs +2/−2
- vinyl-utils.cabal +1/−1
src/Data/Vinyl/Utils/Proxy.hs view
@@ -33,10 +33,10 @@ instance Record rs => Record (r ': rs) where proxyRecord = Proxy :& proxyRecord -recPure :: Record rs => (forall a. f a) -> Rec f rs+recPure :: forall (f :: k -> *) (rs :: [k]). Record rs => (forall (a :: k). f a) -> Rec f rs recPure = recPure' proxyRecord -recPure' :: Rec Proxy rs -> (forall a. f a) -> Rec f rs+recPure' :: forall (f :: k -> *) (rs :: [k]). Rec Proxy rs -> (forall (a :: k). f a) -> Rec f rs recPure' RNil _ = RNil recPure' (Proxy :& ps) a = a :& recPure' ps a
vinyl-utils.cabal view
@@ -1,5 +1,5 @@ name: vinyl-utils-version: 0.2.0.1+version: 0.2.0.2 synopsis: Utilities for vinyl description: Operations on records parametrized with various kinds of functors. license: BSD3