Skip to content

Issues: fthomas/refined

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

Clear current search query, filters, and sorts
61 Open 149 Closed
61 Open 149 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Represent validation errors as data enhancement
#14 opened Jun 6, 2015 by fthomas updated Oct 14, 2015
4
Show type class instance for Predicate enhancement
#49 opened Aug 5, 2015 by koshelev updated Oct 30, 2015
5
Add special exception for RefinePartiallyApplied.force enhancement
#101 opened Dec 1, 2015 by fthomas updated Dec 14, 2015
1
Documentation about the differences between @@ and Refined documentation
#105 opened Dec 13, 2015 by fthomas updated Apr 1, 2016
1
Refine to Either[T Refined Not[P], T Refined P] experiment
#166 opened May 13, 2016 by fthomas updated Jun 6, 2016
2
Use value-level terminology on type-level
#219 opened Nov 2, 2016 by cvogt updated Feb 6, 2017
4
Scalac crashes if a Validate.Plain requires an implicit TypeTag
#231 opened Dec 14, 2016 by Atry updated Mar 15, 2017
3
Feature request: Add runtime exception check instead of error "compile-time refinement only works with literals"
#188 opened Jul 11, 2016 by soronpo updated Jul 3, 2017
13
Scala Exercises for refined documentation
#186 opened Jul 6, 2016 by fthomas updated Jul 13, 2017
6
Document "types" module in README
#354 opened Nov 13, 2017 by NeQuissimus updated Nov 14, 2017
1
Reduce compilation times
#328 opened Sep 22, 2017 by fthomas updated Dec 24, 2017
4
Add operations on refined typed
#217 opened Nov 2, 2016 by cvogt updated Jan 13, 2018
9
Logo for refined? help wanted
#381 opened Dec 20, 2017 by fthomas updated Jan 15, 2018
10
Do something about warning with -Xverify
#418 opened Jan 25, 2018 by fthomas updated Jan 25, 2018
Macro expansion error with generic Inference
#454 opened Mar 13, 2018 by umbreak updated Mar 14, 2018
1
2
Creating new refinement type crashes with: exception during macro expansion
#448 opened Mar 2, 2018 by umbreak updated Mar 20, 2018
5
Add sbt projects that aggregate all JVM/JS/Native projects build low-hanging fruit
#460 opened Mar 27, 2018 by fthomas updated Mar 27, 2018
Experiment with newtypes and scala-newtype
#465 opened Apr 5, 2018 by fthomas updated Apr 6, 2018
2
Unacceptable compilation time
#494 opened Apr 29, 2018 by vasily-kirichenko updated May 1, 2018
5
Refined AnyOf[T :: HNil] is not compatible with Refined T
#495 opened Apr 29, 2018 by vasily-kirichenko updated May 2, 2018
7
Compose refinements
#445 opened Feb 22, 2018 by NeQuissimus updated May 3, 2018
1
NullPointerException raised when attempting conversion on null string
#450 opened Mar 8, 2018 by umbreak updated May 9, 2018
6
Move predicates into predicates package
#508 opened May 15, 2018 by fthomas updated May 15, 2018
Some form of über-import to access standard functions in single line
#184 opened Jul 6, 2016 by benhutchison updated May 15, 2018
3
Reduce API surface
#386 opened Dec 23, 2017 by fthomas updated May 15, 2018
4
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.