JarCasting
JarCasting JarCasting

refined

Simple refinement types for Scala

License

License

MIT
GroupId

GroupId

eu.timepit
ArtifactId

ArtifactId

refined_3.0.0-RC2
Last Version

Last Version

0.9.24
Release Date

Release Date
Type

Type

jar
Description

Description

refined
Simple refinement types for Scala
Project URL

Project URL

https://github.com/fthomas/refined
Project Organization

Project Organization

eu.timepit
Source Code Management

Source Code Management

https://github.com/fthomas/refined

Download refined_3.0.0-RC2

Filename Size
refined_3.0.0-RC2-0.9.24.pom
refined_3.0.0-RC2-0.9.24.jar 585 KB
refined_3.0.0-RC2-0.9.24-sources.jar 32 KB
refined_3.0.0-RC2-0.9.24-javadoc.jar 189 bytes
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/eu.timepit/refined_3.0.0-RC2/ -->
<dependency>
    <groupId>eu.timepit</groupId>
    <artifactId>refined_3.0.0-RC2</artifactId>
    <version>0.9.24</version>
</dependency>
// https://jarcasting.com/artifacts/eu.timepit/refined_3.0.0-RC2/
implementation 'eu.timepit:refined_3.0.0-RC2:0.9.24'
// https://jarcasting.com/artifacts/eu.timepit/refined_3.0.0-RC2/
implementation ("eu.timepit:refined_3.0.0-RC2:0.9.24")
'eu.timepit:refined_3.0.0-RC2:jar:0.9.24'
<dependency org="eu.timepit" name="refined_3.0.0-RC2" rev="0.9.24">
  <artifact name="refined_3.0.0-RC2" type="jar" />
</dependency>
@Grapes(
@Grab(group='eu.timepit', module='refined_3.0.0-RC2', version='0.9.24')
)
libraryDependencies += "eu.timepit" % "refined_3.0.0-RC2" % "0.9.24"
[eu.timepit/refined_3.0.0-RC2 "0.9.24"]

Dependencies

compile (3)

Group / Artifact Type Version
org.scala-lang : scala3-library_3.0.0-RC2 jar 3.0.0-RC2
org.scala-lang.modules : scala-xml_3.0.0-RC2 jar 2.0.0-RC1
com.chuusai : shapeless_2.13 jar 2.3.4

test (1)

Group / Artifact Type Version
org.scalacheck : scalacheck_3.0.0-RC2 jar 1.15.3

Project Modules

There are no modules declared in this project.

Versions

Version
0.9.24
0.9.23
0.9.22