Core.Operators — Moduł (F#)
Podstawowe F# operatorów.Moduł ten jest automatycznie otwierany w cały kod F#.
Ścieżka obszaru nazw/modułu: Microsoft.FSharp.Core
Zestaw: FSharp.Core (w FSharp.Core.dll)
[<AutoOpen>]
module Operators
Uwagi
Omówienie operatorów F#, zobacz Odwołanie do symbolu i operatora (F#).
Moduły
Moduł |
Opis |
|---|---|
Moduł zaznaczone |
Ten moduł zawiera podstawowe operacje arytmetyczne z kontroli przepełnienia. |
Moduł OperatorIntrinsics |
Moduł funkcje wewnętrzne kompilator efektywne implementacje F# całkowitą zakresów i dynamicznego wywołania innych operatorów F# |
Moduł niezaznaczone |
Ten moduł zawiera podstawowe operacje, które nie stosują runtime lub statyczne kontroli |
Wartości
Wartość |
Opis |
|---|---|
( ! ) : 'T ref -> 'T |
Nieprawidłowego tych odwołanie komórki. |
( % ) : ^T1 -> ^T2 -> ^T3 |
Przeciążone modulo operatora. |
(& & & ) : ^T -> ^T -> ^T |
Przeciążony operator i operatory. |
( * ) : ^T1 -> ^T2 -> ^T3 |
Operator mnożenia przeciążone. |
( ** ) : ^T -> ^U -> ^T |
Operatora potęgowania przeciążone. |
( + ) : ^T1 -> ^T2 -> ^T3 |
Dodanie Przeciążony operator. |
( - ) : ^T1 -> ^T2 -> ^T3 |
Operator odejmowania przeciążone. |
( .. ) : ^T -> ^T -> seq<^T> |
Standardowy zakres Przeciążony operator, e.g.[n..m] dla list, seq {n..m} sekwencji. |
( .. .. ) : ^T -> ^Step -> ^T -> seq<^T> |
Standard Pomiń Przeciążony operator zakresu, e.g.[n..skip..m] dla list, seq {n..skip..m} sekwencji. |
( / ) : ^T1 -> ^T2 -> ^T3 |
Rejon Przeciążony operator. |
( := ) : 'T ref -> 'T -> unit |
Przypisuje się do komórki odwołanie mutable. |
(< ) : 'T -> 'T -> bool |
Strukturalnych mniej-niż porównanie. |
(<< ) : ('T2 -> 'T3) -> ('T1 -> 'T2) -> 'T1 -> 'T3 |
Redaguje dwóch funkcji, funkcja po prawej stronie, najpierw stosowany. |
(<<< ) : ^T -> int32 -> ^T |
Przeciążony operator lewy shift bajt przez określoną liczbę bitów. |
(< =) : 'T -> 'T -> bool |
Porównanie mniej niż lub równości strukturalnych. |
(< > ) : 'T -> 'T -> bool |
Nierówności strukturalnych. |
(< |) : ('T -> 'U) -> 'T -> 'U |
Zastosowanie funkcji wartość, wartość na prawo, funkcja po lewej stronie. |
( <|| ) : ('T1 -> 'T2 -> 'U) -> 'T1 * 'T2 -> 'U |
Zastosowanie funkcji wartości dwóch wartości jest para po prawej stronie funkcji po lewej stronie. |
( <||| ) : ('T1 -> 'T2 -> 'T3 -> 'U) -> 'T1 * 'T2 * 'T3 -> 'U |
Zastosowanie funkcji trzy wartości, wartości są trzykrotnie po prawej stronie funkcji po lewej stronie. |
( = ) : 'T -> 'T -> bool |
Równość strukturalnych. |
(> ) : 'T -> 'T -> bool |
Większa strukturalnych-niż. |
(> =) : 'T -> 'T -> bool |
Strukturalne większa niż lub równości. |
(>> ) : ('T1 -> 'T2) -> ('T2 -> 'T3) -> 'T1 -> 'T3 |
Zredaguj dwóch funkcji, funkcja po lewej stronie, najpierw stosowany. |
(>>> ) : ^T -> int32 -> ^T |
Przeciążone shift bajt prawa operatora przez określoną liczbę bitów. |
( @ ) : 'T list -> 'T list -> 'T list |
Łączy dwie listy. |
( ^ ) : string -> string -> string |
Łączy dwa ciągi.Operator może być również "+". |
( ^^^ ) : ^T -> ^T -> ^T |
Przeciążone operatory operator XOR. |
(| > ) : 'T1 -> ('T1 -> 'U) -> 'U |
Zastosowanie funkcji wartość, wartość jest po lewej stronie funkcji po prawej stronie. |
( ||> ) : 'T1 * 'T2 -> ('T1 -> 'T2 -> 'U) -> 'U |
Zastosowanie funkcji do dwóch wartości, wartości jest para po lewej stronie funkcji po prawej stronie. |
( ||| ) : ^T -> ^T -> ^T |
Przeciążony operator OR operatory |
( |||> ) : 'T1 * 'T2 * 'T3 -> ('T1 -> 'T2 -> 'T3 -> 'U) -> 'U |
Zastosowanie funkcji trzy wartości, wartości są trzykrotnie po lewej stronie funkcji po prawej stronie. |
( ~+ ) : ^T -> ^T |
Przeciążone prefiksu oraz operatora. |
( ~- ) : ^T -> ^T |
Negacja jednoargumentowe przeciążone. |
( ~~~ ) : ^T -> ^T |
Bitowe NOT Przeciążony operator. |
ABS : ^T -> ^T |
Wartość bezwzględna danej liczby. |
ACOS : ^T -> ^T |
Arcus cosinus danej liczby. |
ASIN : ^T -> ^T |
Arcus sinus danej liczby. |
ATAN : ^T -> ^T |
Arcus tangens danej liczby. |
ATAN2 : ^T1 -> ^T2 -> 'T2 |
Arcus tangens x/y gdzie x i y są określane oddzielnie. |
pole : 'T -> obj |
Pola wartości jednoznacznie. |
bajt : ^T -> byte |
Konwertuje argument bajt.Jest to bezpośrednie konwersji dla wszystkich typów liczbowych pierwotnych.Ciągi, dane wejściowe są konwertowane przy użyciu Parse z InvariantCulture ustawienia.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
ceil : ^T -> ^T |
Pułap danej liczby. |
CHAR : ^T -> char |
Konwertuje argument znaków.Numeryczne dane wejściowe są konwertowane zgodnie z kodowania znaków UTF-16.Ciąg danych wejściowych musi być dokładnie jeden znak.Dla innych typów wprowadzania operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
Porównanie : 'T -> 'T -> int |
Porównania rodzajowe. |
COS : ^T -> ^T |
Cosinus danej liczby. |
COSH : ^T -> ^T |
Cosinus hiperboliczny danej liczby. |
dziesiętny : ^T -> decimal |
Konwertuje argument Decimal za pomocą bezpośredniego konwersji dla wszystkich typów liczbowych pierwotnych.Ciągi, dane wejściowe są konwertowane przy użyciu Parse z InvariantCulture ustawienia.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
decr : int ref -> unit |
Zmniejsz tych odwołanie komórki zawierającej liczbą całkowitą. |
defaultArg : 'T option -> 'T -> 'T |
Można określić wartość domyślną dla opcjonalnego argumentu w implementacji funkcji. |
Enum : int32 -> ^U |
Konwertuje argument określonego enum typu. |
Zakończ : int -> 'T |
Zamknij bieżący proces sprzętu izolowane zezwolenia ustawienia zabezpieczeń, inaczej podniesieniu wyjątek.Calls Exit. |
EXP : ^T -> ^T |
Wykładniczy podaną liczbę. |
Błąd : string -> exn |
Tworzy Exception obiektu. |
failwith : string -> 'T |
Rzut Exception wyjątku. |
Pływak : ^T -> float |
Konwertuje argument 64-bitowych zmiennoprzecinkowych.Jest to bezpośrednie konwersji dla wszystkich typów liczbowych pierwotnych.Ciągi, dane wejściowe są konwertowane przy użyciu Parse z InvariantCulture ustawienia.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
float32 : ^T -> float32 |
Konwertuje argument 32-bitowych zmiennoprzecinkowych.Jest to bezpośrednie konwersji dla wszystkich typów liczbowych pierwotnych.Ciągi, dane wejściowe są konwertowane przy użyciu Parse z InvariantCulture ustawienia.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
podłogi : ^T -> ^T |
Podłoga danej liczby. |
FST : 'T1 * 'T2 -> 'T1 |
Zwraca pierwszy element krotka, fst (a,b) = a. |
hash : 'T -> int |
Funkcji mieszania rodzajowy, przeznaczone do zwracania wartości równe mieszania dla elementów, które są równe, według = operatora.Domyślnie będzie używać strukturalnych mieszania dla F# Unii, rekord i krotka typów, pełna zawartość typu mieszania.Dokładne zachowanie funkcji można dostosować na podstawie rodzaju implementując GetHashCode dla każdego typu. |
Identyfikator : 'T -> 'T |
Funkcja tożsamości. |
Ignoruj : 'T -> unit |
Ignoruj wartość.Służy to często wyrzucać wyniki obliczeń. |
incr : int ref -> unit |
Przyrost wartości tych odwołanie komórki zawierającej liczbą całkowitą. |
infinity : float |
OdpowiednikPositiveInfinity. |
infinityf : float32 |
OdpowiednikPositiveInfinity. |
int : ^T -> int |
Konwertuje argument całkowita 32-bitowa.Jest to bezpośrednie konwersji dla wszystkich typów liczbowych pierwotnych.Ciągi, dane wejściowe są konwertowane przy użyciu Parse z InvariantCulture ustawienia.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
Int16 : ^T -> int16 |
Konwertuje argument całkowita 16-bitowa.Jest to bezpośrednie konwersji dla wszystkich typów liczbowych pierwotnych.Ciągi, dane wejściowe są konwertowane przy użyciu Parse z InvariantCulture ustawienia.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
Int32 : ^T -> int32 |
Konwertuje argument całkowita 32-bitowa.Jest to bezpośrednie konwersji dla wszystkich typów liczbowych pierwotnych.Ciągi, dane wejściowe są konwertowane przy użyciu Parse) z InvariantCulture ustawienia.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
Int64 : ^T -> int64 |
Konwertuje argument całkowita 64-bitowa.Jest to bezpośrednie konwersji dla wszystkich typów liczbowych pierwotnych.Ciągi, dane wejściowe są konwertowane przy użyciu Parse z InvariantCulture ustawienia.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
invalidArg : string -> string -> 'T |
Rzut ArgumentException wyjątku. |
invalidOp : string -> 'T |
Rzut InvalidOperationException wyjątku. |
limitedHash : int -> 'T -> int |
Funkcja generic mieszania.Funkcja ta ma takie samo jak hash, jednak strukturalnych mieszania F# Unii, rekord i krotka domyślne typy zatrzymuje po osiągnięciu określonego limitu węzłów.Dokładne zachowanie funkcji można dostosować na podstawie rodzaju implementując GetHashCode dla każdego typu. |
Zablokuj : 'Lock -> (unit -> 'T) -> 'T |
Wykonanie funkcji jako region wzajemne wykluczenie jako blokady przy użyciu wartości wejściowej. |
Dziennik : ^T -> ^T |
Logarytm naturalny danej liczby. |
LOG10 : ^T -> ^T |
Logarytm o podstawie 10 danej liczby. |
MAX : 'T -> 'T -> 'T |
Maksymalna na podstawie porównania rodzajowe. |
min : 'T -> 'T -> 'T |
Na podstawie porównania rodzajowe minimum. |
NaN : float |
OdpowiednikNaN. |
nanf : float32 |
OdpowiednikNaN. |
nativeint : ^T -> nativeint |
Konwertuje argument całkowita macierzystym.Jest to bezpośrednie konwersji dla wszystkich typów liczbowych pierwotnych.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
nie : bool -> bool |
Zanegować wartość logiczną. |
nullArg : string -> 'T |
Rzut ArgumentNullException wyjątku. |
POWN : ^T -> int -> ^T |
Operatora przeciążonego zasilania.Jeśli n > 0 następnie równoważne x*...*x do n wystąpienia x. |
podnoszenie : Exception -> 'T |
Zgłasza wyjątek. |
REF : 'T -> 'T ref |
Tworzenie tych odwołanie komórki. |
reraise : unit -> 'T |
Rethrows wyjątku.Ten powinien zostać użyty tylko podczas obsługi wyjątku. |
zaokrąglanie : ^T -> ^T |
Zaokrąglić liczbę. |
SByte : ^T -> sbyte |
Konwertuje argument bajt podpisane.Jest to bezpośrednie konwersji dla wszystkich typów liczbowych pierwotnych.Ciągi, dane wejściowe są konwertowane przy użyciu Parse z InvariantCulture ustawienia.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
SEQ : seq<'T> -> seq<'T> |
Tworzy sekwencji, używając składni wyrażenie sekwencji. |
znak : ^T -> int |
Znak danej liczby. |
SIN : ^T -> ^T |
Sinus danej liczby. |
SINH : ^T -> ^T |
Sinus hiperboliczny danej liczby. |
sizeof : int |
Zwraca wewnętrzny rozmiar typu w bajtach.Na przykład sizeof<int> zwraca 4. |
snd : 'T1 * 'T2 -> 'T2 |
Zwraca drugi element krotka, snd (a,b) = b. |
SQRT : ^T -> ^T |
Pierwiastek kwadratowy z danej liczby. |
stderr : TextWriter |
Odczytuje wartość właściwości Error. |
stdin : TextReader |
Odczytuje wartość właściwości In. |
STDOUT : TextWriter |
Odczytuje wartość właściwości Out. |
ciąg : ^T -> string |
Konwertuje argument na ciąg znaków za pomocą ToString. |
tan : ^T -> ^T |
Tangens danej liczby. |
TANH : ^T -> ^T |
Tangens hiperboliczny danej liczby. |
obciąć : ^T -> ^T |
Przeciążony operator obcięciu. |
typedefof : Type |
Generuj Type reprezentacja definicji typu.Jeśli typ danych wejściowych jest wystąpienia typ rodzajowy, który jest następnie zwracają skojarzone z wszystkich wystąpień tych definicji typu rodzajowego. |
typeof : Type |
Generuj Type runtime reprezentacji typu statycznego.Statyczne typu nadal jest przechowywana na wartość zwracana. |
UInt16 : ^T -> uint16 |
Konwertuje argument liczba całkowita 16-bitowe bez znaku.Jest to bezpośrednie konwersji dla wszystkich typów liczbowych pierwotnych.Ciągi, dane wejściowe są konwertowane przy użyciu Parse z InvariantCulture ustawienia.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
uint32 : ^T -> uint32 |
Konwertuje argument liczba całkowita 32-bitowa bez znaku.Jest to bezpośrednie konwersji dla wszystkich typów liczbowych pierwotnych.Ciągi, dane wejściowe są konwertowane przy użyciu Parse z InvariantCulture ustawienia.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
UInt64 : ^T -> uint64 |
Konwertuje argument liczba całkowita bez znaku 64-bitowych.Jest to bezpośrednie konwersji dla wszystkich typów liczbowych pierwotnych.Ciągi, dane wejściowe są konwertowane przy użyciu Parse z InvariantCulture ustawienia.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
unativeint : ^T -> nativeint |
Konwertuje argument niepodpisane przy użyciu bezpośredniego konwersji dla wszystkich typów liczbowych pierwotnych macierzystym liczbę całkowitą.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
unbox : obj -> 'T |
Unboxes wartość jednoznacznie.Jest to odwrotność box, unbox<'T>(box<'T> a) jest równe a. |
za pomocą : 'T -> ('T -> 'U) -> 'U |
Oczyścić zasoby skojarzone z obiektem wejściowych po zakończeniu danej funkcji.Oczyszczanie występuje nawet wtedy, gdy jest wyjątek kodem chronionych. |
Desenie Active
Deseń Active |
Opis |
|---|---|
( |Failure|_| ) : exn -> string option |
Dopasowuje Exception obiektów, których typ runtime jest dokładnieException. |
( |KeyValue| ) : KeyValuePair<'Key,'Value> -> 'Key * 'Value |
Aktywne wzorzec wartości typuKeyValuePair |
Platformy
Windows 8, Windows 7, Windows Server 2012 Windows Server 2008 R2
Informacje o wersji
F# Core wersji biblioteki
Obsługiwane: 2.0, 4.0, przenośne