Kotest Arrow Generators
Kotest は Arrow 用のジェネレーターを提供するオプションモジュールを提供する。
Kotest は Arrow 用のジェネレーターを提供するオプションモジュールを提供する。
NOTE
使用するには、ビルドに `io.kotest.extensions:kotest-property-arrow:version` と `io.arrow-kt:arrow-core:arrow-version` を追加する。
optics モジュール `kotest-property-arrow-optics` の場合も、`io.arrow-kt:arrow-optics:arrow-version` を追加すればよい。
| Either |
説明 |
Arb.either(arbL, arbR) |
基本ジェネレーターから Left と Right をほぼ 50/50 で生成する。 |
Arb.right(arb) |
指定した arb を使用して Either.Right のインスタンスを生成する。 |
Arb.left(arb) |
指定した arb を使用して Either.Left のインスタンスを生成する。 |
| NonEmptyList |
説明 |
Arb.nel(arb) |
指定した arb の要素で埋められ、1 から 100 の間でランダムに選ばれたサイズの NonEmptyList インスタンスを生成する。 |
Arb.nel(arb, range) |
指定した範囲からランダムに選ばれたサイズで、指定した arb の要素で埋められた NonEmptyList インスタンスを生成する。 |
| Option |
|
Exhaustive.option(a) |
指定した値の None と Some を含む Exhaustive を返す。 |
Exhaustive.none(a) |
None を含む Exhaustive を返す。 |
Arb.option(arb) |
指定した arb の値で埋められた Some と None の両方を生成する。 |
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 インスタンスと無効な Validated インスタンスをほぼ 50/50 で生成する。 |
Arb.validatedNel(invalid, valid) |
値に対して提供された arbs を使用し、有効な ValidatedNel インスタンスと無効な ValidatedNel インスタンスをほぼ 50/50 で生成する。 |
参照