f3cf1cc · typeable/pandoc

528-- Tables

529--

530

531−-- | Parse a dashed line with optional trailing spaces; return its length

531+-- Parse a dashed line with optional trailing spaces; return its length

532−-- and the length including trailing space.

532+-- and the length including trailing space.

533dashedLine ch = do

534 dashes <- many1 (char ch)

535 sp <- many spaceChar

536 return $ (length dashes, length $ dashes ++ sp)

537

538−-- | Parse a table header with dashed lines of '-' preceded by

538+-- Parse a table header with dashed lines of '-' preceded by

539−-- one line of text.

539+-- one line of text.

540simpleTableHeader = do

541 rawContent <- anyLine

542 initSp <- nonindentSpaces

548 let aligns = zipWith alignType (map (\a -> [a]) rawHeads) lengths

549 return $ (rawHeads, aligns, indices)

550

551−-- | Parse a table footer - dashed lines followed by blank line.

551+-- Parse a table footer - dashed lines followed by blank line.

552tableFooter = try $ do

553 nonindentSpaces

554 many1 (dashedLine '-')

555 blanklines

556

557−-- | Parse a table separator - dashed line.

557+-- Parse a table separator - dashed line.

558tableSep = try $ do

559 nonindentSpaces

560 many1 (dashedLine '-')

561 string "\n"

562

563−-- | Parse a raw line and split it into chunks by indices.

563+-- Parse a raw line and split it into chunks by indices.

564rawTableLine indices = do

565 notFollowedBy' (blanklines <|> tableFooter)

566 line <- many1Till anyChar newline

567 return $ map removeLeadingTrailingSpace $ tail $

568 splitByIndices (init indices) line

569

570−-- | Parse a table line and return a list of lists of blocks (columns).

570+-- Parse a table line and return a list of lists of blocks (columns).

571tableLine indices = try $ do

572 rawline <- rawTableLine indices

573 mapM (parseFromStr (many plain)) rawline

574

575−-- | Parse a multiline table row and return a list of blocks (columns).

575+-- Parse a multiline table row and return a list of blocks (columns).

576multilineRow indices = try $ do

577 colLines <- many1 (rawTableLine indices)

578 option "" blanklines

579 let cols = map unlines $ transpose colLines

580 mapM (parseFromStr (many plain)) cols

581

582−-- | Calculate relative widths of table columns, based on indices

582+-- Calculate relative widths of table columns, based on indices

583−widthsFromIndices :: Int -- ^ Number of columns on terminal

583+widthsFromIndices :: Int -- Number of columns on terminal

584− -> [Int] -- ^ Indices

584+ -> [Int] -- Indices

585− -> [Float] -- ^ Fractional relative sizes of columns

585+ -> [Float] -- Fractional relative sizes of columns

586widthsFromIndices _ [] = []

587widthsFromIndices numColumns indices =

588 let lengths = zipWith (-) indices (0:indices)

593 fracs = map (\l -> (fromIntegral l) / quotient) lengths in

594 tail fracs

595

596−-- | Parses a table caption: inlines beginning with 'Table:'

596+-- Parses a table caption: inlines beginning with 'Table:'

597−-- and followed by blank lines

597+-- and followed by blank lines.

598tableCaption = try $ do

599 nonindentSpaces

600 string "Table:"

602 blanklines

603 return $ normalizeSpaces result

604

605−-- | Parse a table using 'headerParser', 'lineParser', and 'footerParser'

605+-- Parse a table using 'headerParser', 'lineParser', and 'footerParser'.

606tableWith headerParser lineParser footerParser = try $ do

607 (rawHeads, aligns, indices) <- headerParser

608 lines <- many1Till (lineParser indices) footerParser

613 let widths = widthsFromIndices numColumns indices

614 return $ Table caption aligns widths heads lines

615

616−-- | Parse a simple table with '---' header and one line per row.

616+-- Parse a simple table with '---' header and one line per row.

617simpleTable = tableWith simpleTableHeader tableLine blanklines

618

619−-- | Parse a multiline table: starts with row of '-' on top, then header

619+-- Parse a multiline table: starts with row of '-' on top, then header

620−-- (which may be multiline), then the rows,

620+-- (which may be multiline), then the rows,

621−-- which may be multiline, separated by blank lines, and

621+-- which may be multiline, separated by blank lines, and

622−-- ending with a footer (dashed line followed by blank line).

622+-- ending with a footer (dashed line followed by blank line).

623multilineTable = tableWith multilineTableHeader multilineRow tableFooter

624

625multilineTableHeader = try $ do

639 return $ ((map removeLeadingTrailingSpace rawHeads),

640 aligns, indices)

641

642−-- | Returns the longest of a list of strings.

642+-- Returns the longest of a list of strings.

643longest :: [String] -> String

644longest [] = ""

645longest [x] = x

648 then x

649 else longest xs

650

651−-- | Returns an alignment type for a table, based on a list of strings

651+-- Returns an alignment type for a table, based on a list of strings

652−-- (the rows of the column header) and a number (the length of the

652+-- (the rows of the column header) and a number (the length of the

653−-- dashed line under the rows.

653+-- dashed line under the rows.

654alignType :: [String] -> Int -> Alignment

655alignType [] len = AlignDefault

656alignType strLst len =