funsat-0.5: A modern DPLL-style SAT solverSource codeContentsIndex

Tabular output.

Converting any matrix of showable data types into a tabular form for which the layout is automatically done properly. Currently there is no maximum row width, just a dynamically-calculated column width.

If the input matrix is mal-formed, the largest well-formed submatrix is chosen. That is, elements along too-long dimensions are chopped off.

newtype Table a Source
Table [Row a]
show/hide Instances
Show a => Show (Table a)
mkTable :: Show a => [[a]] -> Table aSource
combine :: Show a => Table a -> Table a -> Table aSource
unTable :: Table a -> [[a]]Source
Produced by Haddock version 2.1.0