syntax
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
Why refinement syntax?
📄️ string Syntax
EmptyString ++ EmptyString