Kotest Arrow Generators
Kotest는 Arrow에 대한 생성기를 제공하는 옵션 모듈을 제공한다.
Kotest는 Arrow에 대한 생성기를 제공하는 옵션 모듈을 제공한다.
NOTE
사용하려면 빌드에 io.kotest.extensions:kotest-property-arrow:version
, io.arrow-kt:arrow-core:arrow-version
을 추가한다.
광학 모듈 kotest-property-arrow-optics
의 경우에도 io.arrow-kt:arrow-optics:arrow-version
을 추가하면 된다.
Either |
설명 |
Arb.either(arbL, arbR) |
기본 제너레이터에서 왼쪽과 오른쪽의 약 50/50을 생성한다. |
Arb.right(arb) |
주어진 arb를 사용하여 [Either.Right]의 인스턴스를 생성한다. |
Arb.left(arb) |
주어진 arb를 사용하여 [Either.Left]의 인스턴스를 생성한다. |
NonEmptyList |
설명 |
Arb.nel(arb) |
주어진 수호에서 채워진 요소로 1에서 100 사이에서 임의로 선택된 크기의 NonEmptyList 인스턴스를 생성한다. |
Arb.nel(arb, range) |
주어진 범위에서 임의로 선택된 크기를 가진 비어있는 목록 인스턴스를 생성하며, 주어진 범위에서 채워진 요소를 사용한다. |
Option |
|
– |
– |
Exhaustive.option(a) |
주어진 값에 None과 Some을 포함하는 Exhaustive를 반환한다. |
Exhaustive.none(a) |
None을 포함하는 Exhaustive를 반환한다. |
Arb.option(arb) |
주어진 arb의 값으로 채워진 일부가 포함된 None과 Some을 모두 생성한다. |
Arb.some(arb) |
주어진 arb의 값으로 채워진 Some을 생성한다. |
Arb.none() |
None을 반환하는 상수 arb이다. Exhaustive.None과 동일하며 Arb가 필요할 때만 사용할 수 있도록 제공된다. |
Endo |
설명 |
Arb.endo(arb) |
기본 arb의 값을 Endo 인스턴스로 래핑한다. |
Eval |
설명 |
Arb<A>.evalNow() |
수신자의 값을 Eval.now 로 래핑한다. |
Validated |
설명 |
Arb.validated(invalid, valid) |
값에 대해 제공된 arb를 사용하여 유효하고 유효하지 않은 Validated 인스턴스를 약 50/50으로 생성한다. |
Arb.validatedNel(invalid, valid) |
값에 대해 제공된 arbs를 사용하여 유효하고 유효하지 않은 ValidatedNel 인스턴스를 약 50/50으로 생성한다 |
참조
최종 수정 : 2024-04-24