Getting Started

Get extras-refinement

extras-refinement provides syntax to use newtype and refined.

"io.kevinlee" %% "extras-refinement" % "0.53.0"

🗃syntax

2 items