Microsoft.FSharp.Core Namespace (F#)

Este namespace contém funcionalidade que oferece suporte à funcionalidade de F# central, incluindo primitivos de linguagem, operadores, atributos, tipos primitivos, cadeias de caracteres, e E/S formatado.

Namespace/Module Path: Microsoft.FSharp.Core

Assembly: FSharp.Core (em FSharp.Core.dll)

namespace Microsoft.FSharp.Core

Módulos

Module	Descrição
módulo ExtraTopLevelOperators	Operadores e tipos adicionais de F# que estão disponíveis sem abrir um módulo ou namespace.
módulo LanguagePrimitives	Primitivas de linguagem associados com a linguagem de F#
módulo NumericLiterals	Fornece implementações padrão de sintaxe do literal numérico de F# para literais FO o formulário “dddI”.
módulo operadores	Operadores básicos de F#.Este módulo é aberta automaticamente em todo o código de F#.
módulo OptimizedClosures	Um módulo de implementação usado para manter privadas algumas implementações de função avalia a chamada.
módulo Opção	Operações básicas sobre opções.
módulo printf	Formatação extensível de printf- estilo para números e outros tipos de dados
módulo Cadeia de caracteres	Operadores funcionais de programação para processamento de cadeia de caracteres.As operações adicionais de cadeia de caracteres estão disponíveis através das funções de membro em cadeias de caracteres e a outra funcionalidade em String e tipos de Regex .

Definições de Tipo

Tipo	Descrição
tipo [,,,]<'T>	Quatro - matrizes dimensões de base zero, normalmente.Matrizes com base Não-zero- podem ser criadas usando métodos no tipo de System.Array.
tipo [,,]<'T>	Matrizes tridimensionais de base zero, normalmente.Matrizes com base Não-zero- podem ser criadas usando métodos no tipo de System.Array.
tipo [,]<'T>	Arrays bi-dimensionais de base zero, normalmente.
tipo []<'T>	Única, matrizes dimensões de base zero, escritas int[], string[] e assim por diante.
tipo AbstractClassAttribute	Adicione esse atributo à definição de classe torna abstract, o que significa que ele não precisam implementar todos seus métodos.As instâncias das classes abstratas não podem ser construídas diretamente.
tipo AllowNullLiteralAttribute	Adicione esse atributo para um tipo permite o literal “” nulo ser usado para o tipo dentro do código de F#.Este atributo só pode ser adicionado a tipos definidos F#- de classe ou interface.
tipo AutoOpenAttribute	Este atributo é usado para dois propósitos.Quando aplicado a um assembly, ele deve receber um argumento de cadeia de caracteres, e esse argumento deve indicar um módulo ou um namespace válida em aquele assembly.Arquivos de código-fonte criados com uma referência a esse assembly são processados em um ambiente no qual o caminho fornecido oepned automaticamente.
tipo AutoSerializableAttribute	Adicionando esse atributo para um tipo com desativa verificação “falso” valor do comportamento em F# faz o tipo Serializável por padrão.
tipo byref<'T>	Representa um ponteiro gerenciado no código de F#.
tipo Choice<'T1,'T2,'T3,'T4,'T5,'T6,'T7>	O padrão para tipos auxiliares ativos com 7 opções.
tipo Choice<'T1,'T2,'T3,'T4,'T5,'T6>	O padrão para tipos auxiliares ativos com 6 opções.
tipo Choice<'T1,'T2,'T3,'T4,'T5>	O padrão para tipos auxiliares ativos com 5 opções.
tipo Choice<'T1,'T2,'T3,'T4>	O padrão para tipos auxiliares ativos com 4 opções.
tipo Choice<'T1,'T2,'T3>	O padrão para tipos auxiliares ativos com 3 opções.
tipo Choice<'T1,'T2>	O padrão para tipos auxiliares ativos com 2 opções.
tipo ClassAttribute	Adicione esse atributo para um tipo faz a ser representado usando uma classe de CLI.
tipo CLIEventAttribute	Adicione esse atributo a uma propriedade com tipo de evento faz a ser criado com como um evento de metadados de CLI, com uma translação sintática a um par de métodos de “add_EventName” e “remove_EventName”.
tipo CLIMutableAttribute	Adicione esse atributo para um tipo de registro a ser compilado faz a uma representação de CLI com um construtor padrão com getter e setter da propriedade.
tipo ComparisonConditionalOnAttribute	Este atributo é usado para indicar que um tipo recipiente genérico satisfaz a restrição “” comparação de F# somente se um argumento genérica também satisfaz a restrição.Por exemplo, adicione esse atributo para o parâmetro “T em uma definição de tipo C<'T> significa que um tipo C<X> oferece suporte somente a comparação se o tipo X também oferece suporte a comparação e todas As outras condições para<X> para oferecer suporte a comparação são conformes estados também.O tipo C<'T> pode ser usado com outros argumentos de tipo, mas um tipo como C<(int -> int)> não oferecem suporte a comparação porque o tipo (int -> int) é um tipo de função de F# e não oferece suporte a comparação.
tipo CompilationArgumentCountsAttribute	Este atributo é gerado automaticamente pelo compilador de F# para marcar as funções e os membros que aceitam um aplicativo parcial de alguns dos seus argumentos e retornam uma função residual
tipo CompilationMappingAttribute	Este atributo é inserido automaticamente pelo compilador de F# para marcar tipos e métodos no código gerado de CLI com os sinalizadores que indica a correspondência com as construções de fonte original.É usado pelas funções no namespace de Microsoft.FSharp.Reflection às compilações criadas que mapeiam para as formas originais.Não se destina para o uso de código do usuário.
tipo CompilationRepresentationAttribute	Este atributo é usado para ajustar a representação de tempo de execução para um tipo.Por exemplo, ela pode ser usada para observe que a representação de null pode ser usada para um tipo.Isso afeta como algumas construções são compiladas.
tipo CompilationRepresentationFlags	Indica um ou mais ajustes a representação compilada de um tipo ou um membro de F#.
tipo CompilationSourceNameAttribute	Este atributo é inserido automaticamente pelo compilador de F# para marcar os métodos que recebem o atributo “CompiledName”.Não se destina para o uso de código do usuário.
tipo CompiledNameAttribute	Adicione esse atributo para um valor ou definição de função em um módulo de F# altera o nome usado para o valor no código compilado de CLI.
tipo CompilerMessageAttribute	Indica que uma mensagem deve ser emitida quando o código-fonte de F# usar esta compilação.
tipo CustomComparisonAttribute	Adicione esse atributo para um tipo indica que é um tipo com uma implementação definido pelo usuário de comparação.
tipo CustomEqualityAttribute	Adicione esse atributo para um tipo indica que é um tipo com uma implementação definido pelo usuário de igualdade.
tipo CustomOperationAttribute	Indica que um membro de um tipo de construtor de computação personalizado é um operador de consulta, e indica o nome do operador.
tipo decimal<'Measure>	o tipo de números decimais, anotado com uma unidade de medida.A unidade de medida está apagada no código compilado e quando valores de esse tipo são analisados usando reflexão.o tipo é representationally equivalente a System.Decimal.
tipo DefaultAugmentationAttribute	Adicionando este atributo a uma união discriminada com o valor falso desativa a geração de verificação padrão de membro auxiliar construtor, e membros do acessador para CLI classe gerada para esse tipo.
tipo DefaultValueAttribute	Adicione esse atributo a uma declaração de campo significa que o campo não inicializado.Durante a verificação de tipo uma restrição é afirmada que suporta do tipo de campo nulos”.Se o valor de é” false “verificação na restrição não é afirmada.
tipo EntryPointAttribute	Adicione esse atributo a uma função indica que é o entrypoint para um aplicativo.Se esse não speficied ausente para EXE a inicialização implícita em associações de módulo no arquivo o último na seqüência de compilação é usada como no entrypoint.
tipo EqualityConditionalOnAttribute	Este atributo é usado para indicar que um tipo recipiente genérico satisfaz a restrição “igualdade” de F# somente se um argumento genérica também satisfaz a restrição.Por exemplo, adicione esse atributo para o parâmetro “T em uma definição de tipo C<'T> significa que um tipo C<X> oferece suporte somente a igualdade se o tipo X também oferece suporte a igualdade e todas As outras condições para<X> para oferecer suporte a igualdade são conformes estados também.O tipo C<'T> pode ser usado com outros argumentos de tipo, mas um tipo como C<(int -> int)> não oferecem suporte a igualdade porque o tipo (int -> int) é um tipo de função de F# e não oferece suporte a igualdade.
tipo ExperimentalAttribute	Este atributo é usado para marcar os valores que são parte de um recurso de avaliação da biblioteca.
tipo float<'Measure>	O tipo de números de ponto flutuante, anotado com uma unidade de medida.A unidade de medida está apagada no código compilado e quando valores de esse tipo são analisados usando reflexão.o tipo é representationally equivalente a System.Double.
type float32<'Measure>	O tipo de números de ponto flutuante, anotado com uma unidade de medida.A unidade de medida está apagada no código compilado e quando valores de esse tipo são analisados usando reflexão.o tipo é representationally equivalente a System.Single.
tipo FSharpFunc<'T,'U>	O tipo de CLI usado para representar valores de função de F#.Este tipo não é normalmente usado diretamente, embora ele possa ser usado de outras linguagens de CLI.
tipo FSharpInterfaceDataVersionAttribute	Este atributo é adicionado aos conjuntos gerados para indicar a versão do esquema de dados usado para codificação extra informações específicas de F# nas bibliotecas compilados anexadas recurso de F#.
tipo FSharpTypeFunc	O tipo de CLI usado para representar valores de primeira classe de função do tipo de F#.Este tipo é para uso em código compilado de F#.
tipo FuncConvert	O funciona auxiliar convertendo valores da função de classe de F# principalmente para e de representaions de CLI das funções usando representantes.
tipo GeneralizableValueAttribute	Adicione esse atributo para um valor de não função com parâmetros genéricos indica que os usos de compilação podem causar o código genérico com inferência de tipos.
tipo ilsigptr<'T>	Este tipo é para uso interno pelo gerador de código de F#.
tipo int<'Measure>	O tipo de números de 32 bits do inteiro com sinal, anotado com uma unidade de medida.A unidade de medida está apagada no código compilado e quando valores de esse tipo são analisados usando reflexão.o tipo é representationally equivalente a System.Int32.
tipo int16<'Measure>	O tipo de números de 16 bits do inteiro com sinal, anotado com uma unidade de medida.A unidade de medida está apagada no código compilado e quando valores de esse tipo são analisados usando reflexão.o tipo é representationally equivalente a System.Int16.
tipo int64<'Measure>	O tipo de números de 64 bits do inteiro com sinal, anotado com uma unidade de medida.A unidade de medida está apagada no código compilado e quando valores de esse tipo são analisados usando reflexão.o tipo é representationally equivalente a System.Int64.
tipo InterfaceAttribute	Adicione esse atributo para um tipo faz a ser representado usando uma interface de CLI.
tipo LiteralAttribute	Adicione esse atributo para um valor faz a ser compilado como um literal constante de CLI.
tipo MeasureAnnotatedAbbreviationAttribute	Adicione esse atributo para um tipo faz a ser interpretado como um tipo mais aguçado, atualmente limitado aos tipos medida- parametrizadas.Isso pode ser usado apenas em condições muito limitadas.
tipo MeasureAttribute	Adicione esse atributo para um tipo faz a ser interpretado como uma unidade de medida.Isso pode ser usado apenas em condições muito limitadas.
tipo nativeptr<'T>	Representa um ponteiro não gerenciado no código de F#.
tipo NoComparisonAttribute	Adicione esse atributo para um tipo indica que é um tipo onde a comparação é uma operação anormal.Isso significa que o tipo não satisfaz a restrição “” comparação de F#.Dentro dos limites do sistema de tipos de F#, isso ajuda a garantir que a função genérica de comparação de F# não é instanciada diretamente em esse tipo.O atributo e verificar não restringe o uso de comparação com base ou tipos filhos de este tipo.
tipo NoDynamicInvocationAttribute	Este atributo é usado para marcar os valores que não podem ser chamados dinamicamente em tempo de execução.Isso geralmente é adicionado a funções inlined cujas implementações incluem o código não verificável.Faz com que o corpo do método emitido para que a função inlined gera uma exceção se chamado dinamicamente, em vez de incluir o código não verificável no assembly gerado.
tipo NoEqualityAttribute	Adicione esse atributo para um tipo indica que é um tipo onde a igualdade é uma operação anormal.Isso significa que o tipo não satisfaz a restrição “igualdade” de F#.Dentro dos limites do sistema de tipos de F#, isso ajuda a garantir que a função genérico de igualdade de F# não é instanciada diretamente em esse tipo.O atributo e verificar não restringe o uso de comparação com base ou tipos filhos de este tipo.
tipo Option<'T>	o tipo de valores opcionais.Quando usado de outras linguagens de CLI a opção vazia é o valor de null .
tipo OptionalArgumentAttribute	Esse atributo é adicionado automaticamente para todos os argumentos opcionais.
tipo PrintfFormat<'Printer,'State,'Residue,'Result,'Tuple>	Tipo de uma expressão de formatação.
tipo PrintfFormat<'Printer,'State,'Residue,'Result>	Tipo de uma expressão de formatação.
tipo ProjectionParameterAttribute	Indica que, quando um operador personalizado é usado em uma expressão de computação, parâmetro é automaticamente parametrizada pelo espaço variável de expressões de computação.
tipo Ref<'T>	o tipo de referências mutáveis.Use as funções [: = []] e! para obter e definir valores de esse tipo.
tipo ReferenceEqualityAttribute	Adicionando esse atributo para um registro ou um tipo de união desativa a geração automática de substituições para “System.Object.Equals (obj)”, “System.Object.GetHashCode ()” e “System.IComparable” para o tipo.O tipo usará por padrão a igualdade de referência.
tipo ReflectedDefinitionAttribute	Adicione esse atributo à deixar- associação para a definição de um valor de nível superior faz a expressão de aspas que implementa o valor disponível para uso em tempo de execução.
tipo RequireQualifiedAccessAttribute	Este atributo é usado para indicar que as referências aos elementos de um módulo, de um registro ou um tipo de união requerem acesso explícito qualificado.
tipo RequiresExplicitTypeArgumentsAttribute	Adicionando esse atributo para um tipo, o valor ou membro exigem que os usos de compilação deve criar explicitamente uma instância todos os parâmetros de tipo genéricos.
tipo sbyte<'Measure>	O tipo de números com sinal de 8 bits inteiro, anotado com uma unidade de medida.A unidade de medida está apagada no código compilado e quando valores de esse tipo são analisados usando reflexão.o tipo é representationally equivalente a System.SByte.
tipo SealedAttribute	Adicione esse atributo à definição de classe torna fechada, o que significa que ele não podem ser estendidas ou implementado.
tipo SourceConstructFlags	Indica a relação entre uma entidade compilado em uma opção binária de CLI e um elemento no código-fonte de F#.
tipo StructAttribute	Adicione esse atributo para um tipo faz a ser representado usando um estrutura de CLI.
tipo StructuralComparisonAttribute	Adicionando esse atributo para um registro, a união, a exceção, ou tipo de estrutura confirmam a geração automática das implementações para “System.IComparable” para o tipo.
tipo StructuralEqualityAttribute	Adicionando esse atributo para um registro, o tipo de união ou estrutura de confirmar a geração automática de substituições para “System.Object.Equals (obj)” e “System.Object.GetHashCode ()” para o tipo.
tipo StructuredFormatDisplayAttribute	Este atributo é usado para marcar como um tipo é exibido por padrão quando usar padrões de formatação de printf de “%A” e o outro texto bidimensional com layouts de exibição.Em esta versão de F# os únicos valores são válidos do formulário PreText {PropertyName} PostText.O nome da propriedade indica uma propriedade para avaliar e exibir em vez do objeto.
tipo unidade	O tipo “unidade”, que tem apenas um valor (” “).Esse valor é especiais e sempre use a representação “zero”.
tipo UnverifiableAttribute	Este atributo é usado para marcar os valores cujo uso resultará na geração de código não verificável.Esses valores são “in-line inevitàvel marcado como” para garantir que as construções não verificávéis não está presente no código real para a biblioteca de F#, mas são copiados ao código-fonte em vez do chamador.
tipo VolatileFieldAttribute	Adicione esse atributo a uma associação mutável de F# faz com que o prefixo “temporário” para serem usados para todos os acessa o campo.

Abreviações de tipo

Tipo	Descrição
tipo array<'T>	Única, matrizes dimensões de base zero, escritas int[], string[] etc..
tipo bigint	Arbitrariamente inteiros grandes.Uma abreviação para o tipo BigInteger.
tipo bool	Uma abreviação para o tipo Booleande CLI.
tipo byte	Uma abreviação para o tipo Bytede CLI.
tipo char	Uma abreviação para o tipo Charde CLI.
tipo decimal	Uma abreviação para o tipo Decimalde CLI.
tipo double	Uma abreviação para o tipo Doublede CLI.
tipo exn	Uma abreviação para o tipo Exceptionde CLI.
tipo float	Uma abreviação para o tipo Doublede CLI.
tipo float32	Uma abreviação para o tipo Singlede CLI.
tipo Format<'Printer,'State,'Residue,'Result,'Tuple>	Tipo de uma expressão de formatação.
tipo Format<'Printer,'State,'Residue,'Result>	Tipo de uma expressão de formatação.
tipo int	Uma abreviação para o tipo Int32de CLI.
tipo int16	Uma abreviação para o tipo Int16de CLI.
tipo int32	Uma abreviação para o tipo Int32de CLI.
tipo int64	Uma abreviação para o tipo Int64de CLI.
tipo int8	Uma abreviação para o tipo SBytede CLI.
tipo nativeint	Uma abreviação para o tipo IntPtrde CLI.
tipo obj	Uma abreviação para o tipo Objectde CLI.
tipo option<'T>	o tipo de valores opcionais.Quando usado de outras linguagens de CLI a opção vazia é o valor de null .
tipo ref<'T>	o tipo de referências mutáveis.Use as funções [: = []] e! para obter e definir valores de esse tipo.
tipo sbyte	Uma abreviação para o tipo SBytede CLI.
tipo único	Uma abreviação para o tipo Singlede CLI.
tipo cadeia de caracteres	Uma abreviação para o tipo Stringde CLI.
tipo uint16	Uma abreviação para o tipo UInt16de CLI.
tipo uint32	Uma abreviação para o tipo UInt32de CLI.
tipo uint64	Uma abreviação para o tipo UInt64de CLI.
tipo uint8	Uma abreviação para o tipo Bytede CLI.
tipo unativeint	Uma abreviação para o tipo UIntPtrde CLI.
tipo unidade	O tipo “unidade”, que tem apenas um valor (” “).Esse valor é especiais e sempre use a representação “zero”.

Exceções

Exceção	Descrição
exceção MatchFailureException	Falhas não exaustivas de correspondência gerarão a exceção de MatchFailureException

Consulte também

Outros recursos

Referência da biblioteca F# Core