funsat-0.4: A modern DPLL-style SAT solverSource codeContentsIndex
Text.Tabular
Description

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.

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