tip-lib-0.2.2: tons of inductive problems - support library and tools

Safe HaskellNone
LanguageHaskell2010

Tip.Pretty.Haskell

Contents

Synopsis

Documentation

ppTheory :: Name a => Mode -> Theory a -> Doc Source

ppTheoryWithRenamings :: Name a => String -> Mode -> Theory a -> (Doc, RenameMap a) Source

Pretty printing

class PrettyVar a => PrettyHsVar a where Source

In instance declarations, you cannot write qualified variables, but need to write them unqualified. As an example, the mempty part here is incorrect:

instance Data.Monoid.Monoid T where
  Data.Monoid.mempty = K

Thus, instance function declarations will be pretty printed with ppUnqual.

Methods

varUnqual :: a -> String Source

Instances

ppUnqual :: PrettyHsVar a => a -> Doc Source

ppHsVar :: PrettyHsVar a => a -> Doc Source

ppOperQ :: PrettyHsVar a => Bool -> a -> [Doc] -> Doc Source

ppOper :: PrettyHsVar a => a -> [Doc] -> Doc Source

isOp :: PrettyHsVar a => a -> Bool Source

tuple :: [Doc] -> Doc Source

csv :: [Doc] -> Doc Source

ppPat :: PrettyHsVar a => Int -> Pat a -> Doc Source

ppType :: PrettyHsVar a => Bool -> Int -> Type a -> Doc Source

type RenameMap a = Map (HsId a) (HsId String) Source

data Mode Source

Constructors

Feat 
QuickCheck 
LazySmallCheck Bool 
Smten 
QuickSpec 
Plain 

Instances