Share via


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

Siehe auch

Weitere Ressourcen

Microsoft.FSharp.Core-Namespace (F#)