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

package io.github.pidoveproject.showdown.room

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

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

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

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

opaque type HTML = String :| Pure
object HTML extends RefinedTypeOps[String, Pure, HTML]

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