Constraint

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

Type members

Classlikes

final case class Delta(value: String) extends AnyVal
Companion:
object
object Delta
Companion:
class
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 Value(identifier: Identifier, reference: Option[Reference], delta: Option[Delta], equal: Option[Boolean]) extends Constraint
object collection
object duration
object number
object optional
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(identifier: Identifier, reference: Reference, delta: Delta, equal: Boolean): Constraint
def apply(identifier: Identifier, reference: Reference, delta: Delta): Constraint
def apply(identifier: Identifier, reference: Reference, equal: Boolean): Constraint
def apply(identifier: Identifier, reference: Reference): Constraint
def apply(identifier: Identifier): Constraint
def oneOf[A : Show](references: Set[A]): Constraint
def parsing(name: String): Constraint