Skip to content
This repository was archived by the owner on Jun 1, 2022. It is now read-only.

export (private) type #547

Open
jonhue opened this issue Mar 19, 2021 · 0 comments
Open

export (private) type #547

jonhue opened this issue Mar 19, 2021 · 0 comments
Labels
enhancement New feature or request
Milestone
0.2.0

Comments

@jonhue
Copy link
Member

jonhue commented Mar 19, 2021 •
edited
Loading

Allow exporting types (type aliases, type classes, ...). Should not export the tags used in a type declaration.

export private type IO<a> = IO(a)

The private keyword should only work with type aliases.
@jonhue jonhue added the enhancement New feature or request label Mar 19, 2021
@jonhue jonhue changed the title export private type export (private) type Mar 19, 2021
@jonhue jonhue added this to the 0.2.0 milestone Mar 21, 2021
@jonhue jonhue added this to Core Nov 19, 2021
@jonhue jonhue moved this to Todo in Core Nov 19, 2021
@jonhue jonhue moved this from Todo to Processing in Core Nov 19, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
Core
Status: Processing
Milestone
0.2.0
Development

No branches or pull requests
1 participant
@jonhue