Simple refinement types for Scala
| Version ▼ | Scala | Scala.js | Native | Vulnerabilities | Usages | Date |
|---|
0.11.x | 0.11.4 | 3
2.13
2.12
| 1 (3)
1 (2.13)
1 (2.12)
| 0.5 (3)
0.5 (2.13)
0.5 (2.12)
| | | Jun 30, 2026 |
| 0.11.3 | 3
2.13
2.12
| 1 (3)
1 (2.13)
1 (2.12)
| 0.5 (3)
0.5 (2.13)
0.5 (2.12)
| | | Dec 27, 2024 |
| 0.11.2 | 3
2.13
2.12
| 1 (3)
1 (2.13)
1 (2.12)
| 0.5 (3)
0.5 (2.13)
0.5 (2.12)
| | | Jun 01, 2024 |
| Show 2 more from 0.11.x |
0.10.x | 0.10.3 | 3
2.13
2.12
| 1 (3)
1 (2.13)
1 (2.12)
| 0.4 (3)
0.4 (2.13)
0.4 (2.12)
| | | Mar 21, 2023 |
| 0.10.2 | 3
2.13
2.12
| 1 (3)
1 (2.13)
1 (2.12)
| 0.4 (3)
0.4 (2.13)
0.4 (2.12)
| | | Mar 03, 2023 |
| 0.10.1 | 3
2.13
2.12
| 1 (3)
1 (2.13)
1 (2.12)
| 0.4 (3)
0.4 (2.13)
0.4 (2.12)
| | | Jul 06, 2022 |
| Show 1 more from 0.10.x |
0.9.x | 0.9.29 | 3
2.13
2.12
| 1 (3)
1 (2.13)
1 (2.12)
| | | | May 10, 2022 |
| 0.9.28 | 3
2.13
2.12
| 1 (3)
1 (2.13)
1 (2.12)
| | | | Nov 30, 2021 |
| 0.9.27 | 3
2.13
2.12
| 1 (3)
1 (2.13)
1 (2.12)
| | | | Jul 20, 2021 |
| Show 27 more from 0.9.x |
0.8.x | 0.8.7 | 2.12
2.11
2.10
| 0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
| | | | Jan 28, 2018 |
| 0.8.6 | 2.12
2.11
2.10
| 0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
| | | | Dec 27, 2017 |
| 0.8.5 | 2.12
2.11
2.10
| 0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
| | | | Dec 19, 2017 |
| Show 5 more from 0.8.x |
0.7.x | 0.7.0 | 2.12
2.11
2.10
| 0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
| | | | Jan 24, 2017 |
0.6.x | 0.6.2 | 2.12
2.11
2.10
| 0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
| | | | Jan 12, 2017 |
| 0.6.1 | 2.12
2.11
2.10
| 0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
| | | | Dec 24, 2016 |
| 0.6.0 | 2.12
2.12.0-RC2
2.11
2.10
| 0.6 (2.12)
0.6 (2.12.0-RC2)
0.6 (2.11)
0.6 (2.10)
| | | | Nov 02, 2016 |
0.5.x | 0.5.0 | 2.12.0-RC2
2.12.0-M5
2.11
2.10
| 0.6 (2.12.0-RC2)
0.6 (2.12.0-M5)
0.6 (2.11)
0.6 (2.10)
| | | | Jul 06, 2016 |
0.4.x | 0.4.0 | 2.12.0-M4
2.11
2.10
| 0.6 (2.12.0-M4)
0.6 (2.11)
0.6 (2.10)
| | | | May 09, 2016 |
0.3.x | 0.3.7 | 2.11
2.10
| 0.6 (2.11)
0.6 (2.10)
| | | | Mar 12, 2016 |
| 0.3.6 | 2.11
2.10
| 0.6 (2.11)
0.6 (2.10)
| | | | Feb 25, 2016 |
| 0.3.5 | 2.11
2.10
| 0.6 (2.11)
0.6 (2.10)
| | | | Feb 13, 2016 |
| Show 5 more from 0.3.x |
0.2.x | 0.2.3 | 2.11
| 0.6 (2.11)
| | | | Aug 31, 2015 |
| 0.2.2 | 2.11
| 0.6 (2.11)
| | | | Aug 17, 2015 |
| 0.2.1 | 2.11
| 0.6 (2.11)
| | | | Aug 06, 2015 |
| Show 1 more from 0.2.x |
