types - F#構文を使用してTypeを属性パラメータとして渡す方法は?

Question

FsCheck は、Arbitraryその NUnit 統合でカスタムを許可します。

[<Property(Verbose = true, Arbitrary= [typeof<Test.Arithmetic.MyArb>])>]
static member  MultiplyIdentity (x: int64) = x * 1 = x

この構文は機能しません。質問するのは少し恥ずかしい気がしますが、どうやらこれは以前は必要なかったようです: F# で型を属性パラメーターとしてどのように指定しますか? Microsoftはそれについて何も言っていませんし、Wikibooksプロジェクトもそうではありません。

注 1:Arbitraryパラメータの型はType []です。

Answer 1

私はあなたが近いと思いますが、[1;2;3]を作成します。list<int>次を使用して配列リテラルが必要です[| 1;2;3 |]。

[<Property(Verbose = true, Arbitrary= [| typeof<Test.Arithmetic.MyArb> |])>]
static member  MultiplyIdentity (x: int64) = x * 1 = x