syntax
Module
"io.kevinlee" %% "extras-refinement" % "0.49.0"
syntax
Additional syntax for newtype and refined
- refinement (for
newtypeandrefined) - string (for
Stringfromrefined)
If you want to import all syntaxes, use
import extras.refinement.syntax.all._
which is equivalent to
import extras.refinement.syntax.refinement._
import extras.refinement.syntax.string._
📄️ refinement Syntax
Module
📄️ string Syntax
Module