Safe Haskell | None |
---|---|
Language | Haskell2010 |
- ppTheory :: Name a => Theory a -> Doc
- ppTheoryWithRenamings :: Name a => Theory a -> (Doc, RenameMap a)
- class PrettyVar a => PrettyHsVar a where
- ppUnqual :: PrettyHsVar a => a -> Doc
- ppHsVar :: PrettyHsVar a => a -> Doc
- ppOperQ :: PrettyHsVar a => Bool -> a -> [Doc] -> Doc
- ppOper :: PrettyHsVar a => a -> [Doc] -> Doc
- isOp :: PrettyHsVar a => a -> Bool
- tuple :: [Doc] -> Doc
- csv :: [Doc] -> Doc
- ppPat :: PrettyHsVar a => Int -> Pat a -> Doc
- ppType :: PrettyHsVar a => Bool -> Int -> Type a -> Doc
- type RenameMap a = Map (HsId a) (HsId String)
Documentation
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.
PrettyVar a => PrettyHsVar (HsId a) |
ppUnqual :: PrettyHsVar a => a -> Doc Source
ppHsVar :: PrettyHsVar a => a -> Doc Source
ppOper :: PrettyHsVar a => a -> [Doc] -> Doc Source
isOp :: PrettyHsVar a => a -> Bool Source