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