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

Document GADTs #153

Open
ryyppy opened this issue Jan 1, 2021 · 1 comment
Open

Document GADTs #153

ryyppy opened this issue Jan 1, 2021 · 1 comment
Labels
help wanted Extra attention is needed manual
Milestone
2021 July - December

Comments

@ryyppy
Copy link
Member

ryyppy commented Jan 1, 2021

This one is ridiculously hard to describe in an intuitive way, so this will definitely go into an advanced section.

Not sure what practical examples would fit for e.g. UI development... IMO it's a confusing type construct and oftentimes ends up in confusing type errors, so we'd just document it for completeness reasons.
@ryyppy ryyppy added help wanted Extra attention is needed manual labels Jan 1, 2021
@ryyppy ryyppy added this to the 2021 / January Release milestone Jan 3, 2021
@quinn-dougherty
Copy link

Reference example

@ryyppy ryyppy mentioned this issue Mar 22, 2023
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
help wanted Extra attention is needed manual
Projects
None yet
Milestone
2021 July - December
Development

No branches or pull requests
2 participants
@ryyppy @quinn-dougherty