Validator

Type Members

trait Sized[T] extends AnyRef

View on types which have a size
View on types which have a size

Definition Classes
SizedValidator
Annotations
@implicitNotFound( ... )
trait SizedLowPrioImplicits extends AnyRef

Definition Classes
SizedValidator
implicit final class ValidationCombinatorSyntax[T] extends AnyVal

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object Sized extends SizedLowPrioImplicits

Definition Classes
SizedValidator
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def ensure[T](s: T)(key: String, args: Any*)(v: (T) ⇒ Boolean)(implicit mapError: ErrorMap[CustomValidationError]): DValidation[T]

A ad-hoc validation function
A ad-hoc validation function
```
def isEqual[T](valueCheck: T, valueExcept: T): DValidation[T] =
ensure(valueCheck)("error.dvalidation.isequal", valueExcept)(a => a == valueExcept)
```
s
a value to be validated
key
a string representation of this error
args
parameters for the key
v
predicate which indicates if the value is valid

See also
CustomValidationError
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def failMapped[A, T <: DomainError](err: T)(implicit me: ErrorMap[T]): DValidation[A]

Attributes
protected
Definition Classes
ValidatorBase
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hasElements[T <: Traversable[_]](s: T)(implicit mapError: ErrorMap[IsEmptySeqError]): DValidation[T]

Check if a collection has at least one element
Check if a collection has at least one element

Definition Classes
BaseValidator
See also
IsEmptySeqError
def hasLength(value: String, min: Int = Int.MinValue, max: Int = Int.MaxValue)(implicit mapError: ErrorMap[WrongSizeError]): DValidation[String]

Check the length of a String
Check the length of a String

Definition Classes
SizedValidator
See also
hasSize()
def hasSize[T](value: T, min: Int = Int.MinValue, max: Int = Int.MaxValue)(implicit s: Sized[T], mapError: ErrorMap[WrongSizeError]): DValidation[T]

Check if the size of a value is in a specified range
Check if the size of a value is in a specified range
```
hasSize(List(1, 2, 3), min = 3) === Success(List(1, 2, 3))
```
value
a value
min
a minimal size (inclusive), default Int.MinValue
max
a maximum size (inclusive), default Int.MaxValue
s
a Sized view on the validation value
returns
if size is outside of range then IsToBigError or IsToSmallError

Definition Classes
SizedValidator
def hashCode(): Int

Definition Classes
AnyRef → Any
def invalid[T](value: Any, key: String, args: String*): DValidation[T]

Create a validation error for a given value
Create a validation error for a given value
key
see DomainError.msgKey
args
see DomainError.args
def invalid[T](value: Any, key: String): DValidation[T]

Create a validation error for a given value
Create a validation error for a given value
key
see DomainError.msgKey
def isEqual[T](value: T, valueExpected: T)(implicit mapError: ErrorMap[IsNotEqualError]): DValidation[T]

Uses the == operator on AnyRef for checking equality
Uses the == operator on AnyRef for checking equality

Definition Classes
BaseValidator
See also
IsNotEqualError
def isEqualStrict[T](value: T, valueExpected: T)(implicit ev: Equal[T], mapError: ErrorMap[IsNotEqualError]): DValidation[T]

Uses an instance of scalaz.Equal for checking equality
Uses an instance of scalaz.Equal for checking equality

Definition Classes
BaseValidator
See also
IsNotEqualError
def isGreaterThan[T](value: T, valueMin: T, isInclusive: Boolean = false)(implicit ev: Order[T], mapError: ErrorMap[IsNotGreaterThenError]): DValidation[T]

Checks a > b or a >= b
Checks a > b or a >= b
isInclusive
change to >= (default >)

Definition Classes
OrderValidator
See also
net.atinu.dvalidation.errors.IsNotGreaterThenError
def isInRange[T](value: T, min: T, max: T, inclusiveMin: Boolean = false, inclusiveMax: Boolean = false)(implicit ev: Order[T], mapError: ErrorMap[DomainError]): DValidation[T]

Validate if a value is in a range of min < value < max
Validate if a value is in a range of min < value < max

Definition Classes
OrderValidator
See also
IsNotLowerThenError
IsNotGreaterThenError
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isSmallerThan[T](value: T, valueMax: T, isInclusive: Boolean = false)(implicit ev: Order[T], mapError: ErrorMap[IsNotLowerThenError]): DValidation[T]

Checks a < b or a <= b
Checks a < b or a <= b
isInclusive
change to <= (default <)

Definition Classes
OrderValidator
See also
IsNotGreaterThenError
def isSome[T <: Option[_]](s: T)(implicit mapError: ErrorMap[IsNoneError]): DValidation[T]

Check if an Option is a Some
Check if an Option is a Some

Definition Classes
BaseValidator
See also
IsNoneError
def isTrySuccess[T <: Try[_]](s: T)(implicit mapError: ErrorMap[IsTryFailureError]): DValidation[T]

Check if a Try is a scala.util.Success
Check if a Try is a scala.util.Success

Definition Classes
BaseValidator
See also
IsTryFailureError
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def notBlank(s: String, trimWhitespace: Boolean = true)(implicit mapError: ErrorMap[IsEmptyStringError]): DValidation[String]

Check if a string is not blank
Check if a string is not blank
trimWhitespace
remove the leading and trailing whitespace before checking

Definition Classes
BaseValidator
See also
IsEmptyStringError
def notZero[T](s: T)(implicit m: Monoid[T], e: Equal[T], mapError: ErrorMap[IsZeroError]): DValidation[T]

Check if a value is a Monoid.zero
Check if a value is a Monoid.zero
```
import scalaz.std.anyVal._
notZero(1) === scalaz.Success(1)
```
Definition Classes
BaseValidator
See also
IsZeroError
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef

def template[T](v: DValidator[T]): DValidator[T]

Define a reusable DValidator function

val res: DValidation[Musician] = mikael.validateWith(
notEmpty(mikael.name) forAttribute 'name,
ensure(mikael.age)("error.dvalidation.legalage", 18)(_ > 18) forAttribute 'age,
hasElements(mikael.instruments) forAttribute 'instruments
)

def toString(): String

Definition Classes
AnyRef → Any
def valid[T](value: T): DValidation[T]

Lift a value to a valid validation
def validOpt[T](a: Option[T])(v: DValidator[T]): DValidation[Option[T]]

Validator for an optional value
Validator for an optional value
returns
if parameter is Some(a) then a will be validated otherwise scalaz.Success(a)

Definition Classes
BaseValidator
def validOptRequired[T](a: Option[T])(v: DValidator[T])(implicit mapError: ErrorMap[IsNoneError]): DValidation[Option[T]]

Validator for an non optional scala.Option value
Validator for an non optional scala.Option value
returns
if parameter is Some(a) then a will be validated otherwise scalaz.Failure

Definition Classes
BaseValidator
def validSequence[T](seq: Traversable[T], validator: DValidator[T]): IndexedSeq[DValidation[T]]

Validate all elements of a given sequence
Validate all elements of a given sequence
T
the element type
seq
sequence to be validated
validator
validator for the element type
returns
a sequence containing a DValidation for each input element
def validTry[T](a: Try[T])(v: DValidator[T])(implicit mapError: ErrorMap[IsTryFailureError]): DValidation[Try[T]]

Validator for scala.util.Try values
Validator for scala.util.Try values

Definition Classes
BaseValidator
def validate[T](value: T)(cond: (T) ⇒ Boolean)(error: ⇒ DomainError): DValidation[T]

Validate a value with the possibility to specify an error type
Validate a value with the possibility to specify an error type
```
Validator.validate("a")(_ == "a")(error = new CustomValidationError("a", "error.notA"))
```
value
value to be validated
cond
validation predicate
error
function to create a error
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

object Validator extends BaseValidator with OrderValidator with SizedValidator

Type Members

trait Sized[T] extends AnyRef

trait SizedLowPrioImplicits extends AnyRef

implicit final class ValidationCombinatorSyntax[T] extends AnyVal

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Sized extends SizedLowPrioImplicits

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensure[T](s: T)(key: String, args: Any*)(v: (T) ⇒ Boolean)(implicit mapError: ErrorMap[CustomValidationError]): DValidation[T]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def failMapped[A, T <: DomainError](err: T)(implicit me: ErrorMap[T]): DValidation[A]

def finalize(): Unit

final def getClass(): Class[_]

def hasElements[T <: Traversable[_]](s: T)(implicit mapError: ErrorMap[IsEmptySeqError]): DValidation[T]

def hasLength(value: String, min: Int = Int.MinValue, max: Int = Int.MaxValue)(implicit mapError: ErrorMap[WrongSizeError]): DValidation[String]

def hasSize[T](value: T, min: Int = Int.MinValue, max: Int = Int.MaxValue)(implicit s: Sized[T], mapError: ErrorMap[WrongSizeError]): DValidation[T]

def hashCode(): Int

def invalid[T](value: Any, key: String, args: String*): DValidation[T]

def invalid[T](value: Any, key: String): DValidation[T]

def isEqual[T](value: T, valueExpected: T)(implicit mapError: ErrorMap[IsNotEqualError]): DValidation[T]

def isEqualStrict[T](value: T, valueExpected: T)(implicit ev: Equal[T], mapError: ErrorMap[IsNotEqualError]): DValidation[T]

def isGreaterThan[T](value: T, valueMin: T, isInclusive: Boolean = false)(implicit ev: Order[T], mapError: ErrorMap[IsNotGreaterThenError]): DValidation[T]

def isInRange[T](value: T, min: T, max: T, inclusiveMin: Boolean = false, inclusiveMax: Boolean = false)(implicit ev: Order[T], mapError: ErrorMap[DomainError]): DValidation[T]

final def isInstanceOf[T0]: Boolean

def isSmallerThan[T](value: T, valueMax: T, isInclusive: Boolean = false)(implicit ev: Order[T], mapError: ErrorMap[IsNotLowerThenError]): DValidation[T]

def isSome[T <: Option[_]](s: T)(implicit mapError: ErrorMap[IsNoneError]): DValidation[T]

def isTrySuccess[T <: Try[_]](s: T)(implicit mapError: ErrorMap[IsTryFailureError]): DValidation[T]

final def ne(arg0: AnyRef): Boolean

def notBlank(s: String, trimWhitespace: Boolean = true)(implicit mapError: ErrorMap[IsEmptyStringError]): DValidation[String]

def notZero[T](s: T)(implicit m: Monoid[T], e: Equal[T], mapError: ErrorMap[IsZeroError]): DValidation[T]

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def template[T](v: DValidator[T]): DValidator[T]

def toString(): String

def valid[T](value: T): DValidation[T]

def validOpt[T](a: Option[T])(v: DValidator[T]): DValidation[Option[T]]

def validOptRequired[T](a: Option[T])(v: DValidator[T])(implicit mapError: ErrorMap[IsNoneError]): DValidation[Option[T]]

def validSequence[T](seq: Traversable[T], validator: DValidator[T]): IndexedSeq[DValidation[T]]

def validTry[T](a: Try[T])(v: DValidator[T])(implicit mapError: ErrorMap[IsTryFailureError]): DValidation[Try[T]]

def validate[T](value: T)(cond: (T) ⇒ Boolean)(error: ⇒ DomainError): DValidation[T]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from SizedValidator

Inherited from OrderValidator

Inherited from BaseValidator

Inherited from ValidatorBase

Inherited from AnyRef

Inherited from Any

Ungrouped