mazboot-types/mazboot.validations.numeric/LessThan

LessThan

open class LessThan[N](n: N)(using evidence$2: Numeric[N]) extends FromPredicate[N]

checks if a numeric value is less than N

class FromPredicate[N]
class FromPredicate0[N]
trait Validation[N]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

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

Inherited types

override opaque type Valid
Inherited from
FromPredicate0

Value members

Inherited methods

def and[Valid2 <: N](that: Aux[N, Valid2]): Aux[N, Valid & Valid2]
Inherited from
FromPredicate
protected def formatErrorMessage(raw: N): String
Inherited from
FromPredicate0
def negate: FromPredicate[N]
Inherited from
FromPredicate
def or[Valid2 <: N](that: Aux[N, Valid2]): Aux[N, Valid | Valid2]
Inherited from
FromPredicate
final def validate(raw: N): Error | Valid
Inherited from
Validation
final def validateEither(raw: N): Either[Error, Valid]
Inherited from
Validation
final def validateWith[A](raw: N, handleSuccess: Valid => A, handleError: Error => A): A
Inherited from
FromPredicate0

Inherited fields

val predicate: N => Boolean
Inherited from
FromPredicate0
val predicateName: String
Inherited from
FromPredicate0

Givens

Inherited givens

given given_ValidationOf_Valid: ValidationOf[Valid]
Inherited from
Validation