Getting Started

Get extras-refinement

extras-refinement provides syntax to use newtype and refined.

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

🗃️ syntax

2 items