Obor názvů Microsoft.FSharp.Core (F#)
Tento obor názvů obsahuje funkce, které podporuje základní F# funkce včetně prvky jazyka, operátory, atributy, primitivní typy, řetězce a formátované I/O.
Cesta k oboru názvů nebo modul: Microsoft.FSharp.Core
Sestavení: FSharp.Core (v FSharp.Core.dll)
namespace Microsoft.FSharp.Core
Moduly
Modul |
Description |
|---|---|
modul ExtraTopLevelOperators |
F# další operátory a typy, které jsou k dispozici bez otevření modulu nebo oboru názvů. |
modul LanguagePrimitives |
Prvky jazyka spojeného s jazykem F# |
modul NumericLiterals |
Poskytuje výchozí implementace F# číselný literál syntaxe literály fo formuláře dddI. |
modul operátory |
Základní F# operátory.Tento modul se automaticky otevře všechny F# kódu. |
modul OptimizedClosures |
Modul provádění jímán některé soukromé implementace vyvolání funkce hodnotu. |
modul možnost |
Základní operace s možností. |
modul Printf |
Extensible printf styl formátování čísla a jiné datové typy |
modul řetězec |
Funkční programování operátory řetězec zpracování.Další operace s řetězci jsou k dispozici prostřednictvím funkce členů na řetězce a další funkce v String a Regex typy. |
Definice typů
Type |
Description |
|---|---|
typ [,] <'T> |
Čtyři jednorozměrná pole, obvykle od nuly.Založené na Non nulové matice lze vytvořit pomocí metody System.Array typu. |
typ [,] <'T> |
Tři jednorozměrná pole, obvykle od nuly.Založené na Non nulové matice lze vytvořit pomocí metody System.Array typu. |
typ [,] <'T> |
Dva jednorozměrná pole, obvykle od nuly. |
typ [] <'T> |
Od nuly, rozměrové matice zapsán jeden int[], string[] a podobně. |
Přidání že tohoto atributu definice třídy vytvoří abstraktní, což znamená, že nemusí implementovat všechny metody.Instance tříd abstraktní nemusí vyrobeno přímo. |
|
Přidání tohoto atributu typu umožňuje literál "null" pro typ F# kódu.Tento atribut lze přidat pouze F#-definované typy třídy nebo rozhraní. |
|
Tento atribut slouží ke dvěma účelům.Při použití sestavení, musí mu být poskytnut řetězcový argument a argument musí obsahovat platný modul nebo oboru názvů v tomto shromáždění.Zkompilovány s odkazem na toto sestavení souborů zdrojového kódu jsou zpracovány v prostředí, kde je zadaná cesta automaticky oepned. |
|
Přidání tohoto atributu typu s hodnotou 'false' zakáže chování kde F# vytvoří výchozí typ Serializable. |
|
typ typu byref <'T> |
Představuje spravovaný ukazatele v kódu F#. |
Typy Pomocníka pro aktivní vzorky s možnostmi 7. |
|
Typy Pomocníka pro aktivní vzorky s možnostmi 6. |
|
Typy Pomocníka pro aktivní vzorky s možnostmi 5. |
|
Typy Pomocníka pro aktivní vzorky s možnostmi 4. |
|
Typy Pomocníka pro aktivní vzorky s možnostmi 3. |
|
Typy Pomocníka pro aktivní vzorky s možnostmi 2. |
|
typ ClassAttribute |
Přidání tohoto atributu typu způsobuje reprezentovat pomocí třídy CLI. |
Přidání tohoto atributu na vlastnost typu události způsobí jeho kompilaci jako událost metadata CLI, až na pár "add_EventName" a "remove_EventName" metody syntaktické překlad. |
|
Přidání tohoto atributu typu záznamu způsobí jeho kompilaci do reprezentace CLI s výchozí konstruktor s vlastností mechanismy získání a nastavení. |
|
Tento atribut slouží označuje, že obecný kontejner typ vyhovuje F# "porovnání" pouze v případě, že obecný argument také splňuje toto omezení.Například přidání tohoto atributu parametru t definice typu c <'T> znamená, že typ c <X> porovnání podporuje pouze pokud typ x podporuje také porovnání a všechny podmínky pro <X> C Podpora porovnání jsou splněny.Typ c <'T> stále možné další argumenty typu, ale typ, například c <(int-> int) > porovnání nebude podporovat, protože typ (int - > int) je typ funkce F# a nepodporuje porovnání. |
|
Tento atribut je vytvořen automaticky kompilátorem F# funkce značky a členy, které přijmout částečné uplatnění některé své argumenty a zbytkové funkce |
|
Tento atribut vložena F# kompilátoru typy značek a metody generovaného kódu CLI automaticky s příznaky udávající korespondence s původní zdroj konstrukce.Je používán funkcí v oboru názvů Microsoft.FSharp.Reflection do zpětného mapování kompilované konstrukce do původního formuláře.Není určena pro použití z uživatelského kódu. |
|
Tento atribut slouží k úpravě runtime znázornění typu.Například mohou být použity poznamenat, že null zastoupení může být použita pro typ.To ovlivňuje, jak jsou kompilovány některé konstrukce. |
|
Označuje kompilované zastupování F# typ nebo člen jedné nebo více úprav. |
|
Tento atribut je automaticky vložit kompilátoru F# značky metody, které jsou uvedeny atribut "CompiledName".Není určena pro použití z uživatelského kódu. |
|
Přidání hodnoty nebo funkce, definice v modulu F# Tento atribut mění název použitý pro hodnotu v zkompilovaný kód CLI. |
|
Označuje, že zpráva být emitovány, F# zdrojový kód používá tuto konstrukci. |
|
Přidání tento atribut typu indikuje, že je typ s uživatelem definované implementací porovnání. |
|
Přidání tento atribut typu indikuje, že je typ s uživatelem definované implementací rovnosti. |
|
Znamená, že člen typu Tvůrce výpočtu je operátor vlastní dotaz a označuje název tohoto provozovatele. |
|
Typ desetinné číslo, označena měrné jednotky.Měrné jednotky, bude vymazán v zkompilovaný kód a hodnoty tohoto typu jsou analyzovány pomocí odrazu.Typ odpovídá representationally System.Decimal. |
|
Přidání tohoto atributu discriminated unie s hodnotu false vypne generování standardní pomocné členské tester, konstruktor a přístupové členy pro vygenerované třídy CLI daného typu. |
|
Přidání tohoto atributu deklarace pole znamená, že pole není inicializován.Během typu kontrolu omezení je uplatněna, podporuje typ pole "null".Pokud je hodnota "kontrolou" false není uplatněna omezení. |
|
Přidání funkce tohoto atributu znamená, že je vstupní bod pro aplikaci.Chybí není speficied pro soubor EXE potom implicitní inicializace modulu vazby v poslední soubor v sestavování pořadí se používají jako vstupní bod. |
|
Tento atribut slouží označuje, že obecný kontejner typ vyhovuje F# "rovnost" pouze v případě, že obecný argument také splňuje toto omezení.Například přidání tohoto atributu parametru t definice typu c <'T> znamená, že typ c <X> rovnost podporuje pouze pokud typ x podporuje také rovnosti a další podmínky pro <X> C k podpoře rovnosti jsou splněny.Typ c <'T> stále možné další argumenty typu, ale typ, například c <(int-> int) > nebude podporovat rovnost, protože typ (int - > int) je typ funkce F# a nepodporuje rovnosti. |
|
Tento atribut slouží značky a hodnoty, které jsou součástí funkce aplikace experimentální knihovny. |
|
Typ plovoucí desetinnou označena měrné jednotky.Měrné jednotky, bude vymazán v zkompilovaný kód a hodnoty tohoto typu jsou analyzovány pomocí odrazu.Typ odpovídá representationally System.Double. |
|
Typ plovoucí desetinnou označena měrné jednotky.Měrné jednotky, bude vymazán v zkompilovaný kód a hodnoty tohoto typu jsou analyzovány pomocí odrazu.Typ odpovídá representationally System.Single. |
|
Typ CLI představují hodnoty funkce F#.Tento typ není použit obvykle přímo, ale mohou použít i z jiných jazyků CLI. |
|
Tento atribut je přidán generován sestavení označující verzi dat schématu kódování další F# specifické informace v připojené k prostředku kompilovaný F# knihovny. |
|
typ FSharpTypeFunc |
Typ CLI představují prvotřídní typ funkce hodnoty F#.Tento typ je pro použití v F# zkompilovaný kód. |
typ FuncConvert |
Pomocné funkce pro převod F# první funkční z representaions CLI funkcí pomocí delegátů a hodnoty. |
Přidání tohoto atributu-funkce hodnotu s obecné parametry označuje, že používá konstruktu mohou vést k odvození typu prostřednictvím obecného kódu. |
|
typ ilsigptr <'T> |
Tento typ je pro vnitřní použití generátoru kódu F#. |
Typ čísla 32bitové číslo se znaménkem, označena měrné jednotky.Měrné jednotky, bude vymazán v zkompilovaný kód a hodnoty tohoto typu jsou analyzovány pomocí odrazu.Typ odpovídá representationally System.Int32. |
|
Typ čísla 16bitové celé číslo se znaménkem, označena měrné jednotky.Měrné jednotky, bude vymazán v zkompilovaný kód a hodnoty tohoto typu jsou analyzovány pomocí odrazu.Typ odpovídá representationally System.Int16. |
|
Typ čísla 64bitové celé číslo se znaménkem, označena měrné jednotky.Měrné jednotky, bude vymazán v zkompilovaný kód a hodnoty tohoto typu jsou analyzovány pomocí odrazu.Typ odpovídá representationally System.Int64. |
|
Přidání tohoto atributu typu způsobuje reprezentovat pomocí rozhraní CLI. |
|
typ LiteralAttribute |
Přidání hodnotu tohoto atributu způsobí jeho kompilaci CLI konstantní literálu. |
Přidání že tohoto atributu typu způsobí vykládat jako typ rafinovaný, aktuálně omezena na opatření Parametrizovaná typy.Může použít pouze za podmínek velmi omezený. |
|
typ MeasureAttribute |
Přidání tohoto atributu typu způsobí interpretovány jako měrné jednotky.Může použít pouze za podmínek velmi omezený. |
typ nativeptr <'T> |
Představuje nespravovaný ukazatel F# kódu. |
Přidání tento atribut typu indikuje, že je typ kde je neobvyklé operace porovnání.To znamená typu nesplňuje podmínky F# "porovnání" omezení.V rámci systému typu F# díky tomu obecný porovnání funkce F# není vytvořena instance přímo u tohoto typu.Atribut a kontrola není omezit použití srovnání s base nebo podřízené typy tohoto typu. |
|
Tento atribut je použit značky a hodnoty, které lze uplatnit dynamicky za běhu.Obvykle je přidána inlined funkcí, jejichž implementace obsahují kód nelze ověřit.Způsobí tělo metody vyzařovaného inlined funkce chcete vyvolat výjimku, pokud dynamicky vyvolat, nikoli ve vytvořeném sestavení včetně kód nelze ověřit. |
|
Přidání tento atribut typu indikuje, že je typ kde rovnosti je neobvyklé operace.To znamená typu nesplňuje omezení "rovnosti" F#.V rámci systému typu F# díky tomu obecný rovnosti funkce F# není vytvořena instance přímo u tohoto typu.Atribut a kontrola není omezit použití srovnání s base nebo podřízené typy tohoto typu. |
|
typ možnost <'T> |
Typ hodnoty nepovinné.Při použití jiných jazyků CLI je možnost prázdný null hodnotu. |
Tento atribut je přidána automaticky pro všechny volitelné argumenty. |
|
typ PrintfFormat < "tiskárny,"State,"reziduí,"Výsledek", n-tice > |
Zadejte výraz pro formátování. |
Zadejte výraz pro formátování. |
|
Označuje, že při použití vlastních operátor ve výrazu výpočtu parametr automaticky parametrizovanou proměnné místo výrazu výpočtu. |
|
typ Ref <'T> |
Typ proměnlivých odkazy.Pomocí funkcí [: =] a [!] získání a nastavení hodnoty tohoto typu. |
Přidání tohoto atributu typu záznamu nebo unie zakáže automatické generování přepis 'System.Object.Equals(obj)', 'System.Object.GetHashCode()' a 'System.IComparable' typu.Typ ve výchozím nastavení používat referenční rovnosti. |
|
Přidání vazby umožňují definice nejvyšší hodnota tohoto atributu bude nabídka výraz, který implementuje hodnota k dispozici pro použití při běhu. |
|
Tento atribut slouží k označení, že odkazy prvky typu modulu, záznamu nebo unie vyžadují explicitní kvalifikovaný přístup. |
|
Přidání tento atribut typu, hodnoty nebo člen vyžaduje použití konstruktu musí výslovně konkretizovat všechny parametry obecného typu. |
|
Typ čísla 8 bitů se znaménkem, označena měrné jednotky.Měrné jednotky, bude vymazán v zkompilovaný kód a hodnoty tohoto typu jsou analyzovány pomocí odrazu.Typ odpovídá representationally System.SByte. |
|
typ SealedAttribute |
Přidání definice třídy tento atribut umožňuje zapečetěna, znamená nemusí být rozšířené nebo implementována. |
Označuje vztah mezi kompilované entity v binární CLI a prvek F# zdrojový kód. |
|
typ StructAttribute |
Přidání tohoto atributu typu způsobuje reprezentovat pomocí CLI struct. |
Automatické generování implementace pro "System.IComparable" pro typ záznamu, unie, výjimka nebo typ struct přidání tohoto atributu potvrzuje. |
|
Tento atribut přidání záznamu, typ unie nebo struct potvrzuje automatické generování lokální nastavení pro "System.Object.Equals(obj)" a "System.Object.GetHashCode()" pro typ. |
|
Tento atribut se používá k označení typu zobrazení jako výchozí při použití jiných dvourozměrné textové zobrazení rozložení a formátování vzorky printf "A %".V této verzi F# pouze platné hodnoty jsou formuláře PreText {PropertyName} PostText.Název vlastnosti označuje vlastnost zhodnotit a zobrazit místo samotného objektu. |
|
typ jednotka |
Typ "jednotka", která má pouze jednu hodnotu (").Tato hodnota je zvláštní a vždy používá vyobrazení "null". |
Tento atribut slouží značky a hodnoty, jejichž použití způsobí generování kódu nelze ověřit.Tyto hodnoty jsou označeny "vložené" nevyhnutelně zajistit nejsou obsaženy v skutečný kód F# knihovny nelze ověřit konstrukce, ale spíše se zkopírují do zdrojového kódu volajícího. |
|
Přidání tohoto atributu F# proměnlivých vazba způsobuje "těkavých" prefix pro všechny přístupy k poli. |
Typ zkratky
Type |
Description |
|---|---|
typ pole <'T> |
Od nuly, rozměrové matice zapsán jeden int[], string[] atd. |
typ bigint |
Libovolně velké celá čísla.Zkratka pro typ BigInteger. |
typ bool |
Zkratka CLI typu Boolean. |
typ byte |
Zkratka CLI typu Byte. |
typ char |
Zkratka CLI typu Char. |
typ desítkové |
Zkratka CLI typu Decimal. |
typ double |
Zkratka CLI typu Double. |
typ exn |
Zkratka CLI typu Exception. |
typ float |
Zkratka CLI typu Double. |
typ float32 |
Zkratka CLI typu Single. |
Zadejte výraz pro formátování. |
|
Zadejte výraz pro formátování. |
|
typ int |
Zkratka CLI typu Int32. |
typ int16 |
Zkratka CLI typu Int16. |
typ int32 |
Zkratka CLI typu Int32. |
typ int64 |
Zkratka CLI typu Int64. |
typ int8 |
Zkratka CLI typu SByte. |
typ nativeint |
Zkratka CLI typu IntPtr. |
typ obj |
Zkratka CLI typu Object. |
typ možnost <'T> |
Typ hodnoty nepovinné.Při použití jiných jazyků CLI je možnost prázdný null hodnotu. |
typ ref <'T> |
Typ proměnlivých odkazy.Pomocí funkcí [: =] a [!] získání a nastavení hodnoty tohoto typu. |
typ sbyte |
Zkratka CLI typu SByte. |
typ jeden |
Zkratka CLI typu Single. |
typ řetězec |
Zkratka CLI typu String. |
typ uint16 |
Zkratka CLI typu UInt16. |
typ uint32 |
Zkratka CLI typu UInt32. |
typ uint64 |
Zkratka CLI typu UInt64. |
typ uint8 |
Zkratka CLI typu Byte. |
typ unativeint |
Zkratka CLI typu UIntPtr. |
typ jednotka |
Typ "jednotka", která má pouze jednu hodnotu (").Tato hodnota je zvláštní a vždy používá vyobrazení "null". |
Výjimky
Výjimka |
Description |
|---|---|
Výjimka MatchFailureException |
Nevyčerpávající shoda selhání zvýší výjimka MatchFailureException |