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 も使用できます。
コンストラクター
メンバー |
説明 |
---|---|
属性のインスタンスを作成します。 |
プラットフォーム
Windows 8、Windows 7、Windows Server 2012 で Windows Server 2008 R2
バージョン情報
F# コア ライブラリのバージョン
サポート: ポータブル 2.0、4.0