@@ -290,6 +290,7 @@ class Pretty a where
290290-- , (1, [2, 2, 2, 2, 2, 2, 2, 2])
291291-- , (1, [2, 2, 2, 2, 2, 2, 2, 2]) ] ]
292292
293+ -- | @since 1.7.2
293294instance ann ~ Void => Pretty (Doc ann ) where
294295 pretty = vacuous
295296
@@ -345,7 +346,7 @@ instance Pretty Char where
345346-- | This class is similar to 'Pretty', but allows you to embed annotations in
346347-- the 'Doc'.
347348--
348- -- @since FIXME
349+ -- @since 1.7.2
349350class PrettyAnn ann a where
350351
351352 prettyAnn :: a -> Doc ann
@@ -356,25 +357,33 @@ class PrettyAnn ann a where
356357 prettyAnnList :: [a ] -> Doc ann
357358 prettyAnnList = align . list . map prettyAnn
358359
360+ -- | @since 1.7.2
359361instance PrettyAnn ann (Doc ann ) where
360362 prettyAnn = id
361363
364+ -- | @since 1.7.2
362365instance PrettyAnn ann a => PrettyAnn ann (Const a b ) where
363366 prettyAnn = prettyAnn . getConst
364367
368+ -- | @since 1.7.2
365369instance PrettyAnn ann a => PrettyAnn ann (Identity a ) where
366370 prettyAnn = prettyAnn . runIdentity
367371
372+ -- | @since 1.7.2
368373instance PrettyAnn ann a => PrettyAnn ann [a ] where
369374 prettyAnn = prettyAnnList
370375
376+ -- | @since 1.7.2
371377instance PrettyAnn ann a => PrettyAnn ann (NonEmpty a ) where
372378 prettyAnn (x:| xs) = prettyAnnList (x: xs)
373379
380+ -- | @since 1.7.2
374381instance PrettyAnn ann () where prettyAnn = pretty
375382
383+ -- | @since 1.7.2
376384instance PrettyAnn ann Bool where prettyAnn = pretty
377385
386+ -- | @since 1.7.2
378387instance PrettyAnn ann Char where
379388 prettyAnn = pretty
380389 prettyAnnList = prettyList
@@ -430,28 +439,28 @@ instance (Pretty a1, Pretty a2, Pretty a3) => Pretty (a1,a2,a3) where
430439-- | >>> pretty (123, "hello", False, ())
431440-- (123, hello, False, ())
432441--
433- -- @since FIXME
442+ -- @since 1.7.2
434443instance (Pretty a1 , Pretty a2 , Pretty a3 , Pretty a4 ) => Pretty (a1 ,a2 ,a3 ,a4 ) where
435444 pretty (x1,x2,x3,x4) = tupled [pretty x1, pretty x2, pretty x3, pretty x4]
436445
437446-- | >>> pretty (123, "hello", False, (), 3.14)
438447-- (123, hello, False, (), 3.14)
439448--
440- -- @since FIXME
449+ -- @since 1.7.2
441450instance (Pretty a1 , Pretty a2 , Pretty a3 , Pretty a4 , Pretty a5 ) => Pretty (a1 ,a2 ,a3 ,a4 ,a5 ) where
442451 pretty (x1,x2,x3,x4,x5) = tupled [pretty x1, pretty x2, pretty x3, pretty x4, pretty x5]
443452
444453-- | >>> pretty (123, "hello", False, (), 3.14, Just 2.71)
445454-- (123, hello, False, (), 3.14, 2.71)
446455--
447- -- @since FIXME
456+ -- @since 1.7.2
448457instance (Pretty a1 , Pretty a2 , Pretty a3 , Pretty a4 , Pretty a5 , Pretty a6 ) => Pretty (a1 ,a2 ,a3 ,a4 ,a5 ,a6 ) where
449458 pretty (x1,x2,x3,x4,x5,x6) = tupled [pretty x1, pretty x2, pretty x3, pretty x4, pretty x5, pretty x6]
450459
451460-- | >>> pretty (123, "hello", False, (), 3.14, Just 2.71, [1,2,3])
452461-- (123, hello, False, (), 3.14, 2.71, [1, 2, 3])
453462--
454- -- @since FIXME
463+ -- @since 1.7.2
455464instance (Pretty a1 , Pretty a2 , Pretty a3 , Pretty a4 , Pretty a5 , Pretty a6 , Pretty a7 ) => Pretty (a1 ,a2 ,a3 ,a4 ,a5 ,a6 ,a7 ) where
456465 pretty (x1,x2,x3,x4,x5,x6,x7) = tupled [pretty x1, pretty x2, pretty x3, pretty x4, pretty x5, pretty x6, pretty x7]
457466
@@ -496,53 +505,77 @@ instance Pretty Lazy.Text
496505-- []
497506instance Pretty Void where pretty = absurd
498507
508+ -- | @since 1.7.2
499509instance PrettyAnn ann Int where prettyAnn = pretty
510+ -- | @since 1.7.2
500511instance PrettyAnn ann Int8 where prettyAnn = pretty
512+ -- | @since 1.7.2
501513instance PrettyAnn ann Int16 where prettyAnn = pretty
514+ -- | @since 1.7.2
502515instance PrettyAnn ann Int32 where prettyAnn = pretty
516+ -- | @since 1.7.2
503517instance PrettyAnn ann Int64 where prettyAnn = pretty
518+ -- | @since 1.7.2
504519instance PrettyAnn ann Word where prettyAnn = pretty
520+ -- | @since 1.7.2
505521instance PrettyAnn ann Word8 where prettyAnn = pretty
522+ -- | @since 1.7.2
506523instance PrettyAnn ann Word16 where prettyAnn = pretty
524+ -- | @since 1.7.2
507525instance PrettyAnn ann Word32 where prettyAnn = pretty
526+ -- | @since 1.7.2
508527instance PrettyAnn ann Word64 where prettyAnn = pretty
509528
529+ -- | @since 1.7.2
510530instance PrettyAnn ann Integer where prettyAnn = pretty
511531
532+ -- | @since 1.7.2
512533instance PrettyAnn ann Natural where prettyAnn = pretty
513534
535+ -- | @since 1.7.2
514536instance PrettyAnn ann Float where prettyAnn = pretty
515537
538+ -- | @since 1.7.2
516539instance PrettyAnn ann Double where prettyAnn = pretty
517540
541+ -- | @since 1.7.2
518542instance (PrettyAnn ann a1 , PrettyAnn ann a2 ) => PrettyAnn ann (a1 ,a2 ) where
519543 prettyAnn (x1,x2) = tupled [prettyAnn x1, prettyAnn x2]
520544
545+ -- | @since 1.7.2
521546instance (PrettyAnn ann a1 , PrettyAnn ann a2 , PrettyAnn ann a3 ) => PrettyAnn ann (a1 ,a2 ,a3 ) where
522547 prettyAnn (x1,x2,x3) = tupled [prettyAnn x1, prettyAnn x2, prettyAnn x3]
523548
549+ -- | @since 1.7.2
524550instance (PrettyAnn ann a1 , PrettyAnn ann a2 , PrettyAnn ann a3 , PrettyAnn ann a4 ) => PrettyAnn ann (a1 ,a2 ,a3 ,a4 ) where
525551 prettyAnn (x1,x2,x3,x4) = tupled [prettyAnn x1, prettyAnn x2, prettyAnn x3, prettyAnn x4]
526552
553+ -- | @since 1.7.2
527554instance (PrettyAnn ann a1 , PrettyAnn ann a2 , PrettyAnn ann a3 , PrettyAnn ann a4 , PrettyAnn ann a5 ) => PrettyAnn ann (a1 ,a2 ,a3 ,a4 ,a5 ) where
528555 prettyAnn (x1,x2,x3,x4,x5) = tupled [prettyAnn x1, prettyAnn x2, prettyAnn x3, prettyAnn x4, prettyAnn x5]
529556
557+ -- | @since 1.7.2
530558instance (PrettyAnn ann a1 , PrettyAnn ann a2 , PrettyAnn ann a3 , PrettyAnn ann a4 , PrettyAnn ann a5 , PrettyAnn ann a6 ) => PrettyAnn ann (a1 ,a2 ,a3 ,a4 ,a5 ,a6 ) where
531559 prettyAnn (x1,x2,x3,x4,x5,x6) = tupled [prettyAnn x1, prettyAnn x2, prettyAnn x3, prettyAnn x4, prettyAnn x5, prettyAnn x6]
532560
561+ -- | @since 1.7.2
533562instance (PrettyAnn ann a1 , PrettyAnn ann a2 , PrettyAnn ann a3 , PrettyAnn ann a4 , PrettyAnn ann a5 , PrettyAnn ann a6 , PrettyAnn ann a7 ) => PrettyAnn ann (a1 ,a2 ,a3 ,a4 ,a5 ,a6 ,a7 ) where
534563 prettyAnn (x1,x2,x3,x4,x5,x6,x7) = tupled [prettyAnn x1, prettyAnn x2, prettyAnn x3, prettyAnn x4, prettyAnn x5, prettyAnn x6, prettyAnn x7]
535564
565+ -- | @since 1.7.2
536566instance PrettyAnn ann a => PrettyAnn ann (Maybe a ) where
537567 prettyAnn = maybe mempty prettyAnn
538568 prettyAnnList = prettyAnnList . catMaybes
539569
540570#ifdef MIN_VERSION_text
571+ -- | @since 1.7.2
541572instance PrettyAnn ann Text where prettyAnn = pretty
542573
574+ -- | @since 1.7.2
543575instance PrettyAnn ann Lazy. Text where prettyAnn = pretty
544576#endif
545577
578+ -- | @since 1.7.2
546579instance PrettyAnn ann Void where prettyAnn = absurd
547580
548581
0 commit comments