These are chat archives for fthomas/refined

11th
Jun 2017
Frank S. Thomas
@fthomas
Jun 11 2017 06:00
@alexknvl Last time I checked, it worked with -Yliteral-types out of the box: fthomas/refined#202
In your example you probably need a second parameter list for bound, see https://github.com/fthomas/refined/blob/master/modules/docs/dependent_refinement.md for similar examples
Frank S. Thomas
@fthomas
Jun 11 2017 06:07
note that the restriction "no singleton type of AnyVals" does not apply to TLS with -Yliteral-types, so you can write origin.type
Zizheng Tai
@ZizhengTai
Jun 11 2017 08:51
@fthomas I've written a custom predicate for email validation, do you want me to submit a PR?
specifically which of Email and ValidEmail do you think would be a better name?
I used ValidName in my own code because then i can use type Email = String Refined ValidEmail