labels 0.3.0 → 0.3.1
raw patch · 5 files changed
+34/−5 lines, 5 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Labels: class Subset sub super
+ Labels.Internal: class Subset sub super
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r, Labels.Internal.Has l13 t13 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12, l13 Labels.Internal.:= t'13) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r, Labels.Internal.Has l13 t13 r, Labels.Internal.Has l14 t14 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12, l13 Labels.Internal.:= t'13, l14 Labels.Internal.:= t'14) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r, Labels.Internal.Has l13 t13 r, Labels.Internal.Has l14 t14 r, Labels.Internal.Has l15 t15 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12, l13 Labels.Internal.:= t'13, l14 Labels.Internal.:= t'14, l15 Labels.Internal.:= t'15) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r, Labels.Internal.Has l13 t13 r, Labels.Internal.Has l14 t14 r, Labels.Internal.Has l15 t15 r, Labels.Internal.Has l16 t16 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12, l13 Labels.Internal.:= t'13, l14 Labels.Internal.:= t'14, l15 Labels.Internal.:= t'15, l16 Labels.Internal.:= t'16) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r, Labels.Internal.Has l13 t13 r, Labels.Internal.Has l14 t14 r, Labels.Internal.Has l15 t15 r, Labels.Internal.Has l16 t16 r, Labels.Internal.Has l17 t17 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12, l13 Labels.Internal.:= t'13, l14 Labels.Internal.:= t'14, l15 Labels.Internal.:= t'15, l16 Labels.Internal.:= t'16, l17 Labels.Internal.:= t'17) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r, Labels.Internal.Has l13 t13 r, Labels.Internal.Has l14 t14 r, Labels.Internal.Has l15 t15 r, Labels.Internal.Has l16 t16 r, Labels.Internal.Has l17 t17 r, Labels.Internal.Has l18 t18 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12, l13 Labels.Internal.:= t'13, l14 Labels.Internal.:= t'14, l15 Labels.Internal.:= t'15, l16 Labels.Internal.:= t'16, l17 Labels.Internal.:= t'17, l18 Labels.Internal.:= t'18) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r, Labels.Internal.Has l13 t13 r, Labels.Internal.Has l14 t14 r, Labels.Internal.Has l15 t15 r, Labels.Internal.Has l16 t16 r, Labels.Internal.Has l17 t17 r, Labels.Internal.Has l18 t18 r, Labels.Internal.Has l19 t19 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12, l13 Labels.Internal.:= t'13, l14 Labels.Internal.:= t'14, l15 Labels.Internal.:= t'15, l16 Labels.Internal.:= t'16, l17 Labels.Internal.:= t'17, l18 Labels.Internal.:= t'18, l19 Labels.Internal.:= t'19) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r, Labels.Internal.Has l13 t13 r, Labels.Internal.Has l14 t14 r, Labels.Internal.Has l15 t15 r, Labels.Internal.Has l16 t16 r, Labels.Internal.Has l17 t17 r, Labels.Internal.Has l18 t18 r, Labels.Internal.Has l19 t19 r, Labels.Internal.Has l20 t20 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12, l13 Labels.Internal.:= t'13, l14 Labels.Internal.:= t'14, l15 Labels.Internal.:= t'15, l16 Labels.Internal.:= t'16, l17 Labels.Internal.:= t'17, l18 Labels.Internal.:= t'18, l19 Labels.Internal.:= t'19, l20 Labels.Internal.:= t'20) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r, Labels.Internal.Has l13 t13 r, Labels.Internal.Has l14 t14 r, Labels.Internal.Has l15 t15 r, Labels.Internal.Has l16 t16 r, Labels.Internal.Has l17 t17 r, Labels.Internal.Has l18 t18 r, Labels.Internal.Has l19 t19 r, Labels.Internal.Has l20 t20 r, Labels.Internal.Has l21 t21 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12, l13 Labels.Internal.:= t'13, l14 Labels.Internal.:= t'14, l15 Labels.Internal.:= t'15, l16 Labels.Internal.:= t'16, l17 Labels.Internal.:= t'17, l18 Labels.Internal.:= t'18, l19 Labels.Internal.:= t'19, l20 Labels.Internal.:= t'20, l21 Labels.Internal.:= t'21) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r, Labels.Internal.Has l13 t13 r, Labels.Internal.Has l14 t14 r, Labels.Internal.Has l15 t15 r, Labels.Internal.Has l16 t16 r, Labels.Internal.Has l17 t17 r, Labels.Internal.Has l18 t18 r, Labels.Internal.Has l19 t19 r, Labels.Internal.Has l20 t20 r, Labels.Internal.Has l21 t21 r, Labels.Internal.Has l22 t22 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12, l13 Labels.Internal.:= t'13, l14 Labels.Internal.:= t'14, l15 Labels.Internal.:= t'15, l16 Labels.Internal.:= t'16, l17 Labels.Internal.:= t'17, l18 Labels.Internal.:= t'18, l19 Labels.Internal.:= t'19, l20 Labels.Internal.:= t'20, l21 Labels.Internal.:= t'21, l22 Labels.Internal.:= t'22) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r, Labels.Internal.Has l13 t13 r, Labels.Internal.Has l14 t14 r, Labels.Internal.Has l15 t15 r, Labels.Internal.Has l16 t16 r, Labels.Internal.Has l17 t17 r, Labels.Internal.Has l18 t18 r, Labels.Internal.Has l19 t19 r, Labels.Internal.Has l20 t20 r, Labels.Internal.Has l21 t21 r, Labels.Internal.Has l22 t22 r, Labels.Internal.Has l23 t23 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12, l13 Labels.Internal.:= t'13, l14 Labels.Internal.:= t'14, l15 Labels.Internal.:= t'15, l16 Labels.Internal.:= t'16, l17 Labels.Internal.:= t'17, l18 Labels.Internal.:= t'18, l19 Labels.Internal.:= t'19, l20 Labels.Internal.:= t'20, l21 Labels.Internal.:= t'21, l22 Labels.Internal.:= t'22, l23 Labels.Internal.:= t'23) r
+ Labels.Internal: instance (Labels.Internal.Has l1 t1 r, Labels.Internal.Has l2 t2 r, Labels.Internal.Has l3 t3 r, Labels.Internal.Has l4 t4 r, Labels.Internal.Has l5 t5 r, Labels.Internal.Has l6 t6 r, Labels.Internal.Has l7 t7 r, Labels.Internal.Has l8 t8 r, Labels.Internal.Has l9 t9 r, Labels.Internal.Has l10 t10 r, Labels.Internal.Has l11 t11 r, Labels.Internal.Has l12 t12 r, Labels.Internal.Has l13 t13 r, Labels.Internal.Has l14 t14 r, Labels.Internal.Has l15 t15 r, Labels.Internal.Has l16 t16 r, Labels.Internal.Has l17 t17 r, Labels.Internal.Has l18 t18 r, Labels.Internal.Has l19 t19 r, Labels.Internal.Has l20 t20 r, Labels.Internal.Has l21 t21 r, Labels.Internal.Has l22 t22 r, Labels.Internal.Has l23 t23 r, Labels.Internal.Has l24 t24 r) => Labels.Internal.Subset (l1 Labels.Internal.:= t'1, l2 Labels.Internal.:= t'2, l3 Labels.Internal.:= t'3, l4 Labels.Internal.:= t'4, l5 Labels.Internal.:= t'5, l6 Labels.Internal.:= t'6, l7 Labels.Internal.:= t'7, l8 Labels.Internal.:= t'8, l9 Labels.Internal.:= t'9, l10 Labels.Internal.:= t'10, l11 Labels.Internal.:= t'11, l12 Labels.Internal.:= t'12, l13 Labels.Internal.:= t'13, l14 Labels.Internal.:= t'14, l15 Labels.Internal.:= t'15, l16 Labels.Internal.:= t'16, l17 Labels.Internal.:= t'17, l18 Labels.Internal.:= t'18, l19 Labels.Internal.:= t'19, l20 Labels.Internal.:= t'20, l21 Labels.Internal.:= t'21, l22 Labels.Internal.:= t'22, l23 Labels.Internal.:= t'23, l24 Labels.Internal.:= t'24) r
+ Labels.Internal: instance Labels.Internal.Has l1 t1 r => Labels.Internal.Subset (l1 Labels.Internal.:= t'1) r
Files
- CHANGELOG +3/−0
- README.md +1/−2
- labels.cabal +1/−1
- src/Labels.hs +3/−1
- src/Labels/Internal.hs +26/−1
CHANGELOG view
@@ -1,3 +1,6 @@+0.3.1:+ * Add Subset class.+ 0.3.0: * Put labels in its own class. * Change type of labels to take a Proxy.
README.md view
@@ -5,8 +5,7 @@ This package is experimental, exploring the design space opened up by the implemented and to-be-implemented work on extensible records in GHC. -*Note: You need GHC 8.0.1 for the `#foo` syntax, otherwise you have to- use `$("foo")` which works on GHC 7.10.*+*Note: You need GHC 8.0.1.* ## Basic examples
labels.cabal view
@@ -1,5 +1,5 @@ name: labels-version: 0.3.0+version: 0.3.1 synopsis: Anonymous records via named tuples description: Declare and access tuple fields with labels. An approach to anonymous records. homepage: https://github.com/chrisdone/labels#readme
src/Labels.hs view
@@ -75,6 +75,7 @@ -- -- >>> reflect @Show show (#bar := "hello", #foo := 3, #mu := "hi") -- [("bar","\"hello\""),("foo","3"),("mu","\"hi\"")]+-- module Labels -- Field access@@ -91,7 +92,8 @@ , Has , Cons , Project- , Reflect)+ , Reflect+ , Subset) where import Data.Proxy
src/Labels/Internal.hs view
@@ -1,3 +1,4 @@+{-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE Rank2Types #-}@@ -20,7 +21,7 @@ {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE OverloadedLabels #-} -{-# OPTIONS_GHC -fno-warn-orphans #-}+{-# OPTIONS_GHC -fno-warn-orphans -Wno-redundant-constraints #-} -- | This module provides a way to name the fields in a regular -- Haskell tuple and then look them up later, statically.@@ -108,6 +109,11 @@ project :: from -> to --------------------------------------------------------------------------------+-- Subset++class Subset sub super++-------------------------------------------------------------------------------- -- Key-value reflection -- | Reflection on labelled fields.@@ -311,5 +317,24 @@ ] , return (PragmaD (InlineP 'project Inline FunLike AllPhases)) ]+ | n <- [1 .. 24]+ ])++-- Generate Subset instances.+$(let labelt i = varT (mkName ("l" ++ show i))+ typ i = varT (mkName ("t" ++ show i))+ typ' i = varT (mkName ("t'" ++ show i))+ r = varT (mkName "r")+ in sequence+ [ instanceD+ (sequence+ ([ [t|Has ($(labelt i) :: Symbol) $(typ i) $(r)|]+ | i <- [1 :: Int .. n]+ ]))+ [t|Subset $(foldl+ appT+ (tupleT n)+ [[t|$(labelt i) := $(typ' i)|] | i <- [1 .. n]]) $(r)|]+ [] | n <- [1 .. 24] ])