共用方式為


Core.Operators 模組 (F#)

基本 F# 運算子。 這個模組會自動在所有 F# 程式碼中開啟。

命名空間/模組路徑: Microsoft.FSharp.Core

組件:FSharp.Core (在 FSharp.Core.dll 中)

[<AutoOpen>]
module Operators

備註

如需 F# 中運算子的概觀,請參閱符號和運算子參考 (F#)

模組

模組

說明

模組 Checked

這個模組包含具有溢位檢查的基本算術運算

模組 OperatorIntrinsics

編譯器內建函式的模組,可以有效率地實作 F# 整數範圍和動態引動其他 F# 運算子

模組 Unchecked

這個模組包含未套用執行階段和 (或) 靜態檢查的基本運算

說明

( ! ) : 'T ref -> 'T

取值可變動參考的儲存格。

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

模數運算子的多載。

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

多載的邏輯 AND 運算子。

( * ) : ^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

會來撰寫兩個函式,先套用在右側的函式。

( <<< ) : ^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

套用到三個值,正在向右在左邊的函式上的三倍的值的函式。

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

結構相等。

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

更高的結構-比。

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

結構大於-或-等於。

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

撰寫兩個函式,先套用左邊的函式。

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

所指定的位元數正確運算子的多載的位元組位移。

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

串連兩個清單。

( ^ ) : string -> string -> string

串連兩個字串。 也可能會使用運算子 '+'

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

多載的邏輯 XOR 運算子。

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

將函式套用設為左邊 [右邊的函式上的值。

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

套用到兩個值,正在左邊 [右邊的函式上的一組值的函式。

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

多載的邏輯 OR 運算子

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

套用到三個值,正在左邊 [右邊的函式上的三倍的值的函式。

( ~+ ) : ^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分別指定

方塊 : 'T -> obj

對強型別值進行 Box 處理。

byte : ^T -> byte

將引數轉換成位元組。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 ParseInvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

ceil : ^T -> ^T

安裝在天花板的指定的數字。

char : ^T -> char

將引數轉換成字元。 數字輸入會根據字元的 UTF-16 編碼方式進行轉換。 字串輸入的長度必須剛好是一個字元。 針對其他輸入類型,作業需要在輸入型別上使用適當的靜態轉換方法

compare : 'T -> 'T -> int

泛型比較

cos : ^T -> ^T

指定數字的餘弦值。

cosh : ^T -> ^T

指定數字的雙曲線餘弦值。

十進位 : ^T -> decimal

將引數轉換為 Decimal使用直接的轉換的 所有基本數字類型。 對於字串,輸入被轉換使用 ParseInvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

decr : int ref -> unit

遞減包含整數的可變動參考儲存格。

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

用來指定函式的實作中的選擇性引數的預設值。

enum : int32 -> ^U

Converts the argument to a particular enum type.

exit : int -> 'T

如果安全性設定允許,則結束目前的硬體隔離處理序,否則引發例外狀況。 呼叫 Exit

exp : ^T -> ^T

指定數字的指數。

失敗 : string -> exn

建置 Exception 物件

failwith : string -> 'T

Throw a Exception exception.

float : ^T -> float

將引數轉換成 64 位元浮點數 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 ParseInvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

float32 : ^T -> float32

將引數轉換成 32 位元浮點數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 ParseInvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

floor : ^T -> ^T

指定數目的底板。

fst : 'T1 * 'T2 -> 'T1

傳回 Tuple 的第一個項目,fst (a,b) = a。

hash : 'T -> int

A generic hash function, designed to return equal hash values for items that are equal according to the = operator. 它預設會使用 F# 聯集的結構化雜湊、記錄和 Tuple 型別,來產生型別之完整內容的雜湊。 函式的確切的行為可以根據不同的型別調整藉由實作 GetHashCode的 每個型別。

id : 'T -> 'T

識別函式中。

ignore : 'T -> unit

忽略傳遞的值。 這通常用來捨棄計算的結果

incr : int ref -> unit

遞增包含整數的可變動參考儲存格。

infinity : float

相當於 PositiveInfinity.

infinityf : float32

相當於 PositiveInfinity.

int : ^T -> int

將引數轉換成 32 位元帶正負號的整數 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 ParseInvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

int16 : ^T -> int16

將引數轉換成 16 位元帶正負號的整數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 ParseInvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

int32 : ^T -> int32

將引數轉換成 32 位元帶正負號的整數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 Parse)與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

int64 : ^T -> int64

將引數轉換成 64 位元帶正負號的整數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 ParseInvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

invalidArg : string -> string -> 'T

Throw a ArgumentException exception.

invalidOp : string -> 'T

Throw a InvalidOperationException exception.

limitedHash : int -> 'T -> int

泛型雜湊函式。 這個函式具有相同 雜湊 的行為,但達到的節點指定的限制時,預設的結構為 F # 聯集]、 [記錄] 和 [有序元組雜湊型別停駐點。 函式的確切的行為可以根據不同的型別調整藉由實作 GetHashCode的 每個型別。

鎖定 : 'Lock -> (unit -> 'T) -> 'T

使用輸入值做為鎖定,以互斥區域形式執行函式。

log : ^T -> ^T

Natural logarithm of the given number.

log10 : ^T -> ^T

Logarithm to base 10 of the given number.

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

根據一般的比較的最大值。

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

Minimum based on generic comparison.

nan : float

相當於 NaN.

nanf : float32

相當於 NaN.

nativeint : ^T -> nativeint

將引數轉換成帶正負號的原生整數。 這是針對所有基本數字類資料型別的直接轉換。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

not : bool -> bool

讓邏輯值相反。

nullArg : string -> 'T

Throw an ArgumentNullException exception.

pown : ^T -> int -> ^T

多載 Power 運算子。 如果 n > 0,則等於 x*...*x (表示 x 出現 n 次)

raise : Exception -> 'T

引發例外狀況。

ref : 'T -> 'T ref

建立可變動參考的儲存格。

reraise : unit -> 'T

重新擲回例外狀況。 這應該只用於處理例外狀況時。

round : ^T -> ^T

指定的數字四捨五入。

sbyte : ^T -> sbyte

將引數轉換成帶正負號的位元組。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 ParseInvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

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

Builds a sequence using sequence expression syntax.

sign : ^T -> int

Sign of the given number.

sin : ^T -> ^T

指定數字的正弦值。

sinh : ^T -> ^T

指定數字的雙曲線正弦值。

sizeof : int

傳回型別的內部大小 (以位元組為單位)。 例如,sizeof<int> 會傳回 4。

snd : 'T1 * 'T2 -> 'T2

傳回 Tuple 的第二個項目,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

Generate a Type runtime representation of a static type. 傳回的值仍會保留靜態型別。

uint16 : ^T -> uint16

將引數轉換成不帶正負號的 16 位元整數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 ParseInvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

uint32 : ^T -> uint32

將引數轉換成不帶正負號的 32 位元整數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 ParseInvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

uint64 : ^T -> uint64

將引數轉換成不帶正負號的 64 位元整數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 ParseInvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

unativeint : ^T -> nativeint

針對所有基本數值型別使用直接轉換,將引數轉換成不帶正負號的原生整數。 否則,作業需要在輸入型別上使用適當的靜態轉換方法

unbox : obj -> 'T

對強型別值進行 Unbox 處理。 This is the inverse of box, unbox<'T>(box<'T> a) equals a.

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

在指定的函式完成之後,清理與輸入物件相關聯的資源。 即使是受保護程式碼引發例外狀況,還是會進行清理。

現用模式

現用模式

說明

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

比對其執行階段型別正是 ExceptionException. 物件

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

此現用模式會強制執行 KeyValuePair<TKey, TValue> 型別的值

平台

Windows 7、Windows Vista SP2、Windows XP SP3、Windows XP x64 SP2、Windows Server 2008 R2、Windows Server 2008 SP2、Windows Server 2003 SP2

版本資訊

F# 執行階段

支援版本:2.0、4.0

Silverlight

支援版本:3

請參閱

參考

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