• Home
• io.github.pidoveproject
• scala-showdown-api_3
• 0.1.0
• source code
• package.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

io.github.pidoveproject.showdown.protocol.server.tournament.package.scala Maven / Gradle / Ivy

package io.github.pidoveproject.showdown.protocol.server.tournament

import io.github.iltotore.iron.*
import io.github.iltotore.iron.constraint.all.*

opaque type Loss = Int :| Positive
object Loss extends RefinedTypeOps[Int, Positive, Loss]

opaque type Encounter = Int :| Interval.Closed[1, 2]
object Encounter extends RefinedTypeOps[Int, Interval.Closed[1, 2], Encounter]

opaque type Score = Int :| GreaterEqual[0]
object Score extends RefinedTypeOps[Int, GreaterEqual[0], Score]