r

refined_2.13

Simple refinement types for Scala
https://github.com/fthomas/refined
MIT
eu.timepit
Frank S. Thomas
refinement simple types scala
Files download
File Operation
refined_2.13-0.9.10.jar download
refined_2.13-0.9.10.pom download
refined_2.13-0.9.10-sources.jar download
Apache Maven 
<dependency>
  <groupId>eu.timepit</groupId>
  <artifactId>refined_2.13</artifactId>
  <version>0.9.10</version>
</dependency>
Gradle Groovy 
implementation 'eu.timepit:refined_2.13:0.9.10'
Gradle Kotlin 
implementation("eu.timepit:refined_2.13:0.9.10")
Scala SBT 
libraryDependencies += "eu.timepit" % "refined_2.13" % "0.9.10"
Groovy Grape 
@Grapes(
  @Grab(group='eu.timepit', module='refined_2.13', version='0.9.10')
)
Apache Ivy 
<dependency org="eu.timepit" name="refined_2.13" rev="0.9.10" />
Leiningen 
[eu.timepit/refined_2.13 "0.9.10"]
Apache Buildr 
'eu.timepit:refined_2.13:jar:0.9.10'
Dependencies

compile

|-- org.scala-lang:scala-compiler:2.13.0

|-- org.scala-lang:scala-library:2.13.0

|-- org.scala-lang:scala-reflect:2.13.0

|-- com.chuusai:shapeless_2.13:2.3.3

|-- org.scala-lang.modules:scala-xml_2.13:1.2.0

test

|-- org.scalacheck:scalacheck_2.13:1.14.0