Agda-2.3.2.2: src/prototyping/modules/flat/Pretty.hs

module Pretty where

import Text.PrettyPrint

class Pretty a where
    pretty     :: a -> Doc
    prettyPrec :: Int -> a -> Doc

    pretty	 = prettyPrec 0
    prettyPrec _ = pretty

mparens True = parens
mparens False = id