Export.Generic

Documentation

data Table

Constructors

Rows [Row]

Cols [Col]

Instances

Eq Table

Methods

(==) :: Table -> Table -> Bool

(/=) :: Table -> Table -> Bool

Show Table

Methods

showsPrec :: Int -> Table -> ShowS

show :: Table -> String

showList :: [Table] -> ShowS

type Row = [Elem]

type Col = [Elem]

type Elem = String

reformat :: Table -> Table

transp :: Table -> Table

toCSV :: String -> Table -> String

toHTML :: Table -> String

isIntegral :: Double -> Bool

pointsDoc :: Double -> Doc

propertyExpDoc :: PropertyExp -> Doc

unify :: Judgement -> Judgement -> Maybe Judgement

summary :: Word -> Judgement -> Judgement

lookupProperty :: String -> Judgement -> Maybe Doc

lookupTotal :: Judgement -> Doc

lookupMaxPoints :: Judgement -> Doc

lookupTitle :: Judgement -> Doc

getTotal :: Judgement -> String

getTitle :: Judgement -> String

getMaxPoints :: Judgement -> String