arrow-validation / arrow.validation

Package arrow.validation

Types

Refinement interface Refinement<F, A>
Validation class ~~Validation~~<out E : Any>

Exceptions

RefinedPredicateException data class RefinedPredicateException : IllegalArgumentException

Functions

validate fun <L : Any, R : Any, R1 : Any, R2 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, ifValid: (R1, R2) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, ifValid: (R1, R2, R3) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, ifValid: (R1, R2, R3, R4) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, ifValid: (R1, R2, R3, R4, R5) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, ifValid: (R1, R2, R3, R4, R5, R6) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, ifValid: (R1, R2, R3, R4, R5, R6, R7) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any, R11 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, p11: Either<L, R11>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any, R11 : Any, R12 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, p11: Either<L, R11>, p12: Either<L, R12>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any, R11 : Any, R12 : Any, R13 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, p11: Either<L, R11>, p12: Either<L, R12>, p13: Either<L, R13>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any, R11 : Any, R12 : Any, R13 : Any, R14 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, p11: Either<L, R11>, p12: Either<L, R12>, p13: Either<L, R13>, p14: Either<L, R14>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any, R11 : Any, R12 : Any, R13 : Any, R14 : Any, R15 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, p11: Either<L, R11>, p12: Either<L, R12>, p13: Either<L, R13>, p14: Either<L, R14>, p15: Either<L, R15>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14, R15) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any, R11 : Any, R12 : Any, R13 : Any, R14 : Any, R15 : Any, R16 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, p11: Either<L, R11>, p12: Either<L, R12>, p13: Either<L, R13>, p14: Either<L, R14>, p15: Either<L, R15>, p16: Either<L, R16>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14, R15, R16) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any, R11 : Any, R12 : Any, R13 : Any, R14 : Any, R15 : Any, R16 : Any, R17 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, p11: Either<L, R11>, p12: Either<L, R12>, p13: Either<L, R13>, p14: Either<L, R14>, p15: Either<L, R15>, p16: Either<L, R16>, p17: Either<L, R17>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14, R15, R16, R17) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any, R11 : Any, R12 : Any, R13 : Any, R14 : Any, R15 : Any, R16 : Any, R17 : Any, R18 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, p11: Either<L, R11>, p12: Either<L, R12>, p13: Either<L, R13>, p14: Either<L, R14>, p15: Either<L, R15>, p16: Either<L, R16>, p17: Either<L, R17>, p18: Either<L, R18>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14, R15, R16, R17, R18) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any, R11 : Any, R12 : Any, R13 : Any, R14 : Any, R15 : Any, R16 : Any, R17 : Any, R18 : Any, R19 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, p11: Either<L, R11>, p12: Either<L, R12>, p13: Either<L, R13>, p14: Either<L, R14>, p15: Either<L, R15>, p16: Either<L, R16>, p17: Either<L, R17>, p18: Either<L, R18>, p19: Either<L, R19>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14, R15, R16, R17, R18, R19) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any, R11 : Any, R12 : Any, R13 : Any, R14 : Any, R15 : Any, R16 : Any, R17 : Any, R18 : Any, R19 : Any, R20 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, p11: Either<L, R11>, p12: Either<L, R12>, p13: Either<L, R13>, p14: Either<L, R14>, p15: Either<L, R15>, p16: Either<L, R16>, p17: Either<L, R17>, p18: Either<L, R18>, p19: Either<L, R19>, p20: Either<L, R20>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14, R15, R16, R17, R18, R19, R20) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any, R11 : Any, R12 : Any, R13 : Any, R14 : Any, R15 : Any, R16 : Any, R17 : Any, R18 : Any, R19 : Any, R20 : Any, R21 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, p11: Either<L, R11>, p12: Either<L, R12>, p13: Either<L, R13>, p14: Either<L, R14>, p15: Either<L, R15>, p16: Either<L, R16>, p17: Either<L, R17>, p18: Either<L, R18>, p19: Either<L, R19>, p20: Either<L, R20>, p21: Either<L, R21>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14, R15, R16, R17, R18, R19, R20, R21) -> R): Either<List<L>, R>
fun <L : Any, R : Any, R1 : Any, R2 : Any, R3 : Any, R4 : Any, R5 : Any, R6 : Any, R7 : Any, R8 : Any, R9 : Any, R10 : Any, R11 : Any, R12 : Any, R13 : Any, R14 : Any, R15 : Any, R16 : Any, R17 : Any, R18 : Any, R19 : Any, R20 : Any, R21 : Any, R22 : Any> ~~validate~~(p1: Either<L, R1>, p2: Either<L, R2>, p3: Either<L, R3>, p4: Either<L, R4>, p5: Either<L, R5>, p6: Either<L, R6>, p7: Either<L, R7>, p8: Either<L, R8>, p9: Either<L, R9>, p10: Either<L, R10>, p11: Either<L, R11>, p12: Either<L, R12>, p13: Either<L, R13>, p14: Either<L, R14>, p15: Either<L, R15>, p16: Either<L, R16>, p17: Either<L, R17>, p18: Either<L, R18>, p19: Either<L, R19>, p20: Either<L, R20>, p21: Either<L, R21>, p22: Either<L, R22>, ifValid: (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14, R15, R16, R17, R18, R19, R20, R21, R22) -> R): Either<List<L>, R>