@@ -294,6 +294,7 @@ class Pretty a where
294294-- , (1, [2, 2, 2, 2, 2, 2, 2, 2])
295295-- , (1, [2, 2, 2, 2, 2, 2, 2, 2]) ] ]
296296
297+ -- | @since 1.7.2
297298instance ann ~ Void => Pretty (Doc ann ) where
298299 pretty = vacuous
299300
@@ -351,7 +352,7 @@ instance Pretty Char where
351352-- | This class is similar to 'Pretty', but allows you to embed annotations in
352353-- the 'Doc'.
353354--
354- -- @since FIXME
355+ -- @since 1.7.2
355356class PrettyAnn ann a where
356357
357358 prettyAnn :: a -> Doc ann
@@ -362,27 +363,35 @@ class PrettyAnn ann a where
362363 prettyAnnList :: [a ] -> Doc ann
363364 prettyAnnList = align . list . map prettyAnn
364365
366+ -- | @since 1.7.2
365367instance PrettyAnn ann (Doc ann ) where
366368 prettyAnn = id
367369
370+ -- | @since 1.7.2
368371instance PrettyAnn ann a => PrettyAnn ann (Const a b ) where
369372 prettyAnn = prettyAnn . getConst
370373
371374#if FUNCTOR_IDENTITY_IN_BASE
375+ -- | @since 1.7.2
372376instance PrettyAnn ann a => PrettyAnn ann (Identity a ) where
373377 prettyAnn = prettyAnn . runIdentity
374378#endif
375379
380+ -- | @since 1.7.2
376381instance PrettyAnn ann a => PrettyAnn ann [a ] where
377382 prettyAnn = prettyAnnList
378383
384+ -- | @since 1.7.2
379385instance PrettyAnn ann a => PrettyAnn ann (NonEmpty a ) where
380386 prettyAnn (x:| xs) = prettyAnnList (x: xs)
381387
388+ -- | @since 1.7.2
382389instance PrettyAnn ann () where prettyAnn = pretty
383390
391+ -- | @since 1.7.2
384392instance PrettyAnn ann Bool where prettyAnn = pretty
385393
394+ -- | @since 1.7.2
386395instance PrettyAnn ann Char where
387396 prettyAnn = pretty
388397 prettyAnnList = prettyList
@@ -440,28 +449,28 @@ instance (Pretty a1, Pretty a2, Pretty a3) => Pretty (a1,a2,a3) where
440449-- | >>> pretty (123, "hello", False, ())
441450-- (123, hello, False, ())
442451--
443- -- @since FIXME
452+ -- @since 1.7.2
444453instance (Pretty a1 , Pretty a2 , Pretty a3 , Pretty a4 ) => Pretty (a1 ,a2 ,a3 ,a4 ) where
445454 pretty (x1,x2,x3,x4) = tupled [pretty x1, pretty x2, pretty x3, pretty x4]
446455
447456-- | >>> pretty (123, "hello", False, (), 3.14)
448457-- (123, hello, False, (), 3.14)
449458--
450- -- @since FIXME
459+ -- @since 1.7.2
451460instance (Pretty a1 , Pretty a2 , Pretty a3 , Pretty a4 , Pretty a5 ) => Pretty (a1 ,a2 ,a3 ,a4 ,a5 ) where
452461 pretty (x1,x2,x3,x4,x5) = tupled [pretty x1, pretty x2, pretty x3, pretty x4, pretty x5]
453462
454463-- | >>> pretty (123, "hello", False, (), 3.14, Just 2.71)
455464-- (123, hello, False, (), 3.14, 2.71)
456465--
457- -- @since FIXME
466+ -- @since 1.7.2
458467instance (Pretty a1 , Pretty a2 , Pretty a3 , Pretty a4 , Pretty a5 , Pretty a6 ) => Pretty (a1 ,a2 ,a3 ,a4 ,a5 ,a6 ) where
459468 pretty (x1,x2,x3,x4,x5,x6) = tupled [pretty x1, pretty x2, pretty x3, pretty x4, pretty x5, pretty x6]
460469
461470-- | >>> pretty (123, "hello", False, (), 3.14, Just 2.71, [1,2,3])
462471-- (123, hello, False, (), 3.14, 2.71, [1, 2, 3])
463472--
464- -- @since FIXME
473+ -- @since 1.7.2
465474instance (Pretty a1 , Pretty a2 , Pretty a3 , Pretty a4 , Pretty a5 , Pretty a6 , Pretty a7 ) => Pretty (a1 ,a2 ,a3 ,a4 ,a5 ,a6 ,a7 ) where
466475 pretty (x1,x2,x3,x4,x5,x6,x7) = tupled [pretty x1, pretty x2, pretty x3, pretty x4, pretty x5, pretty x6, pretty x7]
467476
@@ -506,55 +515,80 @@ instance Pretty Lazy.Text
506515-- []
507516instance Pretty Void where pretty = absurd
508517
518+ -- | @since 1.7.2
509519instance PrettyAnn ann Int where prettyAnn = pretty
520+ -- | @since 1.7.2
510521instance PrettyAnn ann Int8 where prettyAnn = pretty
522+ -- | @since 1.7.2
511523instance PrettyAnn ann Int16 where prettyAnn = pretty
524+ -- | @since 1.7.2
512525instance PrettyAnn ann Int32 where prettyAnn = pretty
526+ -- | @since 1.7.2
513527instance PrettyAnn ann Int64 where prettyAnn = pretty
528+ -- | @since 1.7.2
514529instance PrettyAnn ann Word where prettyAnn = pretty
530+ -- | @since 1.7.2
515531instance PrettyAnn ann Word8 where prettyAnn = pretty
532+ -- | @since 1.7.2
516533instance PrettyAnn ann Word16 where prettyAnn = pretty
534+ -- | @since 1.7.2
517535instance PrettyAnn ann Word32 where prettyAnn = pretty
536+ -- | @since 1.7.2
518537instance PrettyAnn ann Word64 where prettyAnn = pretty
519538
539+ -- | @since 1.7.2
520540instance PrettyAnn ann Integer where prettyAnn = pretty
521541
522542#if NATURAL_IN_BASE
543+ -- | @since 1.7.2
523544instance PrettyAnn ann Natural where prettyAnn = pretty
524545#endif
525546
547+ -- | @since 1.7.2
548+ -- | @since 1.7.2
526549instance PrettyAnn ann Float where prettyAnn = pretty
527550
551+ -- | @since 1.7.2
528552instance PrettyAnn ann Double where prettyAnn = pretty
529553
554+ -- | @since 1.7.2
530555instance (PrettyAnn ann a1 , PrettyAnn ann a2 ) => PrettyAnn ann (a1 ,a2 ) where
531556 prettyAnn (x1,x2) = tupled [prettyAnn x1, prettyAnn x2]
532557
558+ -- | @since 1.7.2
533559instance (PrettyAnn ann a1 , PrettyAnn ann a2 , PrettyAnn ann a3 ) => PrettyAnn ann (a1 ,a2 ,a3 ) where
534560 prettyAnn (x1,x2,x3) = tupled [prettyAnn x1, prettyAnn x2, prettyAnn x3]
535561
562+ -- | @since 1.7.2
536563instance (PrettyAnn ann a1 , PrettyAnn ann a2 , PrettyAnn ann a3 , PrettyAnn ann a4 ) => PrettyAnn ann (a1 ,a2 ,a3 ,a4 ) where
537564 prettyAnn (x1,x2,x3,x4) = tupled [prettyAnn x1, prettyAnn x2, prettyAnn x3, prettyAnn x4]
538565
566+ -- | @since 1.7.2
539567instance (PrettyAnn ann a1 , PrettyAnn ann a2 , PrettyAnn ann a3 , PrettyAnn ann a4 , PrettyAnn ann a5 ) => PrettyAnn ann (a1 ,a2 ,a3 ,a4 ,a5 ) where
540568 prettyAnn (x1,x2,x3,x4,x5) = tupled [prettyAnn x1, prettyAnn x2, prettyAnn x3, prettyAnn x4, prettyAnn x5]
541569
570+ -- | @since 1.7.2
542571instance (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
543572 prettyAnn (x1,x2,x3,x4,x5,x6) = tupled [prettyAnn x1, prettyAnn x2, prettyAnn x3, prettyAnn x4, prettyAnn x5, prettyAnn x6]
544573
574+ -- | @since 1.7.2
545575instance (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
546576 prettyAnn (x1,x2,x3,x4,x5,x6,x7) = tupled [prettyAnn x1, prettyAnn x2, prettyAnn x3, prettyAnn x4, prettyAnn x5, prettyAnn x6, prettyAnn x7]
547577
578+ -- | @since 1.7.2
548579instance PrettyAnn ann a => PrettyAnn ann (Maybe a ) where
549580 prettyAnn = maybe mempty prettyAnn
550581 prettyAnnList = prettyAnnList . catMaybes
551582
552583#ifdef MIN_VERSION_text
584+ -- | @since 1.7.2
553585instance PrettyAnn ann Text where prettyAnn = pretty
554586
587+ -- | @since 1.7.2
555588instance PrettyAnn ann Lazy. Text where prettyAnn = pretty
556589#endif
557590
591+ -- | @since 1.7.2
558592instance PrettyAnn ann Void where prettyAnn = absurd
559593
560594
0 commit comments