validation

Type Members

case class AlongWithRule[A](a: Rule[A], b: Rule[A]) extends Rule[A] with Product with Serializable
trait Compat extends QuantifiableInstances
trait Empty[A] extends Serializable

A type that can be checked to see if it is 'empty' (in the sense of a Monoid being empty).
A type that can be checked to see if it is 'empty' (in the sense of a Monoid being empty). Note that unlike with Monoid it does not require a definition for empty, only the ability to check if an element is empty

Annotations
@implicitNotFound( ... )
trait EmptyInstances extends AnyRef
case class FollowedByRule[A](a: Rule[A], b: Rule[A]) extends Rule[A] with Product with Serializable
trait Quantifiable[A] extends Serializable

A type that has elements that can be counted
A type that has elements that can be counted
```
Set(1,2,3).qty
"test".qty
```
Annotations
@implicitNotFound( ... )
trait QuantifiableInstances extends AnyRef
implicit class RichRule[A] extends AnyRef
implicit class RichTransformation[A, B] extends AnyRef
type Rule[A] = (A) ⇒ Validated[ErrorTree, A]

A validation rule used to check input data.
type Transformation[A, B] = (A) ⇒ Validated[ErrorTree, B]

Value Members

object Empty extends Serializable
object Quantifiable extends Serializable
object Rule extends ToQuantifiableOps
object Transformation
implicit val emptyInt: Empty[Int] { def empty: Int }

Definition Classes
EmptyInstances
implicit def emptyMonoid[A](implicit mon: Monoid[A]): Empty[A] { def empty: A }

Definition Classes
EmptyInstances
implicit def emptyNumeric[A](implicit num: Numeric[A]): Empty[A] { def empty: A }

Definition Classes
EmptyInstances
implicit def emptyOpt[A]: Empty[Option[A]] { def empty: Option[A] }

Definition Classes
EmptyInstances
implicit def emptyQuantifiable[A](implicit qty: Quantifiable[A]): Empty[A]

Definition Classes
EmptyInstances
implicit val emptyString: Empty[String] { def empty: String }

Definition Classes
EmptyInstances
def instance[A](e: A): Empty[A] { def empty: A }

Convenience method to create an Empty instance from a supplied value
Convenience method to create an Empty instance from a supplied value
```
implicit val emptyString: Empty[String] = instance("")
```
Definition Classes
EmptyInstances
implicit def quantGenTranversable[A <: GenTraversableOnce[_]]: Quantifiable[A]

Definition Classes
Compat
implicit val quantString: Quantifiable[String]

Definition Classes
QuantifiableInstances
implicit def ruleMonoidInstance[A]: Monoid[Rule[A]]
implicit def toEmptyOps[A](target: A)(implicit tc: Empty[A]): Ops[A] { type TypeClassType = ltbs.uniform.validation.Empty[A] }

Definition Classes
ToEmptyOps
Annotations
@SuppressWarnings()
implicit def toQuantifiableOps[A](target: A)(implicit tc: Quantifiable[A]): Ops[A] { type TypeClassType = ltbs.uniform.validation.Quantifiable[A] }

Definition Classes
ToQuantifiableOps
Annotations
@SuppressWarnings()

package validation

Type Members

case class AlongWithRule[A](a: Rule[A], b: Rule[A]) extends Rule[A] with Product with Serializable

trait Compat extends QuantifiableInstances

trait Empty[A] extends Serializable

trait EmptyInstances extends AnyRef

case class FollowedByRule[A](a: Rule[A], b: Rule[A]) extends Rule[A] with Product with Serializable

trait Quantifiable[A] extends Serializable

trait QuantifiableInstances extends AnyRef

implicit class RichRule[A] extends AnyRef

implicit class RichTransformation[A, B] extends AnyRef

type Rule[A] = (A) ⇒ Validated[ErrorTree, A]

type Transformation[A, B] = (A) ⇒ Validated[ErrorTree, B]

Value Members

object Empty extends Serializable

object Quantifiable extends Serializable

object Rule extends ToQuantifiableOps

object Transformation

implicit val emptyInt: Empty[Int] { def empty: Int }

implicit def emptyMonoid[A](implicit mon: Monoid[A]): Empty[A] { def empty: A }

implicit def emptyNumeric[A](implicit num: Numeric[A]): Empty[A] { def empty: A }

implicit def emptyOpt[A]: Empty[Option[A]] { def empty: Option[A] }

implicit def emptyQuantifiable[A](implicit qty: Quantifiable[A]): Empty[A]

implicit val emptyString: Empty[String] { def empty: String }

def instance[A](e: A): Empty[A] { def empty: A }

implicit def quantGenTranversable[A <: GenTraversableOnce[_]]: Quantifiable[A]

implicit val quantString: Quantifiable[String]

implicit def ruleMonoidInstance[A]: Monoid[Rule[A]]

implicit def toEmptyOps[A](target: A)(implicit tc: Empty[A]): Ops[A] { type TypeClassType = ltbs.uniform.validation.Empty[A] }

implicit def toQuantifiableOps[A](target: A)(implicit tc: Quantifiable[A]): Ops[A] { type TypeClassType = ltbs.uniform.validation.Quantifiable[A] }

Inherited from EmptyInstances

Inherited from ToEmptyOps

Inherited from ToQuantifiableOps

Inherited from Compat

Inherited from QuantifiableInstances

Inherited from AnyRef

Inherited from Any

Ungrouped