validation

Type Members

trait Compat extends QuantifiableInstances
trait Empty[A] extends Serializable

Annotations
@implicitNotFound( ... )
trait EmptyInstances extends AnyRef
trait Quantifiable[A] extends Serializable

Annotations
@implicitNotFound( ... )
trait QuantifiableInstances extends AnyRef
implicit class RichRule[A] 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
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](f: (A) ⇒ Int): Quantifiable[A]

Definition Classes
QuantifiableInstances
def newEmpty[A](e: A): Empty[A] { def empty: A }

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

trait Compat extends QuantifiableInstances

trait Empty[A] extends Serializable

trait EmptyInstances extends AnyRef

trait Quantifiable[A] extends Serializable

trait QuantifiableInstances extends AnyRef

implicit class RichRule[A] 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

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](f: (A) ⇒ Int): Quantifiable[A]

def newEmpty[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