Pretty-printing

[epost]

Current situation

Output looks something like this:

algebra
"E" (2)
-------------
"e"."f": "f" = "e", "a1" = Right ("e"."f","a2"),"a2" = Right ("e"."f","a2")
"e": "f" = "e"."f", "a1" = Right ("e","a2"),"a2" = Right ("e","a2")

Here, algebra is a section heading, and show-like output, such as Right ("e","a2") is mixed with pretty-printed output like the section heading and -------.

TODO

• indent section bodies; currently, we have things like the following, where :
• -> String functions should distinguish between pretty-printing and show, which should be the inverse of read.
• We'll also want to consider some annotated output format like XML, with one obvious use case being to produce HTML.

Ryan's suggestions:

• make TTerm (in Instance.hs) a newtype with a custom Show
• in Show Term (in Term.hs) we can strip quotes from printed strings using filter, provided the quotes aren't needed (e.g., no spaces)

Fix Show instances:

• Schema
• Entity
• Attribute
• Instance
• Algebra
• Term
• Typeside
• Mapping
• Query
• Transform
• TODO all the XxxEx and XxxRaw ones

[wisnesky]

todo:

• make TTerm (in Intsance.hs) a new type with a custom show
• in Show for Term (in Term.hs) we can strip quotes from printed strings using filter, provided the quotes aren't needed (e.g., no spaces)

[wisnesky]

Desired output:

Department (1) | secretary | name
----------------------------------
a.worksIn a a.worksIn.name


Employee (2) | manager | worksIn | age | first | last
--------------------------------------------------------
a a a.worksIn a.age a.first a.last
b b b.worksIn b.age b.first b.last


nat (2)
--------
a.age
b.age

string (5)
-----------
a.worksIn.name