FailWith

trait FailWith[E, +P] extends FailWithMessage[E, P] with FailWithCompare[E, P] with FailWithInvalid[E, P] with FailWithEmpty[E, P] with FailWithNonEmpty[E, P] with FailWithMinSize[E, P] with FailWithMaxSize[E, P] with FailWithOneOf[E, P]

Aggregates all possible FailWith* typeclasses shorthand if you need all of them. If are free to implemented only those you will use. Best practise will be to but implicit instance of this into companion object of your error.

Companion:
object
trait FailWithOneOf[E, P]
trait FailWithMaxSize[E, P]
trait FailWithMinSize[E, P]
trait FailWithNonEmpty[E, P]
trait FailWithEmpty[E, P]
trait FailWithInvalid[E, P]
trait FailWithCompare[E, P]
trait FailWithMessage[E, P]
class Object
trait Matchable
class Any

Value members

Inherited methods

def compare[PP >: P, C](operation: CompareOperation, compared: C)(field: Field[PP])(implicit C: FieldCompare[PP, C]): E
Inherited from:
FailWithCompare
def compare[PP >: P](operation: CompareOperation, compared: String)(field: Field[PP]): E
Inherited from:
FailWithCompare
def empty[PP >: P](field: Field[PP]): E
Inherited from:
FailWithEmpty
def equal[PP >: P, C](compared: C)(field: Field[PP])(implicit C: FieldCompare[PP, C]): E
Inherited from:
FailWithCompare
def greater[PP >: P, C](compared: C)(field: Field[PP])(implicit C: FieldCompare[PP, C]): E
Inherited from:
FailWithCompare
def greaterEqual[PP >: P, C](compared: C)(field: Field[PP])(implicit C: FieldCompare[PP, C]): E
Inherited from:
FailWithCompare
def invalid[PP >: P](field: Field[PP]): E
Inherited from:
FailWithInvalid
def less[PP >: P, C](compared: C)(field: Field[PP])(implicit C: FieldCompare[PP, C]): E
Inherited from:
FailWithCompare
def lessEqual[PP >: P, C](compared: C)(field: Field[PP])(implicit C: FieldCompare[PP, C]): E
Inherited from:
FailWithCompare
def maxSize[PP >: P](size: Int)(field: Field[PP]): E
Inherited from:
FailWithMaxSize
def message[PP >: P](error: String, message: Option[String])(field: Field[PP]): E
Inherited from:
FailWithMessage
def minSize[PP >: P](size: Int)(field: Field[PP]): E
Inherited from:
FailWithMinSize
def nonEmpty[PP >: P](field: Field[PP]): E
Inherited from:
FailWithNonEmpty
def notEqual[PP >: P, C](compared: C)(field: Field[PP])(implicit C: FieldCompare[PP, C]): E
Inherited from:
FailWithCompare
def oneOf[PP >: P](variants: Seq[PP])(field: Field[PP]): E
Inherited from:
FailWithOneOf