Skip to content

Diagram editor for models of discrete double theories #251

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
Merged
epatters merged 17 commits into from
Nov 12, 2024
Merged

Diagram editor for models of discrete double theories #251

epatters merged 17 commits into from
Nov 12, 2024

Conversation

@epatters
Copy link
Member

@epatters epatters commented Nov 11, 2024 •
edited
Loading

A big PR to the frontend that:

  • Refactors and extends the notions of "document" for models, analyses, and now diagrams in models
  • Add types for diagrams in models, in both TypeScript and the Rust-wasm bindings
  • Implements auto-completion for basic objects and morphisms in models
  • Adds a rough but functional notebook editor for diagrams in models of discrete double theories

Enough to close #235. Follow-on work will be described in new issues.

@epatters
REFACTOR: Move model/analysis documents to resp. top-level folders.
ca4073c 
The top-level `document` folder has been removed.
@epatters
REFACTOR: Move specific analyses to stdlib folder.
867f6a0 
This mirrors the code organization in `catlog`.
@epatters
REFACTOR: Move generic IdInput to top-level components directory.
5b05933 
This component won't just be used in the model editor.
@epatters
ENH: Types in TS and Rust-wasm for diagrams in a model.
7f83c28
@epatters
ENH: Completions for object inputs in models.
f946c02
@epatters
REFACTOR: Simplify ExternRef type.
92c0176 
This is a breaking change.
@epatters
CLEANUP: Remove error handling boilerplate in frontend.
b843196 
It doesn't work as intended: the error message is blank. We should do
something better but that's a task for the future.
@epatters
ENH: Document types for diagrams, static and live.
d770a19 
Also, move `LiveModelDocument` out of model editor.
@epatters
REFACTOR: Consistently reuse LiveDoc type instead of replicating it.
2ed9b77
@epatters
ENH: Instance-level frontend metadata for types in double theories.
e323742 
Also, stub out parts of a diagram editor.
@epatters
ENH: Editor for object declarations in a diagram in a model.
3185db6 
Also, simplify the `Context` for a model by just providing the live
model document.
@epatters
CLEANUP: Consistent font sizes in model and diagram editors.
679000d
@epatters epatters added enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations labels Nov 11, 2024
@epatters epatters marked this pull request as draft November 11, 2024 20:48
@github-actions
Copy link

github-actions bot commented Nov 11, 2024 •
edited
Loading

Preview url: https://6732fa739bb8d774f3ead6ec--catcolab.netlify.app

@epatters
ENH: Completions for tabulated morphisms in models.
4d88e52 
Unfortunately we can't demonstrate it yet since models of discrete
tabulator theories still need to be implemented in the core.
@epatters
REFACTOR: Move CSS styles for arrows to a dedicated CSS module.
fd3c215
@epatters
ENH: Widget to input a basic morphism in a model.
a323703 
Used in the morphism editor for diagrams.
@epatters
ENH: Widget to input domain/codomain objects in a diagram.
3b0abc7 
Also, refactors the object/morphism input components for better code reuse.
@epatters epatters marked this pull request as ready for review November 12, 2024 06:07
@epatters epatters merged commit 8fa3120 into main Nov 12, 2024
@epatters epatters deleted the diagram-editor branch November 12, 2024 06:51
@epatters epatters mentioned this pull request Nov 18, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations

Projects

No open projects
Decapodes Demo 2024-12
Status: Done

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Diagram-style editor for instances of models of discrete theories

2 participants

@epatters