FromPredicate

open class FromPredicate[Raw](predicate: Raw => Boolean, predicateName: String) extends FromPredicate0[Raw]
Companion
object
class FromPredicate0[Raw]
trait Validation[Raw]
class Object
trait Matchable
class Any
class EqualsTo[A]

Type members

Inherited classlikes

final case class Error(raw: Raw)
Inherited from
Validation

Inherited types

override opaque type Valid
Inherited from
FromPredicate0

Value members

Concrete methods

def and[Valid2 <: Raw](that: Aux[Raw, Valid2]): Aux[Raw, Valid & Valid2]
def or[Valid2 <: Raw](that: Aux[Raw, Valid2]): Aux[Raw, Valid | Valid2]

Inherited methods

protected def formatErrorMessage(raw: Raw): String
Inherited from
FromPredicate0
final def unapply(raw: Raw): Option[Valid]
Inherited from
Validation
final def validate(raw: Raw): Error | Valid
Inherited from
Validation
final def validateEither(raw: Raw): Either[Error, Valid]
Inherited from
Validation
final def validateWith[A](raw: Raw, handleSuccess: Valid => A, handleError: Error => A): A
Inherited from
FromPredicate0

Givens

Inherited givens

given given_FromString_Valid(using val Raw: FromString[Raw]): FromString[Valid]
Inherited from
Validation
Inherited from
Validation