Moduł Operators.Checked (F#)
Ten moduł zawiera podstawowe operacje arytmetyczne z kontroli przepełnienia.
Ścieżka obszaru nazw/modułu: Microsoft.FSharp.Core.Operators
Zestaw: FSharp.Core (w FSharp.Core.dll)
module Checked
Wartości
Wartość |
Opis |
|---|---|
( * ) : ^T1 -> ^T2 -> ^T3 |
Operator mnożenia przeciążone (kontrole dla przepełnienia). |
( + ) : ^T1 -> 'T2 -> 'T3 |
Dodanie Przeciążony operator (kontrole dla przepełnienia). |
( - ) : ^T1 -> ^T2 -> ^T3 |
Operator odejmowania przeciążone (kontrole dla przepełnienia). |
( ~- ) : ^T -> ^T |
Negacja jednoargumentowe przeciążone (kontrole dla przepełnienia). |
bajt : ^T -> byte |
Konwertuje argument byte.Jest to bezpośrednie, zaznaczone 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. |
CHAR : ^T -> char |
Konwertuje argument char.Numeryczne dane wejściowe są konwertowane przy użyciu zaznaczone konwersji zgodnie z kodowania UTF-16 znaków.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. |
int : ^T -> int |
Konwertuje argument int.Jest to bezpośrednie, zaznaczone 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 int16.Jest to bezpośrednie, zaznaczone 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 int32.Jest to bezpośrednie, zaznaczone 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 int64.Jest to bezpośrednie, zaznaczone 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. |
nativeint : ^T -> nativeint |
Konwertuje argument nativeint.Jest to bezpośrednie, zaznaczone konwersji dla wszystkich typów liczbowych pierwotnych.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
SByte : ^T -> sbyte |
Konwertuje argument sbyte.Jest to bezpośrednie, zaznaczone 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. |
UInt16 : ^T -> uint16 |
Konwertuje argument uint16.Jest to bezpośrednie, zaznaczone 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 uint32.Jest to bezpośrednie, zaznaczone 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 uint64.Jest to bezpośrednie, zaznaczone 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 -> unvativeint |
Konwertuje argument unativeint.Jest to bezpośrednie, zaznaczone konwersji dla wszystkich typów liczbowych pierwotnych.W przeciwnym razie operacja wymaga metoda odpowiednich statycznych konwersji na typ danych wejściowych. |
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