pretty-class 0.1 → 1.0.1.0

raw patch · 4 files changed

+113/−34 lines, 4 filesdep ~basesetup-changed

Dependency ranges changed: base

Files

Setup.hs +1/−0
Text/PrettyPrint/Class.hs +0/−8
pretty-class.cabal +15/−26
src/Text/PrettyPrint/HughesPJClass.hs +97/−0

Setup.hs view

@@ -1,2 +1,3 @@+module Main where import Distribution.Simple main = defaultMain

− Text/PrettyPrint/Class.hs

@@ -1,8 +0,0 @@-module Text.PrettyPrint.Class-    ( Pretty(pretty)-    ) where--import Text.PrettyPrint (Doc)--class Pretty a where-    pretty :: a -> Doc

pretty-class.cabal view

@@ -1,26 +1,15 @@-Name:               pretty-class-Version:            0.1-Synopsis:           Extremely simple Pretty class-Description:        I was unclear how to create instances of Language.Haskell.Pretty.Pretty because-                    the pretty method is not exported.  So here is a copy.-Homepage:           https://src.seereason.com/pretty-class-License:            BSD3-Author:             David Fox-Maintainer:         David Fox <dsf@seereason.com>-Category:           Text-Build-type:         Simple-Cabal-version:      >=1.6--source-repository head-  Type:             darcs-  Location:         http://src.seereason.com/pretty-class--Library-  ghc-options:      -Wall -O2--  Exposed-modules:-    Text.PrettyPrint.Class--  Build-depends:-    base >= 4 && < 5,-    pretty+Name:		pretty-class+Version:	1.0.1.0+License:	BSD3+Author:		Lennart Augustsson+Maintainer:	David Fox+Category:	Text+Synopsis:	Pretty printing class similar to Show.+Stability:      experimental+Build-type:	Simple+Description:	Pretty printing class similar to Show, based on the HughesPJ+                pretty printing library.  Provides the pretty printing class+                and instances for the Prelude types.+Hs-Source-Dirs: src+Build-Depends:	base < 5, pretty+Exposed-modules:	Text.PrettyPrint.HughesPJClass

+ src/Text/PrettyPrint/HughesPJClass.hs view

@@ -0,0 +1,97 @@+-- | Pretty printing class, simlar to 'Show' but nicer looking.+-- Note that the precedence level is a 'Rational' so there is an unlimited number of levels.+-- Based on "Text.PrettyPrint.HughesPJ", which is re-exported.+module Text.PrettyPrint.HughesPJClass(+    Pretty(..),+    PrettyLevel(..), prettyNormal,+    prettyShow, prettyParen,+    module Text.PrettyPrint.HughesPJ+    ) where+import Text.PrettyPrint.HughesPJ+import Data.Ratio++-- | Level of detail in the pretty printed output.+-- Level 0 is the least detail.+newtype PrettyLevel = PrettyLevel Int+    deriving (Eq, Ord, Show)++prettyNormal :: PrettyLevel+prettyNormal = PrettyLevel 0++-- | Pretty printing class.  The precedence level is used in a similar way as in the 'Show' class.+-- Minimal complete definition is either 'pPrintPrec' or 'pPrint'.+class Pretty a where+    pPrintPrec :: PrettyLevel -> Rational -> a -> Doc+    pPrint :: a -> Doc+    pPrintList :: PrettyLevel -> [a] -> Doc++    pPrintPrec _ _ = pPrint+    pPrint = pPrintPrec prettyNormal 0+    pPrintList l = brackets . fsep . punctuate comma . map (pPrintPrec l 0)++-- | Pretty print a value with the 'prettyNormal' level.+prettyShow :: (Pretty a) => a -> String+prettyShow = render . pPrint++pPrint0 :: (Pretty a) => PrettyLevel -> a -> Doc+pPrint0 l = pPrintPrec l 0++appPrec :: Rational+appPrec = 10++-- | Parenthesize an value if the boolean is true.+prettyParen :: Bool -> Doc -> Doc+prettyParen False = id+prettyParen True = parens++-- XXX Doesn't treat signs like Show.+instance Pretty Int where pPrint = int+instance Pretty Integer where pPrint = integer+instance Pretty Float where pPrint = float+instance Pretty Double where pPrint = double+instance Pretty () where pPrint _ = text "()"+instance Pretty Bool where pPrint = text . show+instance Pretty Ordering where pPrint = text . show+instance Pretty Char where+    pPrint = char+    pPrintList _ = text+instance (Pretty a) => Pretty (Maybe a) where+    pPrintPrec l p Nothing = text "Nothing"+    pPrintPrec l p (Just x) = prettyParen (p > appPrec) $ text "Just" <+> pPrintPrec l (appPrec+1) x+instance (Pretty a, Pretty b) => Pretty (Either a b) where+    pPrintPrec l p (Left x) = prettyParen (p > appPrec) $ text "Left" <+> pPrintPrec l (appPrec+1) x+    pPrintPrec l p (Right x) = prettyParen (p > appPrec) $ text "Right" <+> pPrintPrec l (appPrec+1) x++instance (Pretty a) => Pretty [a] where+    pPrintPrec l _ xs = pPrintList l xs++instance (Pretty a, Pretty b) => Pretty (a, b) where+    pPrintPrec l _ (a, b) =+        parens $ fsep $ punctuate comma [pPrint0 l a, pPrint0 l b]++instance (Pretty a, Pretty b, Pretty c) => Pretty (a, b, c) where+    pPrintPrec l _ (a, b, c) =+        parens $ fsep $ punctuate comma [pPrint0 l a, pPrint0 l b, pPrint0 l c]++instance (Pretty a, Pretty b, Pretty c, Pretty d) => Pretty (a, b, c, d) where+    pPrintPrec l _ (a, b, c, d) =+        parens $ fsep $ punctuate comma [pPrint0 l a, pPrint0 l b, pPrint0 l c, pPrint0 l d]++instance (Pretty a, Pretty b, Pretty c, Pretty d, Pretty e) => Pretty (a, b, c, d, e) where+    pPrintPrec l _ (a, b, c, d, e) =+        parens $ fsep $ punctuate comma [pPrint0 l a, pPrint0 l b, pPrint0 l c, pPrint0 l d, pPrint0 l e]++instance (Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f) => Pretty (a, b, c, d, e, f) where+    pPrintPrec l _ (a, b, c, d, e, f) =+        parens $ fsep $ punctuate comma [pPrint0 l a, pPrint0 l b, pPrint0 l c, pPrint0 l d, pPrint0 l e, pPrint0 l f]++instance (Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f, Pretty g) =>+         Pretty (a, b, c, d, e, f, g) where+    pPrintPrec l _ (a, b, c, d, e, f, g) =+        parens $ fsep $ punctuate comma [pPrint0 l a, pPrint0 l b, pPrint0 l c, pPrint0 l d, pPrint0 l e, pPrint0 l f, pPrint0 l g]++instance (Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f, Pretty g, Pretty h) =>+         Pretty (a, b, c, d, e, f, g, h) where+    pPrintPrec l _ (a, b, c, d, e, f, g, h) =+        parens $ fsep $ punctuate comma [pPrint0 l a, pPrint0 l b, pPrint0 l c, pPrint0 l d, pPrint0 l e, pPrint0 l f, pPrint0 l g, pPrint0 l h]+