次の方法で共有


Core.ComparisonConditionalOnAttribute クラス (F#)

ジェネリック型が comparison 制約を満たすには、型引数もこの制約を満たす必要があることを示します。

名前空間/モジュール パス: Microsoft.FSharp.Core

アセンブリ: FSharp.Core (FSharp.Core.dll 内)

[<AttributeUsage(AttributeTargets.GenericParameter, AllowMultiple = false)>]
[<Sealed>]
type ComparisonConditionalOnAttribute =
 class
  new ComparisonConditionalOnAttribute : unit -> ComparisonConditionalOnAttribute
 end

解説

この属性は、ジェネリック コンテナー型が F# の comparison 制約を満たすには、汎用引数もこの制約を満たす必要があることを示すために使用されます。たとえば、型定義 C<'T> のパラメーター 'T にこの属性を追加すると、型 C<X> が比較をサポートするのは、型 X も比較をサポートし、かつ C<X> で比較をサポートするための他の条件もすべて満たされた場合だけになります。型 C<'T> は他の型引数でも使用できますが、C<(int -> int)> のような型は比較をサポートしません。これは、型 (int -> int) が F# 関数型であり、比較をサポートしないためです。

この属性は、関数またはメソッドのジェネリック パラメーターに使用された場合は無視されます。

短縮形の名前である ComparisonConditionalOn も使用できます。

コンストラクター

メンバー

説明

new

属性のインスタンスを作成します。

プラットフォーム

Windows 8、Windows 7、Windows Server 2012 で Windows Server 2008 R2

バージョン情報

F# コア ライブラリのバージョン

サポート: ポータブル 2.0、4.0

参照

関連項目

Microsoft.FSharp.Core 名前空間 (F#)