Indexed Artifacts (20.5M)

Popular Categories

Home » eu.timepit » refined

Refined

Simple refinement types for Scala

LicenseMIT
Used By183 artifacts

VersionScalaScala.jsNativeRepositoryUsagesDate
0.9.x
0.9.243.0.0-RC3
3.0.0-RC2
2.13
2.12
1 (3.0.0-RC3)
1 (3.0.0-RC2)
1 (2.13)
1 (2.12)
Central42Apr, 2021
0.9.233.0.0-RC2
3.0.0-RC1
2.13
2.12
1 (3.0.0-RC2)
1 (3.0.0-RC1)
1 (2.13)
1 (2.12)
Central35Apr, 2021
0.9.223.0.0-RC2
3.0.0-RC1
2.13
2.12
1 (3.0.0-RC2)
1 (3.0.0-RC1)
1 (2.13)
1 (2.12)
Central18Mar, 2021
0.9.213.0.0-RC1
3.0.0-M3
2.13
2.12
1 (3.0.0-RC1)
1 (3.0.0-M3)
1 (2.13)
1 (2.12)
Central52Feb, 2021
0.9.203.0.0-M3
2.13
2.12
1 (3.0.0-M3)
1 (2.13)
1 (2.12)
Central48Jan, 2021
0.9.193.0.0-M2
3.0.0-M1
2.13
2.12
1 (3.0.0-M2)
1 (3.0.0-M1)
1 (2.13)
1 (2.12)
Central42Dec, 2020
0.9.183.0.0-M1
2.13
2.12
0.27
1 (3.0.0-M1)
1 (2.13)
1 (2.12)
1 (0.27)
Central20Nov, 2020
0.9.172.13
2.12
0.27
1 (2.13)
1 (2.12)
1 (0.27)
Central39Sep, 2020
0.9.162.13
2.12
1 (2.13)
1 (2.12)
Central13Sep, 2020
0.9.152.13
2.12
1 (2.13)
1 (2.12)
0.6 (2.13)
0.6 (2.12)
Central36Jul, 2020
0.9.142.13
2.12
1 (2.13)
1 (2.12)
0.6 (2.13)
0.6 (2.12)
Central41Apr, 2020
0.9.132.13
2.12
1 (2.13)
1 (2.12)
0.6 (2.13)
0.6 (2.12)
Central35Mar, 2020
0.9.122.13
2.12
2.11
0.6 (2.13)
0.6 (2.12)
0.6 (2.11)
0.3 (2.11)
Central32Jan, 2020
0.9.102.13
2.12
2.11
0.6 (2.13)
0.6 (2.12)
0.6 (2.11)
0.3 (2.11)
Central44Sep, 2019
0.9.92.13
2.12
2.11
0.6 (2.13)
0.6 (2.12)
0.6 (2.11)
0.3 (2.11)
Central38Jul, 2019
0.9.82.13
2.12
2.11
0.6 (2.13)
0.6 (2.12)
0.6 (2.11)
0.3 (2.11)
Central33Jun, 2019
0.9.72.13.0-RC3
2.12
2.11
0.6 (2.13.0-RC3)
0.6 (2.12)
0.6 (2.11)
0.3 (2.11)
Central13Jun, 2019
0.9.62.13.0-RC2
2.12
2.11
0.6 (2.13.0-RC2)
0.6 (2.12)
0.6 (2.11)
0.3 (2.11)
Central12May, 2019
0.9.52.13.0-RC1
2.12
2.11
0.6 (2.13.0-RC1)
0.6 (2.12)
0.6 (2.11)
0.3 (2.11)
Central26Apr, 2019
0.9.42.13.0-M5
2.12
2.11
0.6 (2.13.0-M5)
0.6 (2.12)
0.6 (2.11)
0.3 (2.11)
Central40Jan, 2019
0.9.32.13.0-M5
2.12
2.11
0.6 (2.13.0-M5)
0.6 (2.12)
0.6 (2.11)
0.3 (2.11)
Central31Nov, 2018
0.9.22.13.0-M4
2.12
2.11
2.10
0.6 (2.13.0-M4)
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
0.3 (2.11)
Central37Jul, 2018
0.9.12.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
0.3 (2.11)
Central10Jun, 2018
0.9.0+82-8b2bcc612.13.0-M3
0.6 (2.13.0-M3)
Central5Jun, 2018
0.9.02.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
0.3 (2.11)
Central24Apr, 2018
0.8.x
0.8.72.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
Central20Jan, 2018
0.8.62.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
Central15Dec, 2017
0.8.52.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
Central14Dec, 2017
0.8.42.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
Central23Oct, 2017
0.8.32.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
Central11Sep, 2017
0.8.22.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
Central20Jun, 2017
0.8.12.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
Central9May, 2017
0.8.02.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
Central12Mar, 2017
0.7.x
0.7.02.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
Central7Jan, 2017
0.6.x
0.6.22.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
Central7Jan, 2017
0.6.12.12
2.11
2.10
0.6 (2.12)
0.6 (2.11)
0.6 (2.10)
Central5Dec, 2016
0.6.02.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)
Central7Nov, 2016
0.5.x
0.5.02.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)
Central13Jul, 2016
0.4.x
0.4.02.12.0-M4
2.11
2.10
0.6 (2.12.0-M4)
0.6 (2.11)
0.6 (2.10)
Central9May, 2016
0.3.x
0.3.72.11
2.10
0.6 (2.11)
0.6 (2.10)
Central4Mar, 2016
0.3.62.11
2.10
0.6 (2.11)
0.6 (2.10)
Central4Feb, 2016
0.3.52.11
2.10
0.6 (2.11)
0.6 (2.10)
Central4Feb, 2016
0.3.42.11
2.10
0.6 (2.11)
0.6 (2.10)
Central4Feb, 2016
0.3.32.11
2.10
0.6 (2.11)
0.6 (2.10)
Central4Dec, 2015
0.3.22.11
2.10
0.6 (2.11)
0.6 (2.10)
Central5Nov, 2015
0.3.12.11
2.10
0.6 (2.11)
0.6 (2.10)
Central2Oct, 2015
0.3.02.11
2.10
0.6 (2.11)
0.6 (2.10)
Central 0 Oct, 2015
0.2.x
0.2.32.11
0.6 (2.11)
Central 0 Aug, 2015
0.2.22.11
0.6 (2.11)
Central 0 Aug, 2015
0.2.12.11
0.6 (2.11)
Central 0 Aug, 2015
0.2.02.11
0.6 (2.11)
Central 0 Jul, 2015
0.1.x
0.1.32.11
0.6 (2.11)
Central 0 Jul, 2015
0.1.22.11
0.6 (2.11)
Central 0 Jul, 2015
0.1.12.11
0.6 (2.11)
Central 0 Jun, 2015
0.1.02.11
Central 0 Jun, 2015
0.0.x
0.0.32.11
Central 0 May, 2015
0.0.22.11
Central 0 May, 2015
0.0.12.11
Central 0 May, 2015