module Export (exportHTML, exportCSV, unify, summary) where

import Ast
import Invalid
import Export.Html
import Export.CSV
import Export.Generic ( unify, summary )

import Text.PrettyPrint

exportHTML :: [Judgement] -> String
exportHTML = render . htmlRemarks

exportCSV :: String -> [String] -> [Judgement] -> Either Invalid String
exportCSV delim ps js = (pure . render) =<< csvRemarks delim ps js