arrow-validation / arrow.validation.refinedTypes.numeric.validated.nonNegative

Package arrow.validation.refinedTypes.numeric.validated.nonNegative

Extensions for External Classes

arrow.data.Validated  

Functions

ORD fun <A : Number> ORD(ORD: Order<A>): Order<A>
invalidValueMsg fun <A : Number> invalidValueMsg(ORD: Order<A>, a: A): String
nonNegative fun <A : Number> A.nonNegative(ORD: Order<A>): Validated<NonEmptyList<RefinedPredicateException>, A>
fun <A : Number, B> A.nonNegative(ORD: Order<A>, f: (A) -> B): Validated<NonEmptyList<RefinedPredicateException>, B>
refinement fun <A : Number> A.refinement(ORD: Order<A>): Boolean