Access a type's constructor list through the Meta lib

[kustosz]

Discord username

No response

How important is this feature to you?

3 – Lack of it makes using Enso slightly harder

Describe the idea you'd like to see implemented.

Similarly to #5765, we'll need access to a type's constructor list, including arguments, their types and their parsed documentation.

Is your feature request related to a problem?

Will allow generating AI prompts

Screenshots, screencasts, mockups.

No response

Would you be willing to help us implement this feature?

No

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-03-16):

Progress: - Meta.Type debugging with debugger as well as IO.println
- Found IO.println problem: #5961
- Reporting problem with .should_be_a: #5962
- Problem with Text.to_display_text: #5971
- 1:1 with Hubert
- Libs standup - play button discussion
- reviewing: #5964
- 16:00 - 17:30
- found solution for Meta.Constructor.Value: 1b89cad It should be finished by 2023-03-20.

Next Day: Continue investigating 48MB .ir format. Finalize Meta.Typeconstructors.

GitHub

Execution Modes, Configuration Modes and Play Buttons · enso-org/enso · Discussion #5964

This discussion is to clarify what we should do for the execution mode and the play button support. Currently, we have three contexts a function can be in default, Input, and Output. If a context i...

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-03-17):

Progress: - Meta.Type.constructors - merged: #5956
- CI fighting: https://discord.com/channels/401396655599124480/1083591347434434670/1086185544574320681
- digging history of to_display_text: #5971 (comment)
- evaluating: #5745
- updating specification for sort: #5742 (comment)
- review: #5970 (review)
- Review of https://github.com/enso-org/enso/pull/5959/files#r1139996286
- Standups, review of PRs, emails It should be finished by 2023-03-20.

Next Day: Continue investigating 48MB .ir format.

Discord

Discord - A New Way to Chat with Friends & Communities

Discord is the easiest way to communicate over voice, video, and text. Chat, hang out, and stay close with your friends and communities.

GitHub

Wip/gmt/5122 replace 2 by GregoryTravis · Pull Request #5959 · enso-org/enso

Pull Request Description Re-implement replace on top of Truffle regex. Important Notes Checklist Please ensure that the following checklist has been satisfied before submitting the PR:

The docume...