kotest-assertions-arrow / io.kotest.assertions.arrow.option / io.kotest.properties.Gen / option

option

fun <A> Gen.Companion.option(GA: Gen<A>): Gen<Option<A>>

Gen extension instance for Option.

Generates random Option of A as provided by the GA generators.

import io.kotest.assertions.arrow.option.option
import io.kotest.properties.forAll
import io.kotest.properties.Gen

forAll(Gen.option(Gen.constant(1))) {
  it.fold({ true }, { n -> n == 1 })
}