4 module Agda.Utils.Pretty
5     ( module Agda.Utils.Pretty
49 class Pretty a where  constructor
60 prettyShow :: Pretty a => a -> String
65 instance Pretty Bool    where pretty = text . show  function
66 instance Pretty Int     where pretty = text . show  function
67 instance Pretty Int32   where pretty = text . show  function
68 instance Pretty Integer where pretty = text . show  function
69 instance Pretty Word64  where pretty = text . show  function
70 instance Pretty Double  where pretty = text . toStringWithoutDotZero  function
71 instance Pretty Text    where pretty = text . T.unpack  function
73 instance Pretty Char where
77 instance Pretty Doc where
80 instance Pretty () where
83 instance Pretty a => Pretty (Maybe a) where
87 instance Pretty a => Pretty [a] where
90 instance Pretty a => Pretty (List1 a) where
93 instance Pretty IntSet where
96 instance Pretty a => Pretty (Set a) where
99 instance Pretty a => Pretty (IntMap a) where
102 instance (Pretty k, Pretty v) => Pretty (Map k v) where
134 prettyList_ :: Pretty a => [a] -> Doc
138 prettySet :: Pretty a => [a] -> Doc
142 prettyMap :: (Pretty k, Pretty v) => [(k,v)] -> Doc
146 prettyAssign :: (Pretty k, Pretty v) => (k,v) -> Doc