Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder DFKI 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.CompositionTable.Pretty2

Description

 

Documentation

ctxt :: String -> Doc

table2Doc :: Table2 -> Doc

baserel :: IntMap Baserel -> Int -> Doc

cmptab :: IntMap Baserel -> (Int, IntMap IntSet) -> [Doc]

conversetable :: IntMap Baserel -> ConTables -> Doc

contab :: IntMap Baserel -> String -> ConTable -> Doc

contabentry :: IntMap Baserel -> (Int, IntSet) -> Doc