Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tabular pretty-printer for Algebra #7

Closed
wisnesky opened this issue Aug 3, 2018 · 3 comments
Closed

Tabular pretty-printer for Algebra #7

wisnesky opened this issue Aug 3, 2018 · 3 comments
Assignees

Comments

@wisnesky
Copy link
Contributor

wisnesky commented Aug 3, 2018

Erik writes:
Related to #71.

The idea is to tabulate the Algebra from the Employees.aql example roughly as follows (but pretty):

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

Ryan comments:

The Show instance for Algebra is functional but rudimentary. This issue is to give it a nice tabular format.

Some day AQL-Haskell will emit e.g., HTML output but for now we just need something textual for interacting and especially debugging via the REPL / cmd line.

@wisnesky wisnesky self-assigned this Aug 3, 2018
@statebox statebox deleted a comment from wisnesky Oct 11, 2018
@epost epost changed the title pretty printer Tabular pretty-printer for Algebra Oct 11, 2018
@epost
Copy link
Member

epost commented Oct 12, 2018

I'm working on this with some guidance from Ryan.

@wisnesky
Copy link
Contributor Author

This looks good to me, feel free to close the issue if you want.

@epost
Copy link
Member

epost commented Oct 23, 2018

Thanks! :) I actually still want to implement your quote-stripping suggestions, as well as some other stuff, and I've been looking at a way to do some of it without going the Show route. But I'll do that under #71.

@epost epost closed this as completed Oct 23, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants