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.

Sign up for GitHub

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

Jump to bottom

[FEATURE] Refactor TLA writers #590

Open
konnov opened this issue Feb 17, 2021 · 0 comments
Open

[FEATURE] Refactor TLA writers #590

konnov opened this issue Feb 17, 2021 · 0 comments
Labels
Finput-output Feature: input-output new New issue to be triaged. refactoring

Comments

@konnov
Copy link
Collaborator

konnov commented Feb 17, 2021

As we are introducing more and more writers, we have to rethink the input/output architecture. For instance, we should move all input/output to tla-import and rename the latter to tla-io. Perhaps, we should use the writer monad as a basic primitive for writers.

/cc @Kukovec
@konnov konnov added new New issue to be triaged. refactoring labels Feb 17, 2021
@konnov konnov added this to the backlog2021 milestone Feb 17, 2021
@konnov konnov mentioned this issue Feb 17, 2021
Merged
4 tasks
@konnov konnov added the Finput-output Feature: input-output label Feb 22, 2021
@shonfeder shonfeder removed this from the backlog2021 milestone Jan 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Finput-output Feature: input-output new New issue to be triaged. refactoring
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@konnov @shonfeder