如何在 C# 中为接口编写 FsCheck 生成器

Question

假设我有一个具有 2 个读取属性 age (int) 和 name (string) 的接口 IPerson。

我还有一个 class 实施 IPerson 的人。

如何编写 FsCheck 生成器来生成 IPerson 类型的实例？

Answer 1

像下面这样的东西应该可以工作：

Gen<IPerson> gen = from age in Arb.Default.Int32().Generator
                   from name in Arb.Default.String().Generator
                   select new Person(age, name) as IPerson;

如何在 C# 中为接口编写 FsCheck 生成器

How do I write a FsCheck generator for an interface in C#

c#

fscheck