refined

Simple refinement types for Scala

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

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

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

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

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

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

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

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

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