implicit object optionAlg extends StrictApplicativeAlgebra[Option, Unit]
- Alphabetic
- By Inheritance
- optionAlg
- StrictApplicativeAlgebra
- ApplicativeAlgebra
- Algebra
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- trait Logic extends AnyRef
Since we can fail and succeed, add logic support.
Since we can fail and succeed, add logic support. This is really a Semigroup "combine" for a specific logic operation. Explicitly use or create an import for them as needed. We could defined an
isValid
type method in this trait but that's a bit of a code smell that we are using procedural logic and we can use these semigroups in other places and algorithms.- Definition Classes
- Algebra
- type FF[T] = Option[T]
Value Members
- val A: ApplicativeError[Option, Unit]
- Definition Classes
- optionAlg → ApplicativeAlgebra
- def apply[I, O](implicit validator: Validator[Option, I, O]): Validator[Option, I, O]
- Definition Classes
- Algebra
- def fail[I]: Validator[Option, I, I]
- Definition Classes
- ApplicativeAlgebra → Algebra
- def failure[I](message: (I) => String): Validator[Option, I, I]
Create an
E
potentially with the value and a message ifE
supports string messages, which it may not.Create an
E
potentially with the value and a message ifE
supports string messages, which it may not.- Definition Classes
- optionAlg → ApplicativeAlgebra
- val logic: Logic { ... /* 2 definitions in type refinement */ }
- def pure[I, O](f: (I) => Option[O]): Validator[Option, I, O]
- Definition Classes
- Algebra
- def succeed[I]: Validator[Option, I, I]
- Definition Classes
- ApplicativeAlgebra → Algebra
- def test[T](id: String, failed: Validator[Option, T, T])(isValid: (T) => Boolean): Validator[Option, T, T]
- Definition Classes
- StrictApplicativeAlgebra