• Home
• io.github.iltotore
• iron_3
• 2.4.0
• source code
• Constraint.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.iltotore.iron.Constraint.scala Maven / Gradle / Ivy

package io.github.iltotore.iron

import io.github.iltotore.iron.macros.union.*
import io.github.iltotore.iron.macros.intersection.*

/**
 * A typeclass representing the implementation of a constraint of a certain type of value.
 *
 * @tparam A the type of the value to test.
 * @tparam C the constraint associated with this implementation.
 */
trait Constraint[A, C]:

  inline def test(value: A): Boolean

  inline def message: String

object Constraint:
  class UnionConstraint[A, C] extends Constraint[A, C]:

    override inline def test(value: A): Boolean = unionCond[A, C](value)

    override inline def message: String = unionMessage[A, C]

  inline given [A, C](using inline u: IsUnion[C]): UnionConstraint[A, C] = new UnionConstraint

  class IntersectionConstraint[A, C] extends Constraint[A, C]:

    override inline def test(value: A): Boolean = intersectionCond[A, C](value)

    override inline def message: String = intersectionMessage[A, C]

  inline given [A, C](using inline i: IsIntersection[C]): IntersectionConstraint[A, C] = new IntersectionConstraint