Core.Operators 模組 (F#)
基本 F# 運算子。 這個模組會自動在所有 F# 程式碼中開啟。
命名空間/模組路徑: Microsoft.FSharp.Core
組件:FSharp.Core (在 FSharp.Core.dll 中)
[<AutoOpen>]
module Operators
備註
如需 F# 中運算子的概觀,請參閱符號和運算子參考 (F#)。
模組
模組 |
說明 |
---|---|
模組 Checked |
這個模組包含具有溢位檢查的基本算術運算 |
編譯器內建函式的模組,可以有效率地實作 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 |
將引數轉換成位元組。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 Parse與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法 |
ceil : ^T -> ^T |
安裝在天花板的指定的數字。 |
char : ^T -> char |
將引數轉換成字元。 數字輸入會根據字元的 UTF-16 編碼方式進行轉換。 字串輸入的長度必須剛好是一個字元。 針對其他輸入類型,作業需要在輸入型別上使用適當的靜態轉換方法 |
compare : 'T -> 'T -> int |
泛型比較 |
cos : ^T -> ^T |
指定數字的餘弦值。 |
cosh : ^T -> ^T |
指定數字的雙曲線餘弦值。 |
十進位 : ^T -> decimal |
將引數轉換為 Decimal使用直接的轉換的 所有基本數字類型。 對於字串,輸入被轉換使用 Parse與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法 |
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 位元浮點數 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 Parse與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法 |
float32 : ^T -> float32 |
將引數轉換成 32 位元浮點數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 Parse與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法 |
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 位元帶正負號的整數 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 Parse與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法 |
int16 : ^T -> int16 |
將引數轉換成 16 位元帶正負號的整數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 Parse與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法 |
int32 : ^T -> int32 |
將引數轉換成 32 位元帶正負號的整數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 Parse)與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法 |
int64 : ^T -> int64 |
將引數轉換成 64 位元帶正負號的整數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 Parse與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法 |
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 |
將引數轉換成帶正負號的位元組。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 Parse與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法 |
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 位元整數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 Parse與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法 |
uint32 : ^T -> uint32 |
將引數轉換成不帶正負號的 32 位元整數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 Parse與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法 |
uint64 : ^T -> uint64 |
將引數轉換成不帶正負號的 64 位元整數。 這是針對所有基本數字類資料型別的直接轉換。 對於字串,輸入被轉換使用 Parse與 InvariantCulture設定。 否則,作業需要在輸入型別上使用適當的靜態轉換方法 |
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 |
|
( |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