Search *

6 results

erikerlandson/coulomb 0.8.0

coulomb: unit analysis for Scala

Scala versions: 3.x

Scala.js versions: 1.x

Scala Native versions: 0.4

refined units-of-measure pureconfig unit-quantity avro-schema configuration configuration-management numeric type-safety unit-analysis static-types typeclass unit-conversion units scala dimensional-analysis typechecking typelevel

142 4
kwark/slick-refined 0.6.0

support for using refinement types with slick

Scala versions: 2.13 2.12

refined scala slick

18 5
kevin-lee/extras 0.44.0

A few extra tools

Scala versions: 3.x 2.13 2.12

Scala.js versions: 1.x

refinement-type refined tools concurrency scala refinement cats console-io newtype

15 2
poslegm/brief 0.0.1-RC1-M1

Automated case classes validation using refinement types and macros

Scala versions: 2.13 2.12

macros refined scala validation

13 1
kevin-lee/refined4s 1.1.0

newtype and refinement (refined) type for Scala 3

Scala versions: 3.x 2.13 2.12

Scala.js versions: 1.x

functional-programming scala refinement newtype refined refinement-types refined-types

10 2
derekmorr/refined-anorm 0.1

Refined support for Anorm

Scala versions: 2.12 2.11

anorm database refined scala

2 2