How to use Arb.Companion.constant method of io.kotest.property.arbitrary.const class

1package arrow.core.test.generators2import arrow.core.Const3import arrow.core.Either4import arrow.core.Endo5import arrow.core.Eval6import arrow.core.Ior7import arrow.core.Option8import arrow.core.Tuple109import arrow.core.Tuple410import arrow.core.Tuple511import arrow.core.Tuple612import arrow.core.Tuple713import arrow.core.Tuple814import arrow.core.Tuple915import arrow.core.Validated16import arrow.core.left17import arrow.core.right18import arrow.core.toOption19import io.kotest.property.Arb20import io.kotest.property.arbitrary.bind21import io.kotest.property.arbitrary.boolean22import io.kotest.property.arbitrary.byte23import io.kotest.property.arbitrary.choice24import io.kotest.property.arbitrary.constant25import io.kotest.property.arbitrary.filter26import io.kotest.property.arbitrary.flatMap27import io.kotest.property.arbitrary.int28import io.kotest.property.arbitrary.long29import io.kotest.property.arbitrary.map30import io.kotest.property.arbitrary.numericDoubles31import io.kotest.property.arbitrary.numericFloats32import io.kotest.property.arbitrary.of33import io.kotest.property.arbitrary.orNull34import io.kotest.property.arbitrary.short35import io.kotest.property.arbitrary.string36import kotlin.Result.Companion.failure37import kotlin.Result.Companion.success38import kotlin.math.abs39public fun <A, B> Arb.Companion.functionAToB(arb: Arb<B>): Arb<(A) -> B> =40  arb.map { b: B -> { _: A -> b } }41public fun <A> Arb.Companion.functionAAToA(arb: Arb<A>): Arb<(A, A) -> A> =42  arb.map { a: A -> { _: A, _: A -> a } }43public fun <A, B> Arb.Companion.functionBAToB(arb: Arb<B>): Arb<(B, A) -> B> =44  arb.map { b: B -> { _: B, _: A -> b } }45public fun <A, B> Arb.Companion.functionABToB(arb: Arb<B>): Arb<(A, B) -> B> =46  arb.map { b: B -> { _: A, _: B -> b } }47public fun <A> Arb.Companion.functionToA(arb: Arb<A>): Arb<() -> A> =48  arb.map { a: A -> { a } }49public fun Arb.Companion.throwable(): Arb<Throwable> =50  Arb.of(listOf(RuntimeException(), NoSuchElementException(), IllegalArgumentException()))51public fun <A> Arb.Companion.result(arbA: Arb<A>): Arb<Result<A>> =52  Arb.choice(arbA.map(::success), throwable().map(::failure))53public fun Arb.Companion.doubleSmall(): Arb<Double> =54  Arb.numericDoubles(from = 0.0, to = 100.0)55public fun Arb.Companion.floatSmall(): Arb<Float> =56  Arb.numericFloats(from = 0F, to = 100F)57public fun Arb.Companion.intSmall(factor: Int = 10000): Arb<Int> =58  Arb.int((Int.MIN_VALUE / factor)..(Int.MAX_VALUE / factor))59public fun Arb.Companion.byteSmall(): Arb<Byte> =60  Arb.byte(min = (Byte.MIN_VALUE / 10).toByte(), max = (Byte.MAX_VALUE / 10).toByte())61public fun Arb.Companion.shortSmall(): Arb<Short> {62  val range = (Short.MIN_VALUE / 1000)..(Short.MAX_VALUE / 1000)63  return Arb.short().filter { it in range }64}65public fun Arb.Companion.longSmall(): Arb<Long> =66  Arb.long((Long.MIN_VALUE / 100000L)..(Long.MAX_VALUE / 100000L))67public fun <A, B, C, D> Arb.Companion.tuple4(arbA: Arb<A>, arbB: Arb<B>, arbC: Arb<C>, arbD: Arb<D>): Arb<Tuple4<A, B, C, D>> =68  Arb.bind(arbA, arbB, arbC, arbD, ::Tuple4)69public fun <A, B, C, D, E> Arb.Companion.tuple5(70  arbA: Arb<A>,71  arbB: Arb<B>,72  arbC: Arb<C>,73  arbD: Arb<D>,74  arbE: Arb<E>75): Arb<Tuple5<A, B, C, D, E>> =76  Arb.bind(arbA, arbB, arbC, arbD, arbE, ::Tuple5)77public fun <A, B, C, D, E, F> Arb.Companion.tuple6(78  arbA: Arb<A>,79  arbB: Arb<B>,80  arbC: Arb<C>,81  arbD: Arb<D>,82  arbE: Arb<E>,83  arbF: Arb<F>84): Arb<Tuple6<A, B, C, D, E, F>> =85  Arb.bind(arbA, arbB, arbC, arbD, arbE, arbF, ::Tuple6)86public fun <A, B, C, D, E, F, G> Arb.Companion.tuple7(87  arbA: Arb<A>,88  arbB: Arb<B>,89  arbC: Arb<C>,90  arbD: Arb<D>,91  arbE: Arb<E>,92  arbF: Arb<F>,93  arbG: Arb<G>94): Arb<Tuple7<A, B, C, D, E, F, G>> =95  Arb.bind(arbA, arbB, arbC, arbD, arbE, arbF, arbG, ::Tuple7)96public fun <A, B, C, D, E, F, G, H> Arb.Companion.tuple8(97  arbA: Arb<A>,98  arbB: Arb<B>,99  arbC: Arb<C>,100  arbD: Arb<D>,101  arbE: Arb<E>,102  arbF: Arb<F>,103  arbG: Arb<G>,104  arbH: Arb<H>105): Arb<Tuple8<A, B, C, D, E, F, G, H>> =106  Arb.bind(107    Arb.tuple7(arbA, arbB, arbC, arbD, arbE, arbF, arbG),108    arbH109  ) { (a, b, c, d, e, f, g), h ->110    Tuple8(a, b, c, d, e, f, g, h)111  }112public fun <A, B, C, D, E, F, G, H, I> Arb.Companion.tuple9(113  arbA: Arb<A>,114  arbB: Arb<B>,115  arbC: Arb<C>,116  arbD: Arb<D>,117  arbE: Arb<E>,118  arbF: Arb<F>,119  arbG: Arb<G>,120  arbH: Arb<H>,121  arbI: Arb<I>122): Arb<Tuple9<A, B, C, D, E, F, G, H, I>> =123  Arb.bind(124    Arb.tuple8(arbA, arbB, arbC, arbD, arbE, arbF, arbG, arbH),125    arbI126  ) { (a, b, c, d, e, f, g, h), i ->127    Tuple9(a, b, c, d, e, f, g, h, i)128  }129public fun <A, B, C, D, E, F, G, H, I, J> Arb.Companion.tuple10(130  arbA: Arb<A>,131  arbB: Arb<B>,132  arbC: Arb<C>,133  arbD: Arb<D>,134  arbE: Arb<E>,135  arbF: Arb<F>,136  arbG: Arb<G>,137  arbH: Arb<H>,138  arbI: Arb<I>,139  arbJ: Arb<J>140): Arb<Tuple10<A, B, C, D, E, F, G, H, I, J>> =141  Arb.bind(142    Arb.tuple9(arbA, arbB, arbC, arbD, arbE, arbF, arbG, arbH, arbI),143    arbJ144  ) { (a, b, c, d, e, f, g, h, i), j ->145    Tuple10(a, b, c, d, e, f, g, h, i, j)146  }147public fun Arb.Companion.nonZeroInt(): Arb<Int> = Arb.int().filter { it != 0 }148public fun Arb.Companion.intPredicate(): Arb<(Int) -> Boolean> =149  Arb.nonZeroInt().flatMap { num ->150    val absNum = abs(num)151    Arb.of(152      listOf<(Int) -> Boolean>(153        { it > num },154        { it <= num },155        { it % absNum == 0 },156        { it % absNum == absNum - 1 }157      )158    )159  }160public fun <A> Arb.Companion.endo(arb: Arb<A>): Arb<Endo<A>> = arb.map { a: A -> Endo<A> { a } }161public fun <B> Arb.Companion.option(arb: Arb<B>): Arb<Option<B>> =162  arb.orNull().map { it.toOption() }163public fun <E, A> Arb.Companion.either(arbE: Arb<E>, arbA: Arb<A>): Arb<Either<E, A>> {164  val arbLeft = arbE.map { Either.Left(it) }165  val arbRight = arbA.map { Either.Right(it) }166  return Arb.choice(arbLeft, arbRight)167}168public fun <E, A> Arb<E>.or(arbA: Arb<A>): Arb<Either<E, A>> = Arb.either(this, arbA)169public fun <E, A> Arb.Companion.validated(arbE: Arb<E>, arbA: Arb<A>): Arb<Validated<E, A>> =170  Arb.either(arbE, arbA).map { Validated.fromEither(it) }171public fun Arb.Companion.unit(): Arb<Unit> =172  Arb.constant(Unit)173public fun <A, B> Arb.Companion.ior(arbA: Arb<A>, arbB: Arb<B>): Arb<Ior<A, B>> =174  arbA.alignWith(arbB) { it }175public fun <A, B> Arb.Companion.arbConst(arb: Arb<A>): Arb<Const<A, B>> =176  arb.map { Const<A, B>(it) }177public fun <A> Arb<A>.eval(): Arb<Eval<A>> =178  map { Eval.now(it) }179private fun <A, B, R> Arb<A>.alignWith(arbB: Arb<B>, transform: (Ior<A, B>) -> R): Arb<R> =180  Arb.bind(this, arbB) { a, b -> transform(Ior.Both(a, b)) }181public fun Arb.Companion.suspendFunThatReturnsEitherAnyOrAnyOrThrows(): Arb<suspend () -> Either<Any, Any>> =182  choice(183    suspendFunThatReturnsAnyRight(),184    suspendFunThatReturnsAnyLeft(),185    suspendFunThatThrows()186  )187public fun Arb.Companion.suspendFunThatReturnsAnyRight(): Arb<suspend () -> Either<Any, Any>> =188  any().map { suspend { it.right() } }189public fun Arb.Companion.suspendFunThatReturnsAnyLeft(): Arb<suspend () -> Either<Any, Any>> =190  any().map { suspend { it.left() } }191public fun Arb.Companion.suspendFunThatThrows(): Arb<suspend () -> Either<Any, Any>> =192  throwable().map { suspend { throw it } } as Arb<suspend () -> Either<Any, Any>>193public fun Arb.Companion.any(): Arb<Any> =194  choice(195    Arb.string() as Arb<Any>,196    Arb.int() as Arb<Any>,197    Arb.long() as Arb<Any>,198    Arb.boolean() as Arb<Any>,199    Arb.throwable() as Arb<Any>,200    Arb.unit() as Arb<Any>201  )...

1package io.kotest.property.arbitrary2import io.kotest.property.Arb3/**4 * The minimum value of a Unicode code point, constant {@code U+000000}.5 * https://www.unicode.org/glossary/#code_point6 */7internal const val MIN_CODE_POINT = 0x0000008/**9 * The maximum value of a Unicode code point, constant {@code U+10FFFF}.10 * https://www.unicode.org/glossary/#code_point11 */12internal const val MAX_CODE_POINT = 0X10FFFF13internal const val MIN_SUPPLEMENTARY_CODE_POINT = 0x01000014fun Arb.Companion.codepoints(): Arb<Codepoint> =15   Arb.of((MIN_CODE_POINT..MAX_CODE_POINT).map(::Codepoint))16      .withEdgecases(Codepoint(MIN_CODE_POINT), Codepoint(MAX_CODE_POINT))17@Deprecated(18   "Codepoints in Arb.{code point} are deprecated. Use Codepoint.{code point} instead.",19   ReplaceWith("Codepoint.az()")20)21fun Arb.Companion.az() = Codepoint.az()22@Deprecated(23   "Codepoints in Arb.{code point} are deprecated. Use Codepoint.{code point} instead.",24   ReplaceWith("Codepoint.alphanumeric()")25)26fun Arb.Companion.alphanumeric(): Arb<Codepoint> =27   Codepoint.alphanumeric()28@Deprecated(29   "Codepoints in Arb.{code point} are deprecated. Use Codepoint.{code point} instead.",30   ReplaceWith("Codepoint.ascii()")31)32fun Arb.Companion.ascii(): Arb<Codepoint> =33   Codepoint.ascii()34@Deprecated(35   "Codepoints in Arb.{code point} are deprecated. Use Codepoint.{code point} instead.",36   ReplaceWith("Codepoint.georgian()")37)38fun Arb.Companion.georgian(): Arb<Codepoint> =39   Codepoint.georgian()40@Deprecated(41   "Codepoints in Arb.{code point} are deprecated. Use Codepoint.{code point} instead.",42   ReplaceWith("Codepoint.katakana()")43)44fun Arb.Companion.katakana(): Arb<Codepoint> =45   Codepoint.katakana()46@Deprecated(47   "Codepoints in Arb.{code point} are deprecated. Use Codepoint.{code point} instead.",48   ReplaceWith("Codepoint.greekCoptic()")49)50fun Arb.Companion.greekCoptic(): Arb<Codepoint> =51   Codepoint.greekCoptic()52@Deprecated(53   "Codepoints in Arb.{code point} are deprecated. Use Codepoint.{code point} instead.",54   ReplaceWith("Codepoint.armenian()")55)56fun Arb.Companion.armenian(): Arb<Codepoint> =57   Codepoint.armenian()58@Deprecated(59   "Codepoints in Arb.{code point} are deprecated. Use Codepoint.{code point} instead.",60   ReplaceWith("Codepoint.hebrew()")61)62fun Arb.Companion.hebrew(): Arb<Codepoint> =63   Codepoint.hebrew()64@Deprecated(65   "Codepoints in Arb.{code point} are deprecated. Use Codepoint.{code point} instead.",66   ReplaceWith("Codepoint.arabic()")67)68fun Arb.Companion.arabic(): Arb<Codepoint> =69   Codepoint.arabic()70@Deprecated(71   "Codepoints in Arb.{code point} are deprecated. Use Codepoint.{code point} instead.",72   ReplaceWith("Codepoint.cyrillic()")73)74fun Arb.Companion.cyrillic(): Arb<Codepoint> =75   Codepoint.cyrillic()76@Deprecated(77   "Codepoints in Arb.{code point} are deprecated. Use Codepoint.{code point} instead.",78   ReplaceWith("Codepoint.hiragana()")79)80fun Arb.Companion.hiragana(): Arb<Codepoint> =81   Codepoint.hiragana()82@Deprecated(83   "Codepoints in Arb.{code point} are deprecated. Use Codepoint.{code point} instead.",84   ReplaceWith("Codepoint.egyptianHieroglyphs()")85)86fun Arb.Companion.egyptianHieroglyphs(): Arb<Codepoint> =87   Codepoint.egyptianHieroglyphs()88fun Codepoint.Companion.az(): Arb<Codepoint> =89   Arb.of(('a'.code..'z'.code).map(::Codepoint))90      .withEdgecases(Codepoint('a'.code))91fun Codepoint.Companion.alphanumeric(): Arb<Codepoint> =92   Arb.of((('a'..'z') + ('A'..'Z') + ('0'..'9')).map { Codepoint(it.code) })93fun Codepoint.Companion.ascii(): Arb<Codepoint> =94   Arb.of((' '.code..'z'.code).map(::Codepoint))95      .withEdgecases(Codepoint('a'.code))96/**97 * Returns an [Arb] that generates HEX codepoints.98 */99fun Codepoint.Companion.hex(): Arb<Codepoint> =100   Arb.of((('a'.code..'f'.code) + ('0'.code..'9'.code)).map(::Codepoint))101fun Codepoint.Companion.georgian(): Arb<Codepoint> {102   val empty = listOf(0x10C6, 0x10ce, 0x10cf) + (0x10c8..0x10cC).toList()103   val codepoints = (0x10A0..0x10FF).filterNot { it in empty }.map(::Codepoint)104   return Arb.of(codepoints).withEdgecases(Codepoint(0x10A0))105}106fun Codepoint.Companion.katakana(): Arb<Codepoint> =107   Arb.of((0x30A0..0x30FF).map(::Codepoint))108      .withEdgecases(Codepoint(0x30A1))109fun Codepoint.Companion.greekCoptic(): Arb<Codepoint> {110   val empty = (0x0380..0x0383).toList() + listOf(0x0378, 0x0379, 0x038B, 0x038D, 0x03A2)111   val codepoints = (0x0370..0x03FF).filterNot { it in empty }.map(::Codepoint)112   return Arb.of(codepoints).withEdgecases(Codepoint(0x03B1))113}114fun Codepoint.Companion.armenian(): Arb<Codepoint> {115   val empty = listOf(0x0557, 0x0558, 0x058B, 0x058C)116   val codepoints = (0x0531..0x058F).filterNot { it in empty }.map(::Codepoint)117   return Arb.of(codepoints).withEdgecases(Codepoint(0x0531))118}119fun Codepoint.Companion.hebrew(): Arb<Codepoint> {120   val empty = (0x05c8..0x05cF).toList() + (0x05eB..0x05eE).toList()121   val codepoints = (0x0591..0x05F4).filterNot { it in empty }.map(::Codepoint)122   return Arb.of(codepoints).withEdgecases(Codepoint(0x05D0))123}124fun Codepoint.Companion.arabic(): Arb<Codepoint> {125   val empty = listOf(0x062D)126   val codepoints = (0x0600..0x06FF).filterNot { it in empty }.map(::Codepoint)127   return Arb.of(codepoints).withEdgecases(Codepoint(0x0627))128}129fun Codepoint.Companion.cyrillic(): Arb<Codepoint> =130   Arb.of((0x0400..0x04FF).map(::Codepoint)).withEdgecases(Codepoint(0x0430))131fun Codepoint.Companion.hiragana(): Arb<Codepoint> {132   val empty = listOf(0x3097, 0x3098)133   val codepoints = (0x3041..0x309F).filterNot { it in empty }.map(::Codepoint)134   return Arb.of(codepoints).withEdgecases(Codepoint(0x3041))135}136fun Codepoint.Companion.egyptianHieroglyphs(): Arb<Codepoint> =137   Arb.of((0x13000..0x1342E).map(::Codepoint))138      .withEdgecases(Codepoint(0x13000))139data class Codepoint(val value: Int) {140   companion object141}142val Codepoint.isBmpCodePoint: Boolean143   get() = value ushr 16 == 0144val Codepoint.highSurrogate: Char145   get() = (value ushr 10).toChar() + (Char.MIN_HIGH_SURROGATE - (MIN_SUPPLEMENTARY_CODE_POINT ushr 10)).code146val Codepoint.lowSurrogate: Char147   get() = (value ushr 0x3ff).toChar() + Char.MIN_LOW_SURROGATE.code148fun Codepoint.asString(): String {149   return if (isBmpCodePoint) {150      value.toChar().toString()151   } else {152      charArrayOf(153         highSurrogate,154         lowSurrogate155      ).concatToString()156   }157}...

1    import io.kotest.property.arbitrary.const2    import io.kotest.property.arbitrary.constant3    import io.kotest.property.arbitrary.int4    import io.kotest.property.arbitrary.string5    val arb = Arb.constant("Hello")6    arb.sample(10).forEach { println(it) }7    val arb2 = Arb.constant(10)8    arb2.sample(10).forEach { println(it) }9    val arb3 = Arb.constant(10.0)10    arb3.sample(10).forEach { println(it) }11    val arb4 = Arb.constant(10L)12    arb4.sample(10).forEach { println(it) }13    val arb5 = Arb.constant(10.toByte())14    arb5.sample(10).forEach { println(it) }15    val arb6 = Arb.constant(10.toShort())16    arb6.sample(10).forEach { println(it) }17    val arb7 = Arb.constant(10.toFloat())18    arb7.sample(10).forEach { println(it) }19    val arb8 = Arb.constant(10.toChar())20    arb8.sample(10).forEach { println(it) }21    val arb9 = Arb.constant(true)22    arb9.sample(10).forEach { println(it) }23    val arb10 = Arb.constant(false)24    arb10.sample(10).forEach { println(it) }25    val arb11 = Arb.constant(listOf(1, 2, 3))26    arb11.sample(10).forEach { println(it) }27    val arb12 = Arb.constant(setOf(1, 2, 3))28    arb12.sample(10).forEach { println(it) }29    val arb13 = Arb.constant(mapOf(1 to 2, 2 to 3, 3 to 4))30    arb13.sample(10).forEach { println(it) }31    val arb14 = Arb.constant(arrayOf(1, 2, 3))32    arb14.sample(10).forEach { println(it) }33    val arb15 = Arb.constant(arrayListOf(1, 2, 3))34    arb15.sample(10).forEach { println(it) }35    val arb16 = Arb.constant(hashSetOf(1, 2, 3))36    arb16.sample(10).forEach { println(it) }

1val arb = Arb . const ( 1 )2val arb = Arb . const ( "string" )3val arb = Arb . const ( true )4val arb = Arb . const ( null )5val arb = Arb . const ( MyEnum . Value )6val arb = Arb . const ( MyDataClass ( 1 , "string" , true ))7val arb = Arb . const ( MySealedClass . Value )8val arb = Arb . const ( MyInterfaceImpl ())9val arb = Arb . const ( MyObject )10val arb = Arb . const ( MyObject . Value )11val arb = Arb . const ( MyObject . Value . Value )12val arb = Arb . const ( MyObject . Value . Value . Value )13val arb = Arb . const ( 1 )14val arb = Arb . const ( "string" )15val arb = Arb . const ( true )16val arb = Arb . const ( null )