funsat-0.6.0: A modern DPLL-style SAT solver

Text.Tabular

Description

Tabular output.

Converts 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 Table a Source

Constructors

Table [Row a] 

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