package validation
Validation and data transformation capabilities used in uniform.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- validation
- EmptyInstances
- ToEmptyOps
- ToQuantifiableOps
- Compat
- QuantifiableInstances
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
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
- 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 <: IterableOnce[_]]: 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()
- object Empty extends Serializable
- object Quantifiable extends Serializable
- object Rule extends ToQuantifiableOps
- object Transformation