PPS-22-srs
API
Generated with
PPS-22-srs/io.github.srs/io.github.srs.model/io.github.srs.model.validation/DomainError

DomainError

io.github.srs.model.validation.DomainError
See theDomainError companion object
enum DomainError

ADT collecting validation failures that are meaningful in the domain.

Attributes

Companion
object
Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

final case class Collision(field: String, elements: Set[Entity])
final case class Infinite(field: String, value: Double)
final case class InvalidCount(field: String, count: Int, min: Int, max: Int)
final case class Negative(field: String, value: Double)
final case class NegativeOrZero(field: String, value: Double)
final case class NotANumber(field: String, value: Double)
final case class OutOfBounds(field: String, value: Double, min: Double, max: Double)
final case class OutsideBounds[A](field: String, value: A, width: (Double, Double), height: (Double, Double), stringify: A => String)

Value members

Concrete methods

def errorMessage: String
Extension method from DomainError
Generated with