ContentsIndex
Pretty.Prolog
Synopsis
prettyProlog :: Module Predicate Clause -> [String]
pretty' :: (Predicate, [Clause]) -> String
ppPred :: Predicate -> Doc
ppClause :: Clause -> Doc
ppAtom :: Atom -> Doc
ppTerm :: Term -> Doc
ppVar :: Var -> Doc
ppConst :: Const -> Doc
ppStruct :: Term -> Doc
Produced by Haddock version 0.6