| License |
License |
|---|---|
| GroupId | GroupIdeu.timepit |
| ArtifactId | ArtifactIdrefined_sjs1_2.13 |
| Last Version | Last Version0.10.0 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
Descriptionrefined
Simple refinement types for Scala
|
| Project URL |
Project URL |
| Project Organization |
Project Organization |
| Source Code Management |
Source Code Management |
| Filename | Size |
|---|---|
| refined_sjs1_2.13-0.10.0.pom | |
| refined_sjs1_2.13-0.10.0.jar | 993 KB |
| refined_sjs1_2.13-0.10.0-sources.jar | 37 KB |
| refined_sjs1_2.13-0.10.0-javadoc.jar | 2 MB |
| Browse |
<!-- https://jarcasting.com/artifacts/eu.timepit/refined_sjs1_2.13/ -->
<dependency>
<groupId>eu.timepit</groupId>
<artifactId>refined_sjs1_2.13</artifactId>
<version>0.10.0</version>
</dependency>
// https://jarcasting.com/artifacts/eu.timepit/refined_sjs1_2.13/
implementation 'eu.timepit:refined_sjs1_2.13:0.10.0'
// https://jarcasting.com/artifacts/eu.timepit/refined_sjs1_2.13/
implementation ("eu.timepit:refined_sjs1_2.13:0.10.0")
'eu.timepit:refined_sjs1_2.13:jar:0.10.0'
<dependency org="eu.timepit" name="refined_sjs1_2.13" rev="0.10.0">
<artifact name="refined_sjs1_2.13" type="jar" />
</dependency>
@Grapes(
@Grab(group='eu.timepit', module='refined_sjs1_2.13', version='0.10.0')
)
libraryDependencies += "eu.timepit" % "refined_sjs1_2.13" % "0.10.0"
[eu.timepit/refined_sjs1_2.13 "0.10.0"]
| Group / Artifact | Type | Version |
|---|---|---|
| org.scala-lang : scala-compiler | jar | 2.13.8 |
| org.scala-lang : scala-library | jar | 2.13.8 |
| org.scala-js : scalajs-library_2.13 | jar | 1.10.0 |
| org.scala-lang : scala-reflect | jar | 2.13.8 |
| com.chuusai : shapeless_sjs1_2.13 | jar | 2.3.9 |
| Group / Artifact | Type | Version |
|---|---|---|
| org.scala-js : scalajs-test-bridge_2.13 | jar | 1.10.0 |
| org.scalacheck : scalacheck_sjs1_2.13 | jar | 1.16.0 |