refined
#type
#github
https://github.com/fthomas/refined
Simple refinement types for Scala