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.

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

Module for standard type aliases #185

Closed
benhutchison opened this issue Jul 6, 2016 · 2 comments
Closed

Module for standard type aliases #185

benhutchison opened this issue Jul 6, 2016 · 2 comments

Comments

@benhutchison
Copy link

There are some very common refined types that it would be nice to give short, standardized names to.

Int Refined Positive and Int Refined NonNegative being two examples, which I found myself aliasing after using refined for about an hour.

Without standard names, different users will invariably choose different aliases to refer to the same refinement. Eg I chose NatInt and Nat0Int for the above two respectively, while Quasar apparently uses Positive and Natural.

Ideally this is done in a seperate modular layer, so people can opt in to the standard names but aren't forced to use them.

Gitter context: https://gitter.im/fthomas/refined?at=577cca9d9d3eadd723767548

fthomas added a commit that referenced this issue Dec 24, 2016
fthomas added a commit that referenced this issue Dec 24, 2016
@benhutchison
Copy link
Author

Thanks @fthomas Im introducing these now to a codebase and finding them useful :)

@fthomas
Copy link
Owner

fthomas commented Dec 16, 2017

@benhutchison I'm very pleased to hear that! I'm currently working on #369 which hopefully makes working with type aliases easier.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants