package Ġdev . ah med m our ad . validation . core Ċ Ċ import Ġdev . ah med m our ad . validation . core . utils . all Fail Ċ import Ġdev . ah med m our ad . validation . core . utils . all Match Ċ import Ġdev . ah med m our ad . validation . core . utils . constraint Ċ import Ġdev . ah med m our ad . validation . core . valid ations .* Ċ import Ġkotlin . test . Test Ċ Ċ class ĠPair Valid ations Tests Ġ{ ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġfirst _ means The Given Valid ations Match The First Element Of The Pair () Ġ{ ĊĠĠĠĠĠĠĠ Ġconstraint < Pair < Int , ĠUnit >> Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġfirst Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmax ( 3 ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ}. all Match ( ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ- 1 Ġto ĠUnit , ĊĠĠĠĠĠĠĠĠĠĠĠĠ 1 Ġto ĠUnit , ĊĠĠĠĠĠĠĠĠĠĠĠĠ 2 Ġto ĠUnit , ĊĠĠĠĠĠĠĠĠĠĠĠĠ 3 Ġto ĠUnit ĊĠĠĠĠĠĠĠ Ġ). all Fail ( ĊĠĠĠĠĠĠĠĠĠĠĠĠ 4 Ġto ĠUnit , ĊĠĠĠĠĠĠĠĠĠĠĠĠ 5 Ġto ĠUnit , ĊĠĠĠĠĠĠĠĠĠĠĠĠ 6 Ġto ĠUnit ĊĠĠĠĠĠĠĠ Ġ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġsecond _ means The Given Valid ations Match The Second Element Of The Pair () Ġ{ ĊĠĠĠĠĠĠĠ Ġconstraint < Pair < Unit , ĠInt >> Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġsecond Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmax ( 3 ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ}. all Match ( ĊĠĠĠĠĠĠĠĠĠĠĠ ĠUnit Ġto Ġ- 1 , ĊĠĠĠĠĠĠĠĠĠĠĠ ĠUnit Ġto Ġ 1 , ĊĠĠĠĠĠĠĠĠĠĠĠ ĠUnit Ġto Ġ 2 , ĊĠĠĠĠĠĠĠĠĠĠĠ ĠUnit Ġto Ġ 3 ĊĠĠĠĠĠĠĠ Ġ). all Fail ( ĊĠĠĠĠĠĠĠĠĠĠĠ ĠUnit Ġto Ġ 4 , ĊĠĠĠĠĠĠĠĠĠĠĠ ĠUnit Ġto Ġ 5 , ĊĠĠĠĠĠĠĠĠĠĠĠ ĠUnit Ġto Ġ 6 ĊĠĠĠĠĠĠĠ Ġ) ĊĠĠĠ Ġ} Ċ } Ċ