refined-2-11

library0.9.12javamavenunverified

Refined provides simple refinement types for Scala, enabling compile-time validation of values.

<dependency>
  <groupId>eu.timepit</groupId>
  <artifactId>refined_2.11</artifactId>
  <version>0.9.12</version>
</dependency>

github ↗homepage ↗docs ↗

INSTALL

IMPORT

SIG · REFINED-2-11

refined-2-11

utilityjavav0.9.12

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

Refined

✓ eu.timepit.refined.api.Refined

Define a refined type for positive integers.

import eu.timepit.refined.api.Refined import eu.timepit.refined.numeric.Positive object Example { type PositiveInt = Int Refined Positive val x: PositiveInt = 5 println(x) }

Debug

Known issues

breakingThis version targets Scala 2.11; use refined_2.12 or refined_2.13 for newer Scala versions.

fix

Use the appropriate artifact for your Scala version (e.g., refined_2.13).

affects: 0.9.12

Upgrade

Version history

0.9.12latest on Maven

Audit

Dependencies

No dependency data recorded yet.

Agent activity

7 hits · last 30 days

node

Amazon

Resources

githubhttps://github.com/fthomas/refined ↗

homepagehttps://github.com/fthomas/refined ↗

docshttps://appdoc.app/artifact/eu.timepit/refined_2.11/ ↗