Constraint

object Constraint
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case class Identifier(value: String) extends AnyVal
Companion:
object
object Identifier
Companion:
class
final case class Or(left: Set[Constraint], right: Set[Constraint]) extends Constraint
final case class Rule(identifier: Identifier, reference: Option[Json], delta: Option[Double], equal: Option[Boolean]) extends Constraint
object collection
object duration
object number
object text
object time

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def apply[A : Encoder](identifier: Identifier, reference: A, delta: Double, equal: Boolean): Constraint
def apply[A : Encoder](identifier: Identifier, reference: A, delta: Double): Constraint
def apply[A : Encoder](identifier: Identifier, reference: A, equal: Boolean): Constraint
def apply[A : Encoder](identifier: Identifier, reference: A): Constraint
def apply(identifier: Identifier): Constraint
def json(reference: String): Constraint
def oneOf[A : Encoder](references: Set[A]): Constraint
def parsing(name: String): Constraint

Concrete fields