Core.Operators-Modul (F#)
Grundlegende F#-Operatoren. Dieses Modul wird in jedem F#-Code automatisch geöffnet.
Namespace/Modulpfad: Microsoft.FSharp.Core
Assembly: FSharp.Core (in FSharp.Core.dll)
[<AutoOpen>]
module Operators
Hinweise
Eine Übersicht der Operatoren in F# erhalten Sie unter Symbol- und Operatorenreferenz (F#).
Module
Modul |
Beschreibungen |
---|---|
Modul Checked |
Dieses Modul enthält die grundlegenden arithmetischen Operationen mit Überlaufprüfungen. |
Modul OperatorIntrinsics |
Ein Modul mit systeminternen Funktionen des Compilers für effiziente Implementierungen von F#-Ganzzahlbereichen und dynamische Aufrufe anderer F#-Operatoren. |
Modul Unchecked |
Dieses Modul enthält grundlegende Operationen, von denen keine Laufzeit und/oder statischen Prüfungen angewendet werden. |
Werte
Value |
Beschreibungen |
---|---|
( ! ) : 'T ref -> 'T |
Dereferenziert eine änderbare Referenzzelle. |
( % ) : ^T1 -> ^T2 -> ^T3 |
Überladener Modulo-Operator. |
( &&& ) : ^T -> ^T -> ^T |
Überladener logischer AND-Operator. |
( * ) : ^T1 -> ^T2 -> ^T3 |
Überladener Multiplikationsoperator. |
( ** ) : ^T -> ^U -> ^T |
Überladener Potenzierungsoperator. |
( + ) : ^T1 -> ^T2 -> ^T3 |
Überladener Additionsoperator. |
( - ) : ^T1 -> ^T2 -> ^T3 |
Überladener Subtraktionsoperator. |
( .. ) : ^T -> ^T -> seq<^T> |
Der standardmäßige überladene Bereichsoperator, z. B. [n..m] für Listen, seq {n..m} für Sequenzen. |
( .. .. ) : ^T -> ^Step -> ^T -> seq<^T> |
Der überladene Standardoperator zum Überspringen des Bereichs, z. B. [n..skip..m] für Listen, seq {n..skip..m} für Sequenzen. |
( / ) : ^T1 -> ^T2 -> ^T3 |
Überladener Divisionsoperator. |
( := ) : 'T ref -> 'T -> unit |
Weist zu einer änderbaren Referenzzelle zu. |
( < ) : 'T -> 'T -> bool |
Struktureller Vergleich auf kleiner als. |
( << ) : ('T2 -> 'T3) -> ('T1 -> 'T2) -> 'T1 -> 'T3 |
Verfasst zwei Funktionen, wobei die Funktion auf der rechten Seite zuerst angewendet wird. |
( <<< ) : ^T -> int32 -> ^T |
Überladener Bytelinksschiebeoperator zum Verschieben um eine angegebene Anzahl von Bits. |
( <= ) : 'T -> 'T -> bool |
Struktureller Vergleich auf kleiner oder gleich. |
( <> ) : 'T -> 'T -> bool |
Strukturelle Ungleichheit. |
( <| ) : ('T -> 'U) -> 'T -> 'U |
Wendet eine Funktion auf einen Wert an, wobei die Funktion sich links und der Wert sich rechts befindet. |
( <|| ) : ('T1 -> 'T2 -> 'U) -> 'T1 * 'T2 -> 'U |
Wendet eine Funktion auf zwei Werte an, wobei die Werte als Paar auf der rechten Seite angegeben werden und die Funktion auf der linken Seite angegeben wird. |
( <||| ) : ('T1 -> 'T2 -> 'T3 -> 'U) -> 'T1 * 'T2 * 'T3 -> 'U |
Wendet eine Funktion auf drei Werte als Tripel auf der rechten Seite mit der Funktion auf der linken Seite an. |
( = ) : 'T -> 'T -> bool |
Strukturgleichheit. |
( > ) : 'T -> 'T -> bool |
Strukturell größer als. |
( >= ) : 'T -> 'T -> bool |
Strukturell größer als oder gleich. |
( >> ) : ('T1 -> 'T2) -> ('T2 -> 'T3) -> 'T1 -> 'T3 |
Verfasst zwei Funktionen, wobei die Funktion auf der linken Seite zuerst angewendet wird. |
( >>> ) : ^T -> int32 -> ^T |
Überladener Byterechtsschiebeoperator zum Verschieben um eine angegebene Anzahl von Bits. |
( @ ) : 'T list -> 'T list -> 'T list |
Verkettet zwei Listen. |
( ^ ) : string -> string -> string |
Verkettet zwei Zeichenfolgen. Der Operator '+' kann ebenfalls verwendet werden. |
( ^^^ ) : ^T -> ^T -> ^T |
Überladener logischer XOR-Operator. |
( |> ) : 'T1 -> ('T1 -> 'U) -> 'U |
Wendet eine Funktion auf einen Wert an, wobei die Funktion sich rechts und der Wert sich links befindet. |
( ||> ) : 'T1 * 'T2 -> ('T1 -> 'T2 -> 'U) -> 'U |
Wendet eine Funktion auf zwei Werte an, wobei die Werte als Paar auf der linken Seite angegeben werden und die Funktion auf der rechten Seite angegeben wird. |
( ||| ) : ^T -> ^T -> ^T |
Überladener logischer OR-Operator. |
( |||> ) : 'T1 * 'T2 * 'T3 -> ('T1 -> 'T2 -> 'T3 -> 'U) -> 'U |
Wendet eine Funktion auf drei Werte als Tripel auf der linken Seite mit der Funktion auf der rechten Seite an. |
( ~+ ) : ^T -> ^T |
Überladener Präfix = +-Operator. |
( ~- ) : ^T -> ^T |
Überladene unäre Negation. |
( ~~~ ) : ^T -> ^T |
Überladener logischer NOT-Operator. |
abs : ^T -> ^T |
Absoluter Wert der angegebenen Zahl. |
acos : ^T -> ^T |
Der Arkuskosinus der angegebenen Zahl. |
asin : ^T -> ^T |
Der Arkussinus der angegebenen Zahl. |
atan : ^T -> ^T |
Der Arkustangens der angegebenen Zahl. |
atan2 : ^T1 -> ^T2 -> 'T2 |
Arkustangens von x/y, wobei x und y getrennt angegeben werden. |
box : 'T -> obj |
Schachtelt einen stark typisierten Wert. |
byte : ^T -> byte |
Konvertiert das Argument in einen Bytewert. Dies ist eine direkte Konvertierung für alle primitiven numerischen Typen. Für Zeichenfolgen wird die Eingabe mit Parse mit InvariantCulture-Einstellungen konvertiert. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
ceil : ^T -> ^T |
Höchstwert der angegebenen Zahl. |
char : ^T -> char |
Konvertiert das Argument in einen Zeichenwert. Numerische Eingaben werden entsprechend der UTF-16-Zeichencodierung konvertiert. Zeichenfolgeneingaben müssen genau ein Zeichen lang sein. Bei anderen Eingabetypen erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
compare : 'T -> 'T -> int |
Generischer Vergleich. |
cos : ^T -> ^T |
Kosinus der angegebenen Zahl. |
cosh : ^T -> ^T |
Der Hyperbelkosinus der angegebenen Zahl. |
decimal : ^T -> decimal |
Konvertiert das Argument unter Verwendung einer direkten Konvertierung für alle primitiven numerischen Typen in Decimal. Für Zeichenfolgen wird die Eingabe mit Parse mit InvariantCulture-Einstellungen konvertiert. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
decr : int ref -> unit |
Dekrementiert eine änderbare Referenzzelle, die eine ganze Zahl enthält. |
defaultArg : 'T option -> 'T -> 'T |
Wird verwendet, um einen Standardwert für ein optionales Argument in der Implementierung einer Funktion anzugeben. |
enum : int32 -> ^U |
Konvertiert das Argument in einen bestimmten enum-Typ. |
exit : int -> 'T |
Beendet den aktuellen von der Hardware isolierten Prozess, wenn die Sicherheitseinstellungen dies zulassen, und löst andernfalls eine Ausnahme aus. Aufrufen von Exit. |
exp : ^T -> ^T |
Exponentialfunktion der angegebenen Zahl. |
Fehler : string -> exn |
Erstellt ein Exception-Objekt. |
failwith : string -> 'T |
Auslösen einer Exception-Ausnahme. |
float : ^T -> float |
Konvertiert das Argument in einen 64-Bit-Gleitkommawert. Dies ist eine direkte Konvertierung für alle primitiven numerischen Typen. Für Zeichenfolgen wird die Eingabe mit Parse mit InvariantCulture-Einstellungen konvertiert. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
float32 : ^T -> float32 |
Konvertiert das Argument in einen 32-Bit-Gleitkommawert. Dies ist eine direkte Konvertierung für alle primitiven numerischen Typen. Für Zeichenfolgen wird die Eingabe mit Parse mit InvariantCulture-Einstellungen konvertiert. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
floor : ^T -> ^T |
Der niedrigste Wert der angegebenen Zahl. |
fst : 'T1 * 'T2 -> 'T1 |
Gibt das erste Element eines Tupels zurück: fst (a,b) = a. |
hash : 'T -> int |
Eine generische Hashfunktion zur Rückgabe gleicher Hashwerte für Elemente, die gemäß dem Operator = gleich sind. Standardmäßig wird strukturelles Hashing für Union-, Datensatz- und Tupeltypen von F# verwendet, und der vollständige Inhalt des Typs wird gehasht. Das genaue Verhalten der Funktion kann für jeden Typ angepasst werden, indem GetHashCode für jeden Typ implementiert wird. |
id : 'T -> 'T |
Die Identitätsfunktion. |
ignore : 'T -> unit |
Ignoriert den übergebenen Wert. Diese Funktion wird oft verwendet, um die Ergebnisse einer Berechnung zu verwerfen. |
incr : int ref -> unit |
Inkrementiert eine änderbare Referenzzelle, die eine ganze Zahl enthält. |
infinity : float |
Entspricht PositiveInfinity. |
infinityf : float32 |
Entspricht PositiveInfinity. |
int : ^T -> int |
Konvertiert das Argument in eine 32-Bit-Ganzzahl mit Vorzeichen. Dies ist eine direkte Konvertierung für alle primitiven numerischen Typen. Für Zeichenfolgen wird die Eingabe mit Parse mit InvariantCulture-Einstellungen konvertiert. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
int16 : ^T -> int16 |
Konvertiert das Argument in eine 16-Bit-Ganzzahl mit Vorzeichen. Dies ist eine direkte Konvertierung für alle primitiven numerischen Typen. Für Zeichenfolgen wird die Eingabe mit Parse mit InvariantCulture-Einstellungen konvertiert. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
int32 : ^T -> int32 |
Konvertiert das Argument in eine 32-Bit-Ganzzahl mit Vorzeichen. Dies ist eine direkte Konvertierung für alle primitiven numerischen Typen. Für Zeichenfolgen wird die Eingabe mit Parse) und InvariantCulture-Einstellungen konvertiert. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
int64 : ^T -> int64 |
Konvertiert das Argument in eine 64-Bit-Ganzzahl mit Vorzeichen. Dies ist eine direkte Konvertierung für alle primitiven numerischen Typen. Für Zeichenfolgen wird die Eingabe mit Parse mit InvariantCulture-Einstellungen konvertiert. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
invalidArg : string -> string -> 'T |
Auslösen einer ArgumentException-Ausnahme. |
invalidOp : string -> 'T |
Auslösen einer InvalidOperationException-Ausnahme. |
limitedHash : int -> 'T -> int |
Eine generische Hashfunktion. Diese Funktion weist das gleiche Verhalten auf wie hash. Das standardmäßige strukturelle Hashing für Union-, Datensatz- und Tupeltypen von F# wird jedoch beendet, wenn der angegebene Knotengrenzwert erreicht ist. Das genaue Verhalten der Funktion kann für jeden Typ angepasst werden, indem GetHashCode für jeden Typ implementiert wird. |
lock : 'Lock -> (unit -> 'T) -> 'T |
Führt die Funktion als sich gegenseitig ausschließenden Bereich aus, wobei der Eingabewert als Sperre verwendet wird. |
log : ^T -> ^T |
Der natürliche Logarithmus der angegebenen Zahl. |
log10 : ^T -> ^T |
Der Logarithmus der angegebenen Zahl zur Basis 10. |
max : 'T -> 'T -> 'T |
Das Maximum auf Grundlage eines generischen Vergleichs. |
min : 'T -> 'T -> 'T |
Der minimale Wert auf der Basis eines generischen Vergleichs. |
nan : float |
Entspricht NaN. |
nanf : float32 |
Entspricht NaN. |
nativeint : ^T -> nativeint |
Konvertiert das Argument in eine systemeigene ganze Zahl mit Vorzeichen. Dies ist eine direkte Konvertierung für alle primitiven numerischen Typen. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
not : bool -> bool |
Negiert einen logischen Wert. |
nullArg : string -> 'T |
Auslösen einer ArgumentNullException-Ausnahme. |
pown : ^T -> int -> ^T |
Überladener Potenzoperator. Wenn n > 0, dann entspricht dies x*...*x bei n Vorkommen von x. |
raise : Exception -> 'T |
Löst eine Ausnahme aus. |
ref : 'T -> 'T ref |
Erstellt eine änderbare Referenzzelle. |
reraise : unit -> 'T |
Löst eine Ausnahme erneut aus. Darf nur beim Behandeln einer Ausnahme verwendet werden. |
round : ^T -> ^T |
Rundet die angegebene Zahl. |
sbyte : ^T -> sbyte |
Konvertiert das Argument in einen Bytewert mit Vorzeichen. Dies ist eine direkte Konvertierung für alle primitiven numerischen Typen. Für Zeichenfolgen wird die Eingabe mit Parse mit InvariantCulture-Einstellungen konvertiert. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
seq : seq<'T> -> seq<'T> |
Erstellt eine Sequenz mit Syntax für Sequenzausdrücke. |
sign : ^T -> int |
Vorzeichen der angegebenen Zahl. |
sin : ^T -> ^T |
Der Sinus der angegebenen Zahl. |
sinh : ^T -> ^T |
Der Hyperbelsinus der angegebenen Zahl. |
sizeof : int |
Gibt die interne Größe eines Typs in Bytes zurück. Beispiel: sizeof<int> gibt 4 zurück. |
snd : 'T1 * 'T2 -> 'T2 |
Gibt das zweite Element eines Tupels zurück: snd (a,b) = b. |
sqrt : ^T -> ^T |
Die Quadratwurzel der angegebenen Zahl. |
stderr : TextWriter |
Liest den Wert der Error-Eigenschaft. |
stdin : TextReader |
Liest den Wert der In-Eigenschaft. |
stdout : TextWriter |
Liest den Wert der Out-Eigenschaft. |
string : ^T -> string |
Konvertiert das Argument mit ToString in eine Zeichenfolge. |
tan : ^T -> ^T |
Tangens der angegebenen Zahl. |
tanh : ^T -> ^T |
Der Hyperbeltangens der angegebenen Zahl. |
truncate : ^T -> ^T |
Überladener truncate-Operator. |
typedefof : Type |
Generieren Sie eine Type-Darstellung für eine Typdefinition. Wenn es sich beim Eingabetyp um die Instanziierung eines generischen Typs handelt, wird die generische Typdefinition für alle diese Instanziierungen zurückgegeben. |
typeof : Type |
Generieren Sie eine Type-Laufzeitdarstellung eines statischen Typs. Der statische Typ wird für den zurückgegebenen Wert beibehalten. |
uint16 : ^T -> uint16 |
Konvertiert das Argument in eine 16-Bit-Ganzzahl ohne Vorzeichen. Dies ist eine direkte Konvertierung für alle primitiven numerischen Typen. Für Zeichenfolgen wird die Eingabe mit Parse mit InvariantCulture-Einstellungen konvertiert. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
uint32 : ^T -> uint32 |
Konvertiert das Argument in eine 32-Bit-Ganzzahl ohne Vorzeichen. Dies ist eine direkte Konvertierung für alle primitiven numerischen Typen. Für Zeichenfolgen wird die Eingabe mit Parse mit InvariantCulture-Einstellungen konvertiert. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
uint64 : ^T -> uint64 |
Konvertiert das Argument in eine 64-Bit-Ganzzahl ohne Vorzeichen. Dies ist eine direkte Konvertierung für alle primitiven numerischen Typen. Für Zeichenfolgen wird die Eingabe mit Parse mit InvariantCulture-Einstellungen konvertiert. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
unativeint : ^T -> nativeint |
Konvertiert das Argument mit einer direkten Konvertierung für alle primitiven numerischen Typen in eine systemeigene ganze Zahl ohne Vorzeichen. Andernfalls erfordert die Operation das Vorhandensein einer geeigneten statischen Konvertierungsmethode für den Eingabetyp. |
unbox : obj -> 'T |
Konvertiert mittels Unboxing einen stark typisierten Wert. Dies ist das Gegenteil von box, unbox<'T>(box<'T> a) ergibt a. |
using : 'T -> ('T -> 'U) -> 'U |
Bereinigt nach dem Abschluss der angegebenen Funktion Ressourcen, die dem Eingabeobjekt zugeordnet sind. Die Bereinigung erfolgt auch, wenn durch den geschützten Code eine Ausnahme ausgelöst wird. |
Aktive Muster
Aktives Muster |
Beschreibung |
---|---|
( |Failure|_| ) : exn -> string option |
Findet eine Übereinstimmung mit Exception-Objekten, deren Laufzeittyp genau Exception. ist |
( |KeyValue| ) : KeyValuePair<'Key,'Value> -> 'Key * 'Value |
Ein aktives Muster zur Übereinstimmung von Werten des Typs KeyValuePair<TKey, TValue> |
Plattformen
Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2
Versionsinformationen
F#-Runtime
Unterstützt in: 2.0, 4.0
Silverlight
Unterstützt in: 3