Skip to content

Instantly share code, notes, and snippets.

@majk-p
Created July 14, 2022 20:52
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save majk-p/8745999480b763ff17ff4c2f5d89ce75 to your computer and use it in GitHub Desktop.
Save majk-p/8745999480b763ff17ff4c2f5d89ce75 to your computer and use it in GitHub Desktop.
//> using scala "2"
//> using lib "eu.timepit::refined:0.10.1"
import eu.timepit.refined.auto._
import eu.timepit.refined.types.string._
import eu.timepit.refined.types.numeric._
case class OrderLine(product: NonEmptyString, quantity: PosInt)
OrderLine("100", 10)
OrderLine("101", 5)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment