F # 구문을 사용하여 특성 매개 변수로 Type을 전달하는 방법은 무엇입니까?

Question

FsCheck는 NUnit과 통합에 사용자 정의 Arbitrary 수 있습니다 :

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

이 구문은 작동하지 않습니다. 나는 약간 부끄럽다는 느낌이 들지만 분명히 필자는 이것을 결코 필요로하지 않았다 : F #에서 타입을 애트리뷰트 파라미터로 어떻게 지정 하는가? Microsoft says nothing about it도 아니고 Wikibooks project도 아니며 Google 검색에 문제가 있습니다 (단어 은 무소속입니다).

참고 1 : Arbitrary 매개 변수의 유형은 Type []입니다. 당신은 문자 배열 [| 1;2;3 |]를 사용하여 원하는,

Answer 1

나는 당신이 가까이있어 생각하지만, [1;2;3]는 list<int>를 만듭니다

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