ProjectM36.Relation.Show.Term

Documentation

boxV :: StringType

boxH :: StringType

boxTL :: StringType

boxTR :: StringType

boxBL :: StringType

boxBR :: StringType

boxLB :: StringType

boxRB :: StringType

boxTB :: StringType

boxBB :: StringType

boxC :: StringType

dboxH :: StringType

dboxL :: StringType

dboxR :: StringType

class TermSize a where

Minimal complete definition

termLength

Methods

termLength :: a -> Int

type Cell = StringType

type Table = ([Cell], [[Cell]])

addRow :: [Cell] -> Table -> Table

cellLocations :: Table -> ([Int], [Int])

breakLines :: StringType -> [StringType]

cellSizes :: Table -> [([Int], [Int])]

relationAsTable :: Relation -> Table

showParens :: Bool -> StringType -> StringType

showAtom :: Int -> Atom -> StringType

renderTable :: Table -> StringType

renderHeader :: Table -> [Int] -> StringType

renderHBar :: StringType -> StringType -> StringType -> [Int] -> StringType

leftPaddedString :: Int -> Int -> StringType -> StringType

renderRow :: [Cell] -> [Int] -> Int -> StringType -> StringType

renderBody :: [[Cell]] -> ([Int], [Int]) -> StringType

repeatString :: Int -> StringType -> StringType

showRelation :: Relation -> StringType

stringDisplayLength :: StringType -> Int