次の方法で共有


Core.Operators モジュール (F#)

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

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

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

[<AutoOpen>]
module Operators

解説

F# の演算子の概要については、「シンボルと演算子のリファレンス (F#)」を参照してください。

モジュール

Module

説明

モジュール Checked

このモジュールには、オーバーフロー チェックのある基本的な算術演算子が含まれます。

モジュール OperatorIntrinsics

F# 整数範囲の効率的な実装と他の F# 演算子の動的呼び出しのためのコンパイラ組み込み関数のモジュール。

モジュール Unchecked

このモジュールには、ランタイム チェック、静的チェック、またはそのどちらも適用されない基本操作が含まれます。

Values

説明

( !) : 'T ref -> 'T

変更可能な参照セルを逆参照します。

( % ) : ^T1 -> ^T2 -> ^T3

オーバーロードされた剰余演算子。

( &&& ) : ^T -> ^T -> ^T

ビットごとのオーバーロードされた演算子と演算子。

( * ) : ^T1 -> ^T2 -> ^T3

オーバーロードされた乗算演算子。

( ** ) : ^T -> ^U -> ^T

オーバーロードされた指数演算子。

( + ) : ^T1 -> ^T2 -> ^T3

オーバーロードされた加算演算子。

( - ) : ^T1 -> ^T2 -> ^T3

オーバーロードされた減算演算子。

( ..) : ^T -> ^T -> seq<^T>

リストの、標準のオーバーロードされた範囲演算子。たとえば..[n..m] シーケンスの seq {n..m}。

( ....) : ^T -> ^Step -> ^T -> seq<^T>

リストの、標準のオーバーロードされたスキップ範囲演算子。たとえば..[n..skip..m] シーケンスの seq {n..skip..m}。

( / ) : ^T1 -> ^T2 -> ^T3

オーバーロードされた除算演算子。

( := ) : 'T ref -> 'T -> unit

変更可能な参照セルに代入します。

( < ) : 'T -> 'T -> bool

構造的な大小関係 (より小さい) を比較します。

( << ) : ('T2 -> 'T3) -> ('T1 -> 'T2) -> 'T1 -> 'T3

2 つの関数を合成します。右側の関数が最初に適用されます。

( <<< ) : ^T -> int32 -> ^T

オーバーロードされた左バイトシフト演算子。ビット数で指定します。

( <= ) : 'T -> 'T -> bool

構造的な大小関係 (以下) を比較します。

( <> ) : 'T -> 'T -> bool

構造的に等しくないかどうかを比較します。

( <| ) : ('T -> 'U) -> 'T -> 'U

左側の関数を右側の値に適用します。

( <|| ) : ('T1 -> 'T2 -> 'U) -> 'T1 * 'T2 -> 'U

右側のペアの値に左側の関数を適用します。

( <||| ) : ('T1 -> 'T2 -> 'T3 -> 'U) -> 'T1 * 'T2 * 'T3 -> 'U

右側の 3 要素の組の値に左側の関数を適用します。

( = ) : 'T -> 'T -> bool

構造的に等しいかどうかを比較します。

( > ) : 'T -> 'T -> bool

構造的な大小関係 (より大きい) を比較します。

( >= ) : 'T -> 'T -> bool

構造的な大小関係 (以上) を比較します。

( >> ) : ('T1 -> 'T2) -> ('T2 -> 'T3) -> 'T1 -> 'T3

2 つの関数を合成します。左側の関数が最初に適用されます。

( >>> ) : ^T -> int32 -> ^T

オーバーロードされた右バイトシフト演算子。ビット数で指定します。

( @ ) : 'T list -> 'T list -> 'T list

2 つのリストを連結します。

( ^ ) : string -> string -> string

2 つの文字列を連結します。 演算子 '+' も使用できます。

( ^^^ ) : ^T -> ^T -> ^T

ビットごとの XOR オーバーロードされた演算子。

( |> ) : 'T1 -> ('T1 -> 'U) -> 'U

右側の関数を左側の値に適用します。

( ||> ) : 'T1 * 'T2 -> ('T1 -> 'T2 -> 'U) -> 'U

左側のペアの値に右側の関数を適用します。

( ||| ) : ^T -> ^T -> ^T

ビットごとのオーバーロードされた演算子または演算子

( |||> ) : 'T1 * 'T2 * 'T3 -> ('T1 -> 'T2 -> 'T3 -> 'U) -> 'U

左側の 3 要素の組の値に右側の関数を適用します。

( ~+ ) : ^T -> ^T

オーバーロードされた前置加算演算子。

( ~- ) : ^T -> ^T

オーバーロードされた単項マイナス演算子。

( ~~~ ) : ^T -> ^T

ビットごとの NOT 演算子オーバーロードされた。

abs : ^T -> ^T

指定した数値の絶対値。

acos : ^T -> ^T

指定した数値の逆コサイン。

asin : ^T -> ^T

指定した数値の逆サイン。

atan : ^T -> ^T

指定した数値の逆タンジェント。

atan2 : ^T1 -> ^T2 -> 'T2

x と y が別々に指定された x/y の逆タンジェント。

box : 'T -> obj

厳密に型指定された値をボックス化変換します。

byte : ^T -> byte

引数をバイトに変換します。 これは、すべてのプリミティブ数値型の直接変換です。 文字列の場合は、InvariantCulture が設定された Parse を使用して入力が変換されます。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

ceil : ^T -> ^T

指定した数値の切り上げ。

char : ^T -> char

引数を文字に変換します。 数値入力は、文字の UTF-16 エンコーディングに従って変換されます。 文字列入力の長さは 1 文字である必要があります。 入力の型がそれ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

compare : 'T -> 'T -> int

汎用的な比較。

cos : ^T -> ^T

指定した数値のコサイン。

cosh : ^T -> ^T

指定した数値のハイパーボリック コサイン。

decimal : ^T -> decimal

Decimal への引数を、すべてのプリミティブ数値型の直接変換を使用して変換します。 文字列の場合は、InvariantCulture が設定された Parse を使用して入力が変換されます。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

decr : int ref -> unit

整数を含む変更可能な参照セルをデクリメントします。

defaultArg : 'T option -> 'T -> 'T

関数の実装で、省略可能な引数の既定値を指定するために使用します。

enum : int32 -> ^U

引数を特定の enum 型に変換します。

exit : int -> 'T

セキュリティ設定で許可されている場合は、ハードウェアから独立している現在のプロセスを終了します。許可されていない場合は例外を生成します。 Exit を呼び出します。

exp : ^T -> ^T

指定した数値の指数。

Failure (失敗) : string -> exn

Exception オブジェクトを構築します。

failwith : string -> 'T

Exception 例外をスローします。

float : ^T -> float

引数を 64 ビット浮動小数点に変換します。 これは、すべてのプリミティブ数値型の直接変換です。 文字列の場合は、InvariantCulture が設定された Parse を使用して入力が変換されます。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

float32 : ^T -> float32

引数を 32 ビット浮動小数点に変換します。 これは、すべてのプリミティブ数値型の直接変換です。 文字列の場合は、InvariantCulture が設定された Parse を使用して入力が変換されます。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

floor : ^T -> ^T

指定した数値の切り捨て値。

fst : 'T1 * 'T2 -> 'T1

タプルの最初の要素を返します (fst (a,b) = a)。

hash : 'T -> int

= 演算子に従って等しい項目の等しいハッシュ値を返すように設計された汎用ハッシュ関数。 既定では、F# 共用体、レコード、およびタプル型の構造的ハッシュを使用して、型の完全なコンテンツをハッシュします。 この関数の正確な動作は、それぞれの型の GetHashCode を実装することで型ごとに調整できます。

id : 'T -> 'T

値を変更せずに返す関数。

ignore : 'T -> unit

渡された値を無視します。 これは、計算の結果を破棄する場合によく使用されます。

incr : int ref -> unit

整数を含む変更可能な参照セルをインクリメントします。

infinity : float

これは、PositiveInfinity. と同じです。

infinityf : float32

これは、PositiveInfinity. と同じです。

int : ^T -> int

引数を符号付き 32 ビット整数に変換します。 これは、すべてのプリミティブ数値型の直接変換です。 文字列の場合は、InvariantCulture が設定された Parse を使用して入力が変換されます。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

int16 : ^T -> int16

引数を符号付き 16 ビット整数に変換します。 これは、すべてのプリミティブ数値型の直接変換です。 文字列の場合は、InvariantCulture が設定された Parse を使用して入力が変換されます。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

int32 : ^T -> int32

引数を符号付き 32 ビット整数に変換します。 これは、すべてのプリミティブ数値型の直接変換です。 文字列の場合は、InvariantCulture が設定された Parse) を使用して入力が変換されます。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

int64 : ^T -> int64

引数を符号付き 64 ビット整数に変換します。 これは、すべてのプリミティブ数値型の直接変換です。 文字列の場合は、InvariantCulture が設定された Parse を使用して入力が変換されます。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

invalidArg : string -> string -> 'T

ArgumentException 例外をスローします。

invalidOp : string -> 'T

InvalidOperationException 例外をスローします。

limitedHash : int -> 'T -> int

汎用ハッシュ関数です。 この関数の動作は hash と同じですが、F# 共用体、レコード、およびタプルの型に対する既定の構造ハッシュは、指定されたノードの制限に達すると停止します。 この関数の正確な動作は、それぞれの型の GetHashCode を実装することで型ごとに調整できます。

lock : 'Lock -> (unit -> 'T) -> 'T

入力値をロックとして使用して、関数を相互排他領域として実行します。

log : ^T -> ^T

指定した数値の自然対数。

log10 : ^T -> ^T

指定した数値の底 10 の対数。

max : 'T -> 'T -> 'T

一般的な比較に基づく最大値。

min : 'T -> 'T -> 'T

一般的な比較に基づく最小値。

nan : float

これは、NaN. と同じです。

nanf : float32

これは、NaN. と同じです。

nativeint : ^T -> nativeint

引数を符号付きネイティブ整数に変換します。 これは、すべてのプリミティブ数値型の直接変換です。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

not : bool -> bool

論理値を否定します。

nullArg : string -> 'T

ArgumentNullException 例外をスローします。

pown : ^T -> int -> ^T

オーバーロードされたべき乗演算子。 n > 0 の場合は、x が n 回出現する x*...*x と同じです。

raise : Exception -> 'T

例外を発生させます。

ref : 'T -> 'T ref

変更可能な参照セルを作成します。

reraise : unit -> 'T

例外を再スローします。 例外を処理するときにのみ使用できます。

round : ^T -> ^T

指定した数値を丸めます。

sbyte : ^T -> sbyte

引数を符号付きバイトに変換します。 これは、すべてのプリミティブ数値型の直接変換です。 文字列の場合は、InvariantCulture が設定された Parse を使用して入力が変換されます。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

seq : seq<'T> -> seq<'T>

シーケンス式構文を使用してシーケンスを構築します。

sign : ^T -> int

指定した数値の符号。

sin : ^T -> ^T

指定した数値のサイン。

sinh : ^T -> ^T

指定した数値のハイパーボリック サイン。

sizeof : int

型の内部サイズをバイト単位で返します。 たとえば、sizeof<int> は 4 を返します。

snd : 'T1 * 'T2 -> 'T2

タプルの 2 番目の要素を返します (snd (a,b) = b)。

sqrt : ^T -> ^T

指定した数値の平方根。

stderr : TextWriter

Error プロパティの値を読み取ります。

stdin : TextReader

In プロパティの値を読み取ります。

stdout : TextWriter

Out プロパティの値を読み取ります。

string : ^T -> string

ToString を使用して引数を文字列に変換します。

tan : ^T -> ^T

指定した数値のタンジェント。

tanh : ^T -> ^T

指定した数値のハイパーボリック タンジェント。

truncate : ^T -> ^T

オーバーロードされた切り捨て演算子。

typedefof : Type

型定義の Type 表現を生成します。 入力型がジェネリック型のインスタンス化である場合は、このようなすべてのインスタンス化に関連付けられているジェネリック型定義を返します。

typeof : Type

静的な型の Type ランタイム表現を生成します。 静的な型は、返された値でも維持されます。

uint16 : ^T -> uint16

引数を符号なし 16 ビット整数に変換します。 これは、すべてのプリミティブ数値型の直接変換です。 文字列の場合は、InvariantCulture が設定された Parse を使用して入力が変換されます。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

uint32 : ^T -> uint32

引数を符号なし 32 ビット整数に変換します。 これは、すべてのプリミティブ数値型の直接変換です。 文字列の場合は、InvariantCulture が設定された Parse を使用して入力が変換されます。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

uint64 : ^T -> uint64

引数を符号なし 64 ビット整数に変換します。 これは、すべてのプリミティブ数値型の直接変換です。 文字列の場合は、InvariantCulture が設定された Parse を使用して入力が変換されます。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

unativeint : ^T -> nativeint

符号なしネイティブ整数への引数を、すべてのプリミティブ数値型の直接変換を使用して変換します。 それ以外の場合、この操作では、入力の型に適切な静的変換メソッドが必要です。

unbox : obj -> 'T

厳密に型指定された値をボックス化解除します。 これは box の逆で、unbox<'T>(box<'T> a) は a です。

using : 'T -> ('T -> 'U) -> 'U

指定した関数の完了後に、入力オブジェクトに関連付けられたリソースをクリーンアップします。 クリーンアップは、保護されたコードが例外を発生させたときでも行われます。

アクティブ パターン

アクティブ パターン

説明

( |Failure|_| ) : exn -> string option

ランタイム型が正確に Exception. である Exception オブジェクトと一致します。

( |KeyValue| ) : KeyValuePair<'Key,'Value> -> 'Key * 'Value

KeyValuePair 型の値と一致するアクティブ パターン

プラットフォーム

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

バージョン情報

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

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

参照

関連項目

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