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

モジュール LanguagePrimitives

F# 言語に関連付けられている言語プリミティブ。

モジュール Operators

基本的な F# 演算子。 このモジュールは、すべての F# コードで自動的に開かれます。

モジュール Option

オプションに対する基本操作。

モジュール String

文字列処理のための関数型プログラミング演算子。 さらに、文字列に対するメンバー関数および String 型と Regex 型の他の機能を介して、他の文字列操作を使用できます。

型 [,,]<'T>

3 次元配列。通常、インデックス番号は 0 から始まります。 インデックス番号が 0 から始まらない配列は、System.Array 型にあるメソッドを使用して作成できます。

型 []<'T>

インデックス番号が 0 から始まる 1 次元配列。int[]、string[] などと記述されます。

型 AllowNullLiteralAttribute

この属性を型に追加すると、その型に対して F# コード内で 'null' リテラルを使用できるようになります。 この属性は、F# で定義されたクラス型またはインターフェイス型にのみ追加できます。

型 AutoSerializableAttribute

値 'false' を指定してこの属性を型に追加すると、型をシリアル化可能にする F# の既定の動作が無効になります。

型 Choice<'T1,'T2,'T3,'T4,'T5,'T6,'T7>

7 つの選択肢を持つアクティブ パターンのヘルパー型。

型 Choice<'T1,'T2,'T3,'T4,'T5>

5 つの選択肢を持つアクティブ パターンのヘルパー型。

型 Choice<'T1,'T2,'T3>

3 つの選択肢を持つアクティブ パターンのヘルパー型。

型 ClassAttribute

この属性を型に追加すると、その型は CLI クラスを使用して表されます。

型 ComparisonConditionalOnAttribute

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

型 CompilationMappingAttribute

この属性は、F# コンパイラによって自動的に挿入されます。生成された CLI コード内の型とメソッドに、元のソース構造との対応を示すフラグでタグを付けます。 これは、Microsoft.FSharp.Reflection 名前空間内の関数で、コンパイル済みの構成要素を元の形式に逆マップするために使用されます。 ユーザー コードで使用するためのものではありません。

型 CompilationRepresentationFlags

F# の型またはメンバーのコンパイルされた表現に対する 1 つ以上の調整を示します。

型 CompiledNameAttribute

この属性を F# モジュール内の値定義または関数定義に追加すると、コンパイルされた CLI コードで値に使用される名前が変更されます。

型 CustomComparisonAttribute

この属性を型に追加すると、その型にユーザー定義の比較が実装されていることを示します。

型 decimal<'Measure>

単位で注釈が付けられた 10 進数の型。 この単位は、コンパイルされたコードでは消去されます。また、この型の値がリフレクションを使用して分析されるときにも消去されます。 この型は、表現上は System.Decimal と同じです。

型 DefaultValueAttribute

この属性をフィールド宣言に追加すると、フィールドが初期化されていないことを意味します。 型チェック時に、フィールド型が 'null' をサポートするという制約がアサートされます。 'check' 値が false の場合、制約はアサートされません。

型 EqualityConditionalOnAttribute

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

型 float<'Measure>

単位で注釈が付けられた浮動小数点数の型。 この単位は、コンパイルされたコードでは消去されます。また、この型の値がリフレクションを使用して分析されるときにも消去されます。 この型は、表現上は System.Double と同じです。

型 FSharpFunc<'T,'U>

F# 関数値を表すために使用される CLI 型。 この型は他の CLI 言語から使用できますが、通常、直接使用されることはありません。

型 FSharpTypeFunc

F# のファースト クラスの型関数値を表すために使用される CLI 型。 この型は、コンパイルされた F# コードで使用されます。

型 GeneralizableValueAttribute

ジェネリック パラメーターのある非関数値にこの属性を追加すると、その構成要素を使用したときに、型の推論を通じてジェネリック コードを生成できることを示します。

型 int<'Measure>

単位で注釈が付けられた 32 ビット符号付き整数の型。 この単位は、コンパイルされたコードでは消去されます。また、この型の値がリフレクションを使用して分析されるときにも消去されます。 この型は、表現上は System.Int32 と同じです。

型 int64<'Measure>

単位で注釈が付けられた 64 ビット符号付き整数の型。 この単位は、コンパイルされたコードでは消去されます。また、この型の値がリフレクションを使用して分析されるときにも消去されます。 この型は、表現上は System.Int64 と同じです。

型 LiteralAttribute

この属性を値に追加すると、CLI 定数リテラルとしてコンパイルされます。

型 MeasureAttribute

この属性を型に追加すると、単位として解釈されます。 非常に限定された状況下でのみ使用できます。

型 NoComparisonAttribute

この属性を型に追加すると、その型では比較が正常な処理でないことを示します。 つまり、型は F# の 'comparison' 制約を満たしません。 これは、F# 型システムの境界内において、この型で F# ジェネリック比較関数が直接インスタンス化されないようにするために役立ちます。 この属性およびチェックでは、この型の基本型または子の型との比較の使用は制約されません。

型 NoEqualityAttribute

この属性を型に追加すると、その型では等値が正常な処理でないことを示します。 つまり、この型は F# の 'equality' 制約を満たしません。 これは、F# 型システムの境界内において、等価性を確認する F# ジェネリック関数がこの型で直接インスタンス化されないようにするために役立ちます。 この属性およびチェックでは、この型の基本型または子の型との比較の使用は制約されません。

型 OptionalArgumentAttribute

この属性は、すべてのオプションの引数に自動的に追加されます。

型 PrintfFormat<'Printer,'State,'Residue,'Result>

書式指定式の型。

型 ReferenceEqualityAttribute

この属性をレコード型または共用体型に追加すると、その型に対する 'System.Object.Equals(obj)'、'System.Object.GetHashCode()'、および 'System.IComparable' のオーバーライドの自動生成が無効になります。 その型では、既定で参照の等価性が使用されます。

型 RequireQualifiedAccessAttribute

この属性は、モジュール、レコード、または共用体型の要素への参照に明示的な修飾アクセスが必要であることを示すために使用します。

型 sbyte<'Measure>

単位で注釈が付けられた 8 ビット符号付き整数の型。 この単位は、コンパイルされたコードでは消去されます。また、この型の値がリフレクションを使用して分析されるときにも消去されます。 この型は、表現上は System.SByte と同じです。

型 SourceConstructFlags

CLI ライブラリのコンパイル済みエンティティと F# ソース コードとの関係を示します。

型 StructuralComparisonAttribute

この属性をレコード、共用体、例外、または構造体の型に追加すると、その型に対して 'System.IComparable' の実装が確実に自動生成されます。

型 StructuredFormatDisplayAttribute

この属性は、'%A' printf 書式設定やその他の 2 次元のテキスト ベースの表示レイアウトを使用する場合に、型を表示する既定の方法を指定するために使用されます。 このバージョンの F# で有効な値は、PreText {PropertyName} PostText 形式の値のみです。 プロパティ名は、オブジェクトそのものの代わりに評価および表示するプロパティを表します。

型 UnverifiableAttribute

この属性は、使用すると検証不可能なコードが生成される値にタグを付けるために使用されます。 このような値は、検証不可能な構成要素が F# ライブラリの実際のコードに含められるのを防ぎ、確実に呼び出し元のソース コードにコピーされるようにするために、必ず 'inline' としてマークされます。

型 bigint

任意の大きさの整数。 BigInteger 型の省略形。

型 byte

CLI 型 Byte の省略形。

型 decimal

CLI 型 Decimal の省略形。

型 exn

CLI 型 Exception の省略形。

型 float32

CLI 型 Single の省略形。

型 Format<'Printer,'State,'Residue,'Result>

書式指定式の型。

型 int16

CLI 型 Int16 の省略形。

型 int64

CLI 型 Int64 の省略形。

型 nativeint

CLI 型 IntPtr の省略形。

型 option<'T>

省略可能な値の型。 他の CLI 言語から使用された場合、空のオプションは null 値です。

型 sbyte

CLI 型 SByte の省略形。

型 string

CLI 型 String の省略形。

型 uint32

CLI 型 UInt32 の省略形。

型 uint8

CLI 型 Byte の省略形。

型 unit

1 つの値 "()" しか持たない型の "単位"。 この値は特別で、常に "null" 表現を使用します。