tuple-sop 0.1.0.0 → 0.2.0.0
raw patch · 3 files changed
+8/−4 lines, 3 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- ChangeLog.md +4/−0
- src/Data/Tuple/Ops.hs +2/−2
- tuple-sop.cabal +2/−2
ChangeLog.md view
@@ -1,5 +1,9 @@ # Changelog for tuple-sop +## 0.2.0.0 -- 2018-24-04++* Removed type family dependencies+ ## 0.1.0.0 -- 2018-13-04 * Initial release
src/Data/Tuple/Ops.hs view
@@ -1,4 +1,5 @@ {-# LANGUAGE GADTs #-}+{-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE KindSignatures #-}@@ -10,7 +11,6 @@ {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE RankNTypes #-}-{-# LANGUAGE TypeFamilyDependencies #-} module Data.Tuple.Ops ( -- * Selection sel@@ -607,7 +607,7 @@ Relation' n m 0 j = n :<= m Relation' n m i j = Relation' n m (i - 1) (j - 1) -type family ToTuple s = t | t -> s where+type family ToTuple s where ToTuple (NP I '[a, b]) = (a,b) ToTuple (NP I '[a, b, c]) = (a,b,c) ToTuple (NP I '[a, b, c, d]) = (a,b,c,d)
tuple-sop.cabal view
@@ -2,10 +2,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: b998f09418c853e1d134628dc31b5fdcd245d1090811aa276d89cd874053d36b+-- hash: e77c3d45ec479b07d6f2ba048fdb280ab02003570f446ec3d3e7e5e17b599f90 name: tuple-sop-version: 0.1.0.0+version: 0.2.0.0 synopsis: functions on n-ary tuples using generics-sop description: Exports various functions on n-ary tuples. This library uses generics-sop to create a generic representation of n-ary product types. To regain type inference, the exported functions work only on tuples with at most 10 components. category: Data