ContentsIndex
Pretty.Relational
Synopsis
prettyRelational :: Module Predicate Relational -> [String]
ppRelPred :: (Predicate, [Relational]) -> String
ppPred' :: Predicate -> Doc
ppRel :: Relational -> Doc
ppPerm :: Perm -> Doc
ppVector :: Vector -> Doc
Produced by Haddock version 0.6