p
robots
package robots
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- robots
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- final case class PValidator[F[_], E, A, B](validate: (A) ⇒ F[E], f: (A) ⇒ B)(implicit FF: Traverse[F], M: MonoidK[F]) extends Product with Serializable
- type Validator[F[_], E, A] = PValidator[F, E, A, A]
Value Members
- object PValidator extends PValidatorInstances with Serializable
- object Validator