From a58a621644cf53da907b5755b49477449f659bb7 Mon Sep 17 00:00:00 2001 From: "Frank S. Thomas" Date: Sat, 14 Nov 2020 08:03:03 +0100 Subject: [PATCH] Setting version to 0.9.18 --- README.md | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/README.md b/README.md index b27b1422f..cd040304a 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ [![codecov.io](https://img.shields.io/codecov/c/github/fthomas/refined.svg)](http://codecov.io/github/fthomas/refined) [![Gitter](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/fthomas/refined?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge) [![Scaladex](https://index.scala-lang.org/fthomas/refined/refined/latest.svg?color=blue)](https://index.scala-lang.org/fthomas/refined/refined) -[![Scaladoc](https://www.javadoc.io/badge/eu.timepit/refined_2.12.svg?color=blue&label=Scaladoc)](https://javadoc.io/doc/eu.timepit/refined_2.12/0.9.17) +[![Scaladoc](https://www.javadoc.io/badge/eu.timepit/refined_2.12.svg?color=blue&label=Scaladoc)](https://javadoc.io/doc/eu.timepit/refined_2.12/0.9.18) **refined** is a Scala library for refining types with type-level predicates which constrain the set of values described by the refined type. @@ -79,7 +79,7 @@ This mechanism allows to pass values of more specific types (e.g. ``Int Refined Greater[W.`10`.T]``) to functions that take a more general type (e.g. `Int Refined Positive`) without manual intervention. -Note that [`W`](https://static.javadoc.io/eu.timepit/refined_2.12/0.9.17/eu/timepit/refined/index.html#W:shapeless.Witness.type) +Note that [`W`](https://static.javadoc.io/eu.timepit/refined_2.12/0.9.18/eu/timepit/refined/index.html#W:shapeless.Witness.type) is a shortcut for [`shapeless.Witness`][singleton-types] which provides syntax for [literal-based singleton types][sip-23]. @@ -174,23 +174,23 @@ ageEither2: Either[String,Age] = Right(55) ## Using refined -The latest version of the library is 0.9.17, which is available for Scala and +The latest version of the library is 0.9.18, which is available for Scala and [Scala.js][scala.js] version 2.12 and 2.13. If you're using sbt, add the following to your build: ```sbt libraryDependencies ++= Seq( - "eu.timepit" %% "refined" % "0.9.17", - "eu.timepit" %% "refined-cats" % "0.9.17", // optional - "eu.timepit" %% "refined-eval" % "0.9.17", // optional, JVM-only - "eu.timepit" %% "refined-jsonpath" % "0.9.17", // optional, JVM-only - "eu.timepit" %% "refined-pureconfig" % "0.9.17", // optional, JVM-only - "eu.timepit" %% "refined-scalacheck" % "0.9.17", // optional - "eu.timepit" %% "refined-scalaz" % "0.9.17", // optional - "eu.timepit" %% "refined-scodec" % "0.9.17", // optional - "eu.timepit" %% "refined-scopt" % "0.9.17", // optional - "eu.timepit" %% "refined-shapeless" % "0.9.17" // optional + "eu.timepit" %% "refined" % "0.9.18", + "eu.timepit" %% "refined-cats" % "0.9.18", // optional + "eu.timepit" %% "refined-eval" % "0.9.18", // optional, JVM-only + "eu.timepit" %% "refined-jsonpath" % "0.9.18", // optional, JVM-only + "eu.timepit" %% "refined-pureconfig" % "0.9.18", // optional, JVM-only + "eu.timepit" %% "refined-scalacheck" % "0.9.18", // optional + "eu.timepit" %% "refined-scalaz" % "0.9.18", // optional + "eu.timepit" %% "refined-scodec" % "0.9.18", // optional + "eu.timepit" %% "refined-scopt" % "0.9.18", // optional + "eu.timepit" %% "refined-shapeless" % "0.9.18" // optional ) ``` @@ -198,7 +198,7 @@ For Scala.js just replace `%%` with `%%%` above. Instructions for Maven and other build tools are available at [search.maven.org][search.maven]. -Release notes for the latest version are [here](https://github.com/fthomas/refined/releases/tag/v0.9.17). +Release notes for the latest version are [here](https://github.com/fthomas/refined/releases/tag/v0.9.18). ## Community @@ -293,7 +293,7 @@ opening a pull request to list it here: ## Documentation API documentation of the latest release is available at: - + There are further (type-checked) examples in the [`docs`][docs] directory including ones for defining [custom predicates][custom-pred]