• 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.user.package.scala Maven / Gradle / Ivy

package io.github.pidoveproject.showdown.user

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

opaque type AvatarName = String :| Not[Blank]
object AvatarName extends RefinedTypeOps[String, Not[Blank], AvatarName]

opaque type UserList = List[User] :| Pure
object UserList extends RefinedTypeOps[List[User], Pure, UserList]:

  def from(names: User*): UserList = List(names*).assume

  val empty: UserList = List.empty.assume

opaque type Username = String :| Not[Blank]
object Username extends RefinedTypeOps[String, Not[Blank], Username]