refined

Simple refinement types for Scala

License	MIT
GroupId	eu.timepit
ArtifactId	refined-shapeless_2.13
Last Version	0.10.0
Release Date	Jun 27, 2022
Type	jar
Description	refined Simple refinement types for Scala
Project URL	https://github.com/fthomas/refined
Project Organization	eu.timepit
Source Code Management	https://github.com/fthomas/refined

Download refined-shapeless_2.13

Filename	Size
refined-shapeless_2.13-0.10.0.pom
refined-shapeless_2.13-0.10.0.jar	4 KB
refined-shapeless_2.13-0.10.0-sources.jar	1 KB
refined-shapeless_2.13-0.10.0-javadoc.jar	1 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/eu.timepit/refined-shapeless_2.13/ -->
<dependency>
    <groupId>eu.timepit</groupId>
    <artifactId>refined-shapeless_2.13</artifactId>
    <version>0.10.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/eu.timepit/refined-shapeless_2.13/
implementation 'eu.timepit:refined-shapeless_2.13:0.10.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/eu.timepit/refined-shapeless_2.13/
implementation ("eu.timepit:refined-shapeless_2.13:0.10.0")

Apache Buildr

'eu.timepit:refined-shapeless_2.13:jar:0.10.0'

Apache Ivy

<dependency org="eu.timepit" name="refined-shapeless_2.13" rev="0.10.0">
  <artifact name="refined-shapeless_2.13" type="jar" />
</dependency>

Groovy Grape

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

Scala SBT

libraryDependencies += "eu.timepit" % "refined-shapeless_2.13" % "0.10.0"

Leiningen

[eu.timepit/refined-shapeless_2.13 "0.10.0"]

Dependencies

compile (2)

Group / Artifact	Type	Version
org.scala-lang : scala-library	jar	2.13.8
eu.timepit : refined_2.13	jar	0.10.0

Project Modules

There are no modules declared in this project.

Versions

Version
0.10.0 Jun 27, 2022
0.9.29 May 10, 2022
0.9.28 Nov 30, 2021
0.9.27 Jul 20, 2021
0.9.26 May 26, 2021
0.9.25 May 14, 2021
0.9.24 Apr 21, 2021
0.9.23 Apr 4, 2021
0.9.22 Mar 29, 2021
0.9.21 Feb 18, 2021
0.9.20 Jan 5, 2021
0.9.19 Dec 2, 2020
0.9.18 Nov 14, 2020
0.9.17 Sep 28, 2020
0.9.16 Sep 20, 2020
0.9.15 Jul 16, 2020
0.9.14 Apr 22, 2020
0.9.13 Mar 5, 2020
0.9.12 Jan 24, 2020
0.9.10 Sep 16, 2019
0.9.9 Jul 27, 2019
0.9.8 Jun 10, 2019