Microsoft.FSharp.Core — Przestrzeń nazw (F#)
Ten obszar nazw zawiera funkcje, które obsługuje F# funkcjonalności, łącznie z pierwotnych języka, operatorów, atrybuty, typów pierwotnych, ciągi znaków i sformatowane We/Wy.
Ścieżka obszaru nazw/modułu: Microsoft.FSharp.Core
Zgromadzenie: FSharp.Core (w FSharp.Core.dll)
namespace Microsoft.FSharp.Core
Moduły
Moduł |
Opis |
|---|---|
Moduł ExtraTopLevelOperators |
Dodatkowe F# operatorów i typów, które są dostępne bez otwierania modułu lub obszaru nazw. |
Moduł LanguagePrimitives |
Język pierwotnych wersji językowej F# |
Moduł NumericLiterals |
Zapewnia domyślne implementacje F# liczbowe składni literału literały fo formularz 'dddI'. |
Moduł operatory |
Podstawowe F# operatorów.Moduł ten jest automatycznie otwierany w cały kod F#. |
Moduł OptimizedClosures |
Moduł realizacji, używane do przechowywania prywatnych niektóre implementacje wywołania wartość funkcji. |
Moduł opcji |
Podstawowe operacje, opcje. |
Moduł Printf |
Extensible style printf formatowanie liczb i inne typy danych |
Moduł ciąg |
Funkcjonalne operatorów programowania przetwarzania ciągu.Dalszych operacji w ciągu są dostępne za pośrednictwem funkcji Członkowskich ciągi i inne funkcje w String i Regex typów. |
Definicje typu
Typ |
Opis |
|---|---|
Typ [,] <'T> |
Cztery tablice jednowymiarowe, zazwyczaj od zera.Na zero tablice mogą być tworzone przy użyciu metod na typ System.Array. |
Typ [,] <'T> |
Trzy tablice jednowymiarowe, zazwyczaj od zera.Na zero tablice mogą być tworzone przy użyciu metod na typ System.Array. |
Typ [,] <'T> |
Dwie tablice jednowymiarowe, zazwyczaj od zera. |
Typ [] <'T> |
Pojedynczy tablic wymiarowe, od zera, napisane int[], string[] i tak dalej. |
Dodanie ten atrybut w definicji klasy czyni abstrakcyjny, co oznacza, że konieczne implementuje metody jego.Nie można skonstruować bezpośrednio wystąpienia klasy abstrakcyjnej. |
|
Dodanie do typu ten atrybut pozwala 'null' literał być używane dla typu F# kodem.Ten atrybut mogą być dodawane do F#-określone typy klas i interfejsów. |
|
Ten atrybut jest używany do dwóch celów.Po zastosowaniu do zestawu, powinna mieć argument ciąg i tego argumentu musi wskazywać prawidłowe modułu lub obszaru nazw, w tym zestawie.Skompilowany z odwołania do tego zestawu plików kodu źródłowego są przetwarzane w środowisku, gdzie podana ścieżka jest automatycznie oepned. |
|
Dodanie tego atrybutu typu wartości "false" wyłącza zachowań, gdzie F# czyni typu Serializable domyślnie. |
|
Typ byref <'T> |
Reprezentuje zarządzanych wskaźnik F# kodu. |
Typy pomocnika dla aktywnego desenie z opcjami 7. |
|
Typy pomocnika dla aktywnego wzorów za pomocą opcji 6. |
|
Typy pomocnika dla aktywnego desenie z opcjami 5. |
|
Typy pomocnika dla aktywnego wzorów za pomocą opcji 4. |
|
Typy pomocnika dla aktywnego desenie z opcjami 3. |
|
Typy pomocnika dla aktywnego wzorów za pomocą opcji 2. |
|
Typ ClassAttribute |
Dodanie do typu tego atrybutu powoduje reprezentowane za pomocą klasy CLI. |
Dodawanie tego atrybutu właściwości typu zdarzenia powoduje go skompilować przy użyciu jako zdarzeń metadanych CLI, poprzez syntaktyczne tłumaczenia na parę metody 'add_EventName' i 'remove_EventName'. |
|
Dodawanie tego atrybutu typu rekordu powoduje kompilację do reprezentacji CLI z domyślnego konstruktora z właściwości pobierające i ustawiające metody. |
|
Ten atrybut jest używany do wskazują, że typ rodzajowy kontenera spełnia ograniczenia "porównanie" F# tylko, jeśli argument rodzajowy również spełnia ten warunek ograniczający.Na przykład dodanie tego atrybutu do parametru t w definicji typu c <'T> oznacza, że typ c <X> Porównanie obsługuje tylko, jeśli typ x obsługuje także porównanie i inne warunki dla <X> C do obsługi porównania są również spełnione.Typ c <'T> mogą być nadal używane w innych argumentów typu, ale typu, na przykład c <(int-> int) > nie będzie obsługiwał porównanie typu (int - > int) jest typem funkcji F# i nie obsługuje porównania. |
|
Ten atrybut jest generowana automatycznie przez kompilator F# funkcje znacznika i członków, które zaakceptować częściowe stosowanie niektórych swoich argumentów i pozostały funkcja |
|
Ten atrybut jest wstawiane automatycznie przez kompilator F# typów znaczników i metod w generowanym kodzie CLI z flagi wskazujące korespondencję z oryginalnego źródła konstrukcje.Jest on używany przez funkcje w obszarze nazw Microsoft.FSharp.Reflection do mapowania wstecznego konstrukcje skompilowany do ich oryginalnych formularzach.Nie jest przeznaczony do użycia z kodu użytkownika. |
|
Atrybut ten służy do korygowania runtime reprezentacji typu.Na przykład, może być używany należy zauważyć, że null reprezentacji mogą używane dla typu.Dotyczy to, jak są kompilowane Niektóre konstrukcje. |
|
Określa jeden lub więcej korekt do reprezentacji skompilowanego typu F# lub członka. |
|
Ten atrybut jest wstawiane automatycznie przez kompilator F# metod znaczników, które podano atrybutu 'CompiledName'.Nie jest przeznaczony do użycia z kodu użytkownika. |
|
Dodając atrybut do definicji wartości lub funkcji w module F# zmienia nazwę skompilowanego kodu CLI wartość użyta. |
|
Wskazuje, że wiadomość należy emitowane, gdy kod źródłowy F# używa tej konstrukcji. |
|
Dodanie tego atrybutu typu wskazuje, że jest typu realizacji porównanie zdefiniowane przez użytkownika. |
|
Dodanie tego atrybutu typu wskazuje, że jest typu realizacji równości zdefiniowane przez użytkownika. |
|
Wskazuje członka typu obliczeń konstruktora jest operator niestandardową kwerendę i wskazuje nazwę tego operatora. |
|
Typ liczb dziesiętnych o jednostkę miary.Jednostka miary jest wymazywane skompilowanego kodu i wartości tego typu są analizowane przy użyciu odbicia.Typ jest odpowiednikiem representationally System.Decimal. |
|
Dodanie tego atrybutu do dyskryminowanych Unii na wartość false wyłącza generacji standardowych pomocnika Członkowskie tester, Konstruktor i akcesor członków klasy CLI wygenerowany dla tego typu. |
|
Dodanie tego atrybutu do deklaracji pole oznacza pole nie został zainicjowany.Podczas typu sprawdzania ograniczenia lampka że typ pola obsługuje 'null'.Jeśli ma wartość "kontrola" false ograniczenie nie jest potwierdzony. |
|
Dodawanie funkcji ten atrybut wskazuje, że jest entrypoint dla aplikacji.Jeśli nieobecności nie jest speficied dla EXE, a następnie inicjowania niejawny w wiązania modułu ostatniego pliku w sekwencji kompilacji są używane jako element entrypoint. |
|
Ten atrybut jest używany do wskazują, że typ rodzajowy kontenera spełnia ograniczenia "równości" F# tylko, jeśli argument rodzajowy również spełnia ten warunek ograniczający.Na przykład dodanie tego atrybutu do parametru t w definicji typu c <'T> oznacza, że typ c <X> Jeśli typ x obsługuje także równości i inne warunki dla c <X> obsługuje tylko równości wspieranie równości są również spełnione.Typ c <'T> mogą być nadal używane w innych argumentów typu, ale typu, na przykład c <(int-> int) > nie będzie wspierać równość typu (int - > int) jest typem funkcji F# i nie obsługuje równości. |
|
Ten atrybut jest używany do tagu wartości, które są częścią funkcji biblioteki doświadczalnych. |
|
Typ liczby ruchomy, o jednostkę miary.Jednostka miary jest wymazywane skompilowanego kodu i wartości tego typu są analizowane przy użyciu odbicia.Typ jest odpowiednikiem representationally System.Double. |
|
Typ liczby ruchomy, o jednostkę miary.Jednostka miary jest wymazywane skompilowanego kodu i wartości tego typu są analizowane przy użyciu odbicia.Typ jest odpowiednikiem representationally System.Single. |
|
Typ interfejsu wiersza polecenia używany do reprezentowania wartości funkcji F#.Ten typ nie jest zazwyczaj używany bezpośrednio, chociaż może służyć innych języków CLI. |
|
Ten atrybut jest dodawany uzyskane wskazuje wersję schematu danych używany do kodowania dodatkowe F# informacje w zasobie dołączone do zestawów skompilowany F# bibliotek. |
|
Typ FSharpTypeFunc |
Typ CLI używana do reprezentowania wartości funkcji biletu typu F#.Ten typ jest do użytku przez F# skompilowany kod. |
Typ FuncConvert |
Funkcje pomocnika do konwertowania F# pierwszej klasy działać wartości do i z representaions CLI funkcji za pomocą delegatów. |
Dodawanie wartości innych funkcji z parametry rodzajowe ten atrybut wskazuje, że kod rodzajowy poprzez wnioskowanie typu zastosowania konstrukcji może powodować powstanie. |
|
Typ ilsigptr <'T> |
Ten typ jest do użytku wewnętrznego przez generator kodu F#. |
Typ int < "środek > |
Typ liczby 32-bitowa liczba całkowita ze znakiem, o jednostkę miary.Jednostka miary jest wymazywane skompilowanego kodu i wartości tego typu są analizowane przy użyciu odbicia.Typ jest odpowiednikiem representationally System.Int32. |
Typ całkowita 16-bitowych liczb, o jednostkę miary.Jednostka miary jest wymazywane skompilowanego kodu i wartości tego typu są analizowane przy użyciu odbicia.Typ jest odpowiednikiem representationally System.Int16. |
|
Typ całkowita 64-bitowych liczb, o jednostkę miary.Jednostka miary jest wymazywane skompilowanego kodu i wartości tego typu są analizowane przy użyciu odbicia.Typ jest odpowiednikiem representationally System.Int64. |
|
Dodanie do typu tego atrybutu powoduje reprezentowane przy użyciu interfejsu CLI. |
|
Typ LiteralAttribute |
Dodanie tego atrybutu na wartość powoduje on zostać skompilowany jako literał stałą CLI. |
Dodanie tego atrybutu typu powoduje ona interpretowana jako typ rafinowany, obecnie jest ograniczony do typów sparametryzowana miary.Może to tylko używane w warunkach bardzo ograniczone. |
|
Typ MeasureAttribute |
Dodawanie tego atrybutu typu powoduje ona interpretowana jako jednostkę miary.Może to tylko używane w warunkach bardzo ograniczone. |
Typ nativeptr <'T> |
Reprezentuje F# kodu niezarządzanego wskaźnika. |
Dodanie tego atrybutu typu wskazuje, że jest to typ gdzie porównanie jest nieprawidłowego działania.Oznacza to, że typ spełnia ograniczenia "porównanie" F#.W granicach systemu typu F# to pomaga upewnić się, że funkcja F# porównania rodzajowe nie tworzyć wystąpień bezpośrednio na tego typu.Atrybut i sprawdzanie nie wymusza użycie porównania z podstawowego lub podrzędnych typów tego typu. |
|
Ten atrybut jest używany do tagu wartości, które nie mogą być dynamicznie powoływane w czasie wykonywania.Zazwyczaj jest dodawany do funkcji inlined, którego implementacje zawierają zweryfikowanie kodu.Powoduje, że treść metody wysyłanego inlined funkcji wzbudza wyjątek, jeśli wywoływana dynamicznie zamiast tym zweryfikowanie kodu w wygenerowanym zestawie. |
|
Dodanie tego atrybutu typu wskazuje, że jest to typ gdzie nieprawidłowej operacji jest równe.Oznacza to typ nie spełnia ograniczenia "równości" F#.W granicach systemu typu F# to pomaga upewnić się, że funkcja F# równości rodzajowy nie tworzyć wystąpień bezpośrednio na tego typu.Atrybut i sprawdzanie nie wymusza użycie porównania z podstawowego lub podrzędnych typów tego typu. |
|
Typ opcji <'T> |
Typ wartości opcjonalne.Podczas używania z innych języków CLI jest opcja puste null wartości. |
Atrybut ten jest automatycznie dodawany do wszystkich argumentów opcjonalnych. |
|
Typ PrintfFormat <' drukarka, "Państwo," pozostałości, "Wynik" Krotka > |
Typ formatowania wyrażenia. |
Typ PrintfFormat < "drukarki" Państwo "Pozostałości" wynik > |
Typ formatowania wyrażenia. |
Wskazuje, że operator niestandardowe użyty w wyrażeniu obliczeń parametr automatycznie jest sparametryzowana przez miejsce zmiennej wyrażenia obliczeń. |
|
Typ Ref <'T> |
Typ tych odwołań.Użyj funkcji [: =] i [!] i ustawiania wartości tego typu. |
Dodanie tego atrybutu do rekordu lub typu Unii wyłącza automatyczne generowanie przesłonięcia "System.Object.Equals(obj)", "System.Object.GetHashCode()" i "System.IComparable" dla typu.Typ domyślnie używają równości odniesienia. |
|
Dodanie tego atrybutu do powiązania let w definicji wartości najwyższego poziomu powoduje, że wyrażenie oferty, które implementuje wartość dostępne do użytku w czasie wykonywania. |
|
Ten atrybut jest używany do wskazania, że odniesienia do elementów typu moduł, rekordu lub Unii wymagają jawne kwalifikowaną dostępu. |
|
Dodanie tego atrybutu typu, wartość lub członka wymaga że zastosowania konstrukcji musi jawnie wystąpienia wszystkie parametry typu rodzajowego. |
|
Typ liczby 8-bitowa liczba całkowita ze znakiem, o jednostkę miary.Jednostka miary jest wymazywane skompilowanego kodu i wartości tego typu są analizowane przy użyciu odbicia.Typ jest odpowiednikiem representationally System.SByte. |
|
Typ SealedAttribute |
Dodanie tego atrybutu do definicji klasy ułatwia zamknięte, co oznacza nie może być przedłużony lub wdrożone. |
Wskazuje relację między skompilowany jednostki w binarnym CLI i element F# kodu źródłowego. |
|
Typ StructAttribute |
Dodanie do typu tego atrybutu powoduje reprezentowane przy użyciu CLI struct. |
Dodanie tego atrybutu do rekordu, Unia, wyjątek lub typu struct potwierdza automatyczne generowanie implementacji typu "System.IComparable". |
|
Dodanie tego atrybutu do rekordu, typ Unii lub struct potwierdza automatyczne generowanie przesłonięcia 'System.Object.Equals(obj)' i 'System.Object.GetHashCode()' dla typu. |
|
Ten atrybut jest używany do oznaczenia, jak typ jest domyślnie wyświetlany podczas korzystania z wzorców formatowania printf "A %" i innych układów dwuwymiarowe wyświetlania tekstowych.W tej wersji F# jedyne prawidłowe wartości to formularza PreText {PropertyName} PostText.Nazwa właściwości wskazuje właściwość, aby ocenić i wyświetlić zamiast samego obiektu. |
|
Typ jednostki |
Typ "jednostce", która ma tylko jedną wartość "(").Wartość ta jest specjalne i zawsze używa reprezentacja 'null'. |
Ten atrybut jest używany do wartości, których użycie spowoduje generowanie zweryfikowanie kodu ze znacznikiem.Wartości te są nieuchronnie oznaczone 'inline' w celu zapewnienia niemożliwy konstrukcje nie występują w rzeczywisty kod biblioteki F#, ale raczej są kopiowane do kodu źródłowego obiektu wywołującego. |
|
Dodawanie tego atrybutu do powiązania tych F# powoduje "volatile" prefiks stosowaną do wszystkich dostępów do pola. |
Typ skróty
Typ |
Opis |
|---|---|
Typ tablicy <'T> |
Pojedynczy tablic wymiarowe, od zera, napisane int[], string[] etc. |
Typ bigint |
Dowolnie dużych liczb całkowitych.Skrót dla typu BigInteger. |
Typ bool |
Skrót dla typu CLI Boolean. |
Typ bajt |
Skrót dla typu CLI Byte. |
Typ char |
Skrót dla typu CLI Char. |
Typ dziesiętne |
Skrót dla typu CLI Decimal. |
Typ podwójne |
Skrót dla typu CLI Double. |
Typ exn |
Skrót dla typu CLI Exception. |
Typ pływaka |
Skrót dla typu CLI Double. |
Typ float32 |
Skrót dla typu CLI Single. |
Typ Format <' drukarka, "Państwo," pozostałości, "Wynik" Krotka > |
Typ formatowania wyrażenia. |
Typ formatowania wyrażenia. |
|
Typ int |
Skrót dla typu CLI Int32. |
Typ int16 |
Skrót dla typu CLI Int16. |
Typ int32 |
Skrót dla typu CLI Int32. |
Typ int64 |
Skrót dla typu CLI Int64. |
Typ int8 |
Skrót dla typu CLI SByte. |
Typ nativeint |
Skrót dla typu CLI IntPtr. |
Typ obj |
Skrót dla typu CLI Object. |
Typ opcji <'T> |
Typ wartości opcjonalne.Podczas używania z innych języków CLI jest opcja puste null wartości. |
Typ ref <'T> |
Typ tych odwołań.Użyj funkcji [: =] i [!] i ustawiania wartości tego typu. |
Typ sbyte |
Skrót dla typu CLI SByte. |
Typ pojedynczy |
Skrót dla typu CLI Single. |
Typ ciąg |
Skrót dla typu CLI String. |
Typ uint16 |
Skrót dla typu CLI UInt16. |
Typ uint32 |
Skrót dla typu CLI UInt32. |
Typ uint64 |
Skrót dla typu CLI UInt64. |
Typ uint8 |
Skrót dla typu CLI Byte. |
Typ unativeint |
Skrót dla typu CLI UIntPtr. |
Typ jednostki |
Typ "jednostce", która ma tylko jedną wartość "(").Wartość ta jest specjalne i zawsze używa reprezentacja 'null'. |
Wyjątki
Wyjątek |
Opis |
|---|---|
wyjątek MatchFailureException |
Dopasowanie niewyczerpujący awarie wzbudzi wyjątek MatchFailureException |