| ||||
| ||||
Documentation | ||||
prettyProlog :: Show a => Module Predicate (Clause a) -> [String] | ||||
pretty' :: Show a => (Predicate, [Clause a]) -> String | ||||
ppPred :: Predicate -> Doc | ||||
ppClause :: Show a => Clause a -> Doc | ||||
ppAtom :: Show a => Atom a -> Doc | ||||
ppTerm :: Show a => Term a -> Doc | ||||
ppConst :: Const -> Doc | ||||
ppStruct :: Show a => Term a -> Doc | ||||
Produced by Haddock version 0.8 |