refined

Примечание: Для этого артефакта существует новая версия: 0.11.2

Simple refinement types for Scala

<dependency>
    <groupId>eu.timepit</groupId>
    <artifactId>refined-scalacheck_2.13</artifactId>
    <version>0.9.24</version>
</dependency>

compile group: 'eu.timepit', name: 'refined-scalacheck_2.13', version: '0.9.24'

compile 'eu.timepit:refined-scalacheck_2.13:0.9.24'

libraryDependencies += "eu.timepit" % "refined-scalacheck_2.13" % "0.9.24"

<dependency org="eu.timepit" name="refined-scalacheck_2.13" rev="0.9.24"/>

@Grapes(
            @Grab(group='eu.timepit', module='refined-scalacheck_2.13', version='0.9.24')
        )

[eu.timepit/refined-scalacheck_2.13 "0.9.24"]

'eu.timepit:refined-scalacheck_2.13:jar:0.9.24'

Compile зависимости (3)