| Лицензия |
Лицензия |
|---|---|
| Группа | Группаeu.timepit |
| Идентификатор | Идентификаторrefined_3 |
| Последняя версия | Последняя версия0.10.0 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
Описаниеrefined
Simple refinement types for Scala
|
| Ссылка на сайт |
Ссылка на сайт |
| Организация-разработчик |
Организация-разработчик |
| Система контроля версий |
Система контроля версий |
| Имя Файла | Размер |
|---|---|
| refined_3-0.10.0.pom | |
| refined_3-0.10.0.jar | 587 KB |
| refined_3-0.10.0-sources.jar | 32 KB |
| refined_3-0.10.0-javadoc.jar | 189 bytes |
| Обзор |
JarCasting<!-- https://jarcasting.com/artifacts/eu.timepit/refined_3/ -->
<dependency>
<groupId>eu.timepit</groupId>
<artifactId>refined_3</artifactId>
<version>0.10.0</version>
</dependency>// https://jarcasting.com/artifacts/eu.timepit/refined_3/
implementation 'eu.timepit:refined_3:0.10.0'// https://jarcasting.com/artifacts/eu.timepit/refined_3/
implementation ("eu.timepit:refined_3:0.10.0")'eu.timepit:refined_3:jar:0.10.0'<dependency org="eu.timepit" name="refined_3" rev="0.10.0">
<artifact name="refined_3" type="jar" />
</dependency>@Grapes(
@Grab(group='eu.timepit', module='refined_3', version='0.10.0')
)libraryDependencies += "eu.timepit" % "refined_3" % "0.10.0"[eu.timepit/refined_3 "0.10.0"]| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.scala-lang : scala3-library_3 | jar | 3.1.2 |
| com.chuusai : shapeless_2.13 | jar | 2.3.9 |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.scalacheck : scalacheck_3 | jar | 1.16.0 |