Operators.Checked — Moduł (F#)
Ten moduł zawiera podstawowe operacje arytmetyczne ze sprawdzeniem przepełnienia.
Przestrzeń nazw/Ścieżka modułu: Microsoft.FSharp.Core.Operators
Zestaw: FSharp.Core (w FSharp.Core.dll)
module Checked
Wartości
Wartość |
Opis |
|---|---|
( * ) : ^T1 -> ^T2 -> ^T3 |
Przeciążony operator mnożenia (kontrole dla przepełnienia). |
( + ) : ^T1 -> 'T2 -> 'T3 |
Przeciążony operator dodawania (kontrole dla przepełnienia). |
( - ) : ^T1 -> ^T2 -> ^T3 |
Przeciążony operator odejmowania (kontrole dla przepełnienia). |
( ~- ) : ^T -> ^T |
Przeciążona negacja jednoargumentowa (kontrole dla przepełnienia). |
byte : ^T -> byte |
Konwertuje argument na byte.Jest to bezpośrednia, sprawdzona konwersja dla wszystkich pierwotnych typów liczbowych.W przypadku ciągów, dane wejściowe są konwertowane przy użyciu Parse z ustawieniami InvariantCulture.W przeciwnym razie operacja wymaga metody odpowiedniej konwersji statycznej w typie danych wejściowych. |
char : ^T -> char |
Konwertuje argument na char.Numeryczne dane wejściowe są konwertowane przy użyciu zaznaczonej konwersji zgodnie z kodowaniem znaków UTF-16.Ciąg danych wejściowych musi zawierać dokładnie jeden znak.Dla innych typów danych wejściowych, operacja wymaga odpowiedniej metody konwersji statycznej do typu danych wejściowych. |
int : ^T -> int |
Konwertuje argument na int.Jest to bezpośrednia, sprawdzona konwersja dla wszystkich pierwotnych typów liczbowych.W przypadku ciągów, dane wejściowe są konwertowane przy użyciu Parse z ustawieniami InvariantCulture.W przeciwnym razie operacja wymaga metody odpowiedniej konwersji statycznej w typie danych wejściowych. |
int16 : ^T -> int16 |
Konwertuje argument na int16.Jest to bezpośrednia, sprawdzona konwersja dla wszystkich pierwotnych typów liczbowych.W przypadku ciągów, dane wejściowe są konwertowane przy użyciu Parse z ustawieniami InvariantCulture.W przeciwnym razie operacja wymaga metody odpowiedniej konwersji statycznej w typie danych wejściowych. |
int32 : ^T -> int32 |
Konwertuje argument na int32.Jest to bezpośrednia, sprawdzona konwersja dla wszystkich pierwotnych typów liczbowych.W przypadku ciągów, dane wejściowe są konwertowane przy użyciu Parse z ustawieniami InvariantCulture.W przeciwnym razie operacja wymaga metody odpowiedniej konwersji statycznej w typie danych wejściowych. |
int64 : ^T -> int64 |
Konwertuje argument na int64.Jest to bezpośrednia, sprawdzona konwersja dla wszystkich pierwotnych typów liczbowych.W przypadku ciągów, dane wejściowe są konwertowane przy użyciu Parse z ustawieniami InvariantCulture.W przeciwnym razie operacja wymaga metody odpowiedniej konwersji statycznej w typie danych wejściowych. |
nativeint : ^T -> nativeint |
Konwertuje argument na nativeint.Jest to bezpośrednia, sprawdzona konwersja dla wszystkich pierwotnych typów liczbowych.W przeciwnym razie operacja wymaga metody odpowiedniej konwersji statycznej w typie danych wejściowych. |
sbyte : ^T -> sbyte |
Konwertuje argument na sbyte.Jest to bezpośrednia, sprawdzona konwersja dla wszystkich pierwotnych typów liczbowych.W przypadku ciągów, dane wejściowe są konwertowane przy użyciu Parse z ustawieniami InvariantCulture.W przeciwnym razie operacja wymaga metody odpowiedniej konwersji statycznej w typie danych wejściowych. |
uint16 : ^T -> uint16 |
Konwertuje argument na uint16.Jest to bezpośrednia, sprawdzona konwersja dla wszystkich pierwotnych typów liczbowych.W przypadku ciągów, dane wejściowe są konwertowane przy użyciu Parse z ustawieniami InvariantCulture.W przeciwnym razie operacja wymaga metody odpowiedniej konwersji statycznej w typie danych wejściowych. |
uint32 : ^T -> uint32 |
Konwertuje argument na uint32.Jest to bezpośrednia, sprawdzona konwersja dla wszystkich pierwotnych typów liczbowych.W przypadku ciągów, dane wejściowe są konwertowane przy użyciu Parse z ustawieniami InvariantCulture.W przeciwnym razie operacja wymaga metody odpowiedniej konwersji statycznej w typie danych wejściowych. |
uint64 : ^T -> uint64 |
Konwertuje argument na uint64.Jest to bezpośrednia, sprawdzona konwersja dla wszystkich pierwotnych typów liczbowych.W przypadku ciągów, dane wejściowe są konwertowane przy użyciu Parse z ustawieniami InvariantCulture.W przeciwnym razie operacja wymaga metody odpowiedniej konwersji statycznej w typie danych wejściowych. |
unativeint : ^T -> unvativeint |
Konwertuje argument na unativeint.Jest to bezpośrednia, sprawdzona konwersja dla wszystkich pierwotnych typów liczbowych.W przeciwnym razie operacja wymaga metody odpowiedniej konwersji statycznej w typie danych wejściowych. |
Platformy
Windows 8, Windows 7, Windows Server 2012, Windows Server 2008 R2
Informacje o wersji
Wersje podstawowe biblioteki języka F#
Obsługiwane przez: 2.0, 4.0, przenośne