如何定义一个ScalaCheck生成器来生成序列元素的子集?

克里斯·斯图尔特

如何选择序列元素的子集?

例如,如果我有sequence Seq(1,2,3,4,5),我希望对生成器的每次调用都产生类似

Seq(1,4)

或者

Seq(1,2,3,5)

或者

Seq()

如何定义这样的生成器?

jub0bs

org.scalacheck.Gen.someOf 是一个生成器,它从可迭代对象中随机选择元素:

scala> import org.scalacheck.Gen
import org.scalacheck.Gen

scala> val baseSeq = Seq(1, 2, 3, 4, 5)
baseSeq: Seq[Int] = List(1, 2, 3, 4, 5)

scala> val myGen = Gen.someOf(baseSeq).map(_.toSeq)
myGen: org.scalacheck.Gen[Seq[Int]] = org.scalacheck.Gen$$anon$6@ff6a218

scala> myGen.sample.head
res0: Seq[Int] = List(3, 4, 5)

scala> myGen.sample.head
res1: Seq[Int] = List(1, 2, 3, 4)

scala> myGen.sample.head
res2: Seq[Int] = List()

本文收集自互联网,转载请注明来源。

如有侵权,请联系[email protected] 删除。

编辑于
0

我来说两句

0条评论
登录后参与评论

相关文章

来自分类Dev

scalacheck:为无限流定义一个生成器,并依赖于先前的元素

来自分类Dev

我想创建一个生成器来生成任意两个输入生成器的交集

来自分类Dev

如何制作一个行生成器表达式来生成这两个不同的列表

来自分类Dev

如何传递一个空的生成器参数?

来自分类Dev

如何构建一个简单的令牌生成器

来自分类Dev

如何将一个元组的Python生成器拆分为2个单独的生成器?

来自分类Dev

PostgreSQL的一个实体的多个Hibernate序列生成器

来自分类Dev

如何在Scalatest中使用forAll仅生成生成器的一个对象?

来自分类Dev

定义一个生成器,该生成器在第一个__next __()调用之前更新全局变量

来自分类Dev

构建一个打字机生成器,根据打字速度定义字体

来自分类Dev

python,生成器迭代一个或多个项目

来自分类Dev

Python生成器返回最后一个项目

来自分类Dev

需要一个简单的线梯度生成器

来自分类Dev

如何将自定义数据生成器输入到model.fit中,该生成器生成X,y和一个附加数组到tensorflow.keras模型中?

来自分类Dev

如何制作一个谓词来生成对列表?

来自分类Dev

如何编写一个简单的“页面错误生成器”?

来自分类Dev

如何为Hibernate中的每个公司创建一个customerNumber生成器

来自分类Dev

在Idris中,如何编写一个带参数索引功能的“ vect生成器”函数

来自分类Dev

如何使生成器提前准备下一个值?

来自分类Dev

如何仅对一个样本运行set.seed()生成器?

来自分类Dev

如何使tensorflow.keras.model.predict()输出一个生成器?

来自分类Dev

如何制作一个随机的按钮背景色生成器?

来自分类Dev

如何编写一个好的生成器链接函数

来自分类Dev

App Generator:如何声明一个变量以在整个生成器中使用?

来自分类Dev

我如何创建只有一个特殊字符的生成器字符串?

来自分类Dev

生成器与序列对象

来自分类Dev

生成器与序列对象

来自分类Dev

R如何通过主题测量到给定值的下一个不间断序列的距离来生成降序

来自分类Dev

如何使一个随机数生成器一次只打印4个随机数?

Related 相关文章

  1. 1

    scalacheck:为无限流定义一个生成器,并依赖于先前的元素

  2. 2

    我想创建一个生成器来生成任意两个输入生成器的交集

  3. 3

    如何制作一个行生成器表达式来生成这两个不同的列表

  4. 4

    如何传递一个空的生成器参数?

  5. 5

    如何构建一个简单的令牌生成器

  6. 6

    如何将一个元组的Python生成器拆分为2个单独的生成器?

  7. 7

    PostgreSQL的一个实体的多个Hibernate序列生成器

  8. 8

    如何在Scalatest中使用forAll仅生成生成器的一个对象?

  9. 9

    定义一个生成器,该生成器在第一个__next __()调用之前更新全局变量

  10. 10

    构建一个打字机生成器,根据打字速度定义字体

  11. 11

    python,生成器迭代一个或多个项目

  12. 12

    Python生成器返回最后一个项目

  13. 13

    需要一个简单的线梯度生成器

  14. 14

    如何将自定义数据生成器输入到model.fit中,该生成器生成X,y和一个附加数组到tensorflow.keras模型中?

  15. 15

    如何制作一个谓词来生成对列表?

  16. 16

    如何编写一个简单的“页面错误生成器”?

  17. 17

    如何为Hibernate中的每个公司创建一个customerNumber生成器

  18. 18

    在Idris中,如何编写一个带参数索引功能的“ vect生成器”函数

  19. 19

    如何使生成器提前准备下一个值?

  20. 20

    如何仅对一个样本运行set.seed()生成器?

  21. 21

    如何使tensorflow.keras.model.predict()输出一个生成器?

  22. 22

    如何制作一个随机的按钮背景色生成器?

  23. 23

    如何编写一个好的生成器链接函数

  24. 24

    App Generator:如何声明一个变量以在整个生成器中使用?

  25. 25

    我如何创建只有一个特殊字符的生成器字符串?

  26. 26

    生成器与序列对象

  27. 27

    生成器与序列对象

  28. 28

    R如何通过主题测量到给定值的下一个不间断序列的距离来生成降序

  29. 29

    如何使一个随机数生成器一次只打印4个随机数?

热门标签

归档