Microsoft.FSharp.Core Namespace (F#)

Este namespace contém a funcionalidade que suporta F# funcionalidade central, inclusive os primitivos de idioma, operadores, atributos, tipos primitivos, seqüências de caracteres e formatados e/S.

Caminho do namespace/módulo: Microsoft.FSharp.Core

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

namespace Microsoft.FSharp.Core

Módulos

Module	Descrição
módulo ExtraTopLevelOperators	F# operadores adicionais e tipos que estão disponíveis sem abrir um módulo ou namespace.
módulo LanguagePrimitives	Primitivos de idioma associados ao idioma F#
módulo NumericLiterals	Oferece um padrão de implementações de F# numérico sintaxe literal para literais fo formulário 'dddI'.
módulo operadores	Operadores F# básicos. Este módulo é aberto automaticamente em todo o código F#.
módulo OptimizedClosures	Um módulo de implementação usado para reter algumas implementações de particulares de invocação de valor da função.
módulo opção	Operações básicas de opções.
módulo Printf	Estilo de printf extensível formatação de números e outros tipos de dados.
módulo seqüência de caracteres	Operadores de programação funcionais para processamento de seqüência de caracteres. Outras operações de cadeia de caracteres estão disponíveis via as funções de membro em seqüências de caracteres e outras funcionalidades em String e Regex tipos.

Definições de Tipo

Tipo	Descrição
tipo de [,] <'T>	Quatro matrizes unidimensionais, tipicamente baseado em zero. Arrays com base em zero não podem ser criados usando os métodos do tipo System. array.
tipo de [,] <'T>	Três matrizes unidimensionais, tipicamente baseado em zero. Arrays com base em zero não podem ser criados usando os métodos do tipo System. array.
tipo de [,] <'T>	Duas matrizes unidimensionais, tipicamente baseado em zero.
tipo de [] <'T>	Único matrizes dimensionais, baseado em zero, escritos int[], string[] e assim por diante.
tipo de AbstractClassAttribute	Adicionando que este atributo à definição de classe torna abstrata, que significa que ele precisa implementa todos os seus métodos. Instâncias de classes abstratas não podem ser construídas diretamente.
tipo de AllowNullLiteralAttribute	Adicionar este atributo para um tipo permite 'null' literal de ser usado para o tipo de código de F#. Este atributo só pode ser adicionado para F#-definição de tipos de classe ou interface.
tipo de AutoOpenAttribute	Esse atributo é usado para duas finalidades. Quando aplicado a um assembly, ele deve ser dado um argumento de seqüência de caracteres, e esse argumento deve indicar um módulo válido ou o namespace no assembly. Arquivos de código-fonte compilados com uma referência a este assembly são processados em um ambiente onde o caminho fornecido é automaticamente oepned.
tipo de AutoSerializableAttribute	Adicionando este atributo para um tipo de valor 'false' desativa o comportamento onde F# faz o tipo Serializable por padrão.
tipo de byref <'T>	Representa um ponteiro gerenciado no código do F#.
tipo de opção <'T7 do T1,'T2,' T3,'T4,' T5,'T6,' >	Tipos de auxiliar para padrões de ativos com opções de 7.
tipo de a opção <'T1 ' T2,'T5 do T3,'T4,',' T6 >	Tipos de auxiliar para padrões de ativos com opções de 6.
tipo de opção <'T5 T3,'T4,' de T1,'T2,' >	Tipos de auxiliar para padrões de ativos com opções de 5.
tipo de a opção <'T1 ' T2,'T3,' T4 >	Tipos de auxiliar para padrões de ativos com 4 Opções.
tipo de opção <'T1,'T2,' T3 >	Tipos de auxiliar para padrões de ativos com 3 opções.
tipo de a opção <'T1 ' T2 >	Tipos de auxiliar para padrões de ativos com 2 opções.
tipo de ClassAttribute	Adicionar este atributo para um tipo faz com que ele sejam representados usando uma classe CLI.
tipo de CLIEventAttribute	Adicionar este atributo para uma propriedade com o tipo de evento faz com que ele seja compilado com como um evento de metadados do CLI, por meio de uma tradução sintática a um par de 'add_EventName' e 'remove_EventName' métodos.
tipo de ComparisonConditionalOnAttribute	Esse atributo é usado para indicar que um tipo de contêiner genérico satisfaz F# 'comparação' restrição somente se um argumento genérico também satisfaz essa restrição. Por exemplo, adicionando este atributo ao parâmetro ' t em uma definição de tipo c <'T>. significa que um tipo c <X> oferece suporte apenas a comparação se o tipo x também oferece suporte a comparação e todas as outras condições para c <X> para oferecer suporte a comparação também são atendidos. O tipo c <'T>. ainda podem ser usados com outros argumentos de tipo, mas um tipo como, por exemplo, C <(int-> int) > não oferecerá suporte a comparação porque o tipo (int - > int) é um tipo de função F# e não oferece suporte a comparação.
tipo de CompilationArgumentCountsAttribute	Esse atributo é gerado automaticamente pelo compilador F# para funções de marca e membros que aceitam um aplicativo parcial de alguns dos seus argumentos e retornam a uma função residual
tipo de CompilationMappingAttribute	Esse atributo é inserido automaticamente pelo compilador F# para tipos de marca e métodos no código gerado CLI com sinalizadores indicando a correspondência com construções de código-fonte original. Ela é usada pelas funções no namespace Microsoft.FSharp.Reflection para construções de mapa reversa compilados para seus formulários originais. Ele não é destinado ao uso do código do usuário.
tipo de CompilationRepresentationAttribute	Esse atributo é usado para ajustar a representação de tempo de execução para um tipo. Por exemplo, ele pode ser usado para Observe que o null representação pode ser usada para um tipo. Isso afeta como algumas construções são compiladas.
tipo de CompilationRepresentationFlags	Indica um ou mais ajustes à representação de um F# de tipo ou membro compilada.
tipo de CompilationSourceNameAttribute	Esse atributo é inserido automaticamente pelo compilador F# para métodos de marca que recebem 'compiledname' atributo. Ele não é destinado ao uso do código do usuário.
tipo de CompiledNameAttribute	Adicionar este atributo para uma definição de valor ou uma função em um módulo F# altera o nome usado para o valor no código compilado da CLI.
tipo de CompilerMessageAttribute	Indica que uma mensagem deve ser emitida quando o código de origem F# usa essa construção.
tipo de CustomComparisonAttribute	Adicionar que este atributo para um tipo indica que ele é um tipo com uma implementação definido pelo usuário, de comparação.
tipo de CustomEqualityAttribute	Adicionar que este atributo para um tipo indica que ele é um tipo com uma implementação definido pelo usuário de igualdade.
tipo de decimal <' medida >	O tipo de números decimais, anotados com uma unidade de medida. A unidade de medida é apagada em código compilado e os valores desse tipo são analisados usando reflexão. O tipo é representationally equivalente a System.Decimal.
tipo de DefaultAugmentationAttribute	Adicionar este atributo para uma união discriminada com o valor false desativa a geração de membros de testador, construtor e assessor de membro auxiliar padrão para a classe gerada de CLI para esse tipo.
tipo de DefaultValueAttribute	Adicionar este atributo para uma declaração de campo significa que o campo não foi inicializado. Durante o tipo uma restrição de verificação é confirmado que o tipo de campo oferece suporte a 'null'. Se a verificação valor é false e a restrição não é declarada.
tipo de EntryPointAttribute	Adicionar este atributo para uma função indica o ponto de entrada para um aplicativo. Se ausente não for especificar para um EXE, em seguida, a inicialização implícita nas ligações de módulo no último arquivo da seqüência de compilação são usadas como o ponto de entrada.
tipo de EqualityConditionalOnAttribute	Esse atributo é usado para indicar que um tipo de contêiner genérico satisfaz F# 'igualdade' restrição somente se um argumento genérico também satisfaz essa restrição. Por exemplo, adicionando este atributo ao parâmetro ' t em uma definição de tipo c <'T>. significa que um tipo c <X> oferece suporte apenas a igualdade se o tipo x também oferece suporte a igualdade e todas as outras condições para c <X> para oferecer suporte a igualdade também são atendidos. O tipo c <'T>. ainda podem ser usados com outros argumentos de tipo, mas um tipo como, por exemplo, C <(int-> int) > não oferecerá suporte a igualdade porque o tipo (int - > int) é um tipo de função F# e não oferece suporte a igualdade.
tipo de ExperimentalAttribute	Este atributo é usado para marcar os valores que fazem parte de um recurso experimental library.
tipo de float <' medida >	O tipo de números de ponto flutuante, anotados com uma unidade de medida. A unidade de medida é apagada em código compilado e os valores desse tipo são analisados usando reflexão. O tipo é representationally equivalente a System.Double.
tipo de float32 <' medida >	O tipo de números de ponto flutuante, anotados com uma unidade de medida. A unidade de medida é apagada em código compilado e os valores desse tipo são analisados usando reflexão. O tipo é representationally equivalente a System.Single.
tipo de FSharpFunc < T','U >	O tipo CLI usado para representar os valores da função F#. Esse tipo não é normalmente usado diretamente, embora podem ser usados de outras linguagens CLI.
tipo de FSharpInterfaceDataVersionAttribute	Esse atributo é adicionado gerado assemblies para indicar a versão do esquema de dados usado para codificar o F# informações adicionais no anexado ao recurso compilado F# bibliotecas.
tipo de FSharpTypeFunc	O tipo CLI usado para representar valores de função de primeira classe do tipo F#. Esse tipo é para uso por F# de código compilado.
tipo de FuncConvert	Funções do auxiliar para converter F# primeira classe funcionarem valores e para o representaions da CLI de funções usando delegados.
tipo de GeneralizableValueAttribute	Adicionar este atributo para um valor não-função com parâmetros genéricos indica que o usa da construção pode dar origem a código genérico por meio da inferência de tipo.
tipo de ilsigptr <'T>.	Esse tipo é para uso interno pelo gerador de código F#.
tipo de int <' medida >	O tipo de números de inteiro assinado de 32 bits, anotados com uma unidade de medida. A unidade de medida é apagada em código compilado e os valores desse tipo são analisados usando reflexão. O tipo é representationally equivalente a System.Int32.
tipo de int16 <' medida >	O tipo de números de inteiro assinado de 16 bits, anotados com uma unidade de medida. A unidade de medida é apagada em código compilado e os valores desse tipo são analisados usando reflexão. O tipo é representationally equivalente a System.Int16.
tipo de int64 <' medida >	O tipo de números de inteiro assinado de 64 bits, anotados com uma unidade de medida. A unidade de medida é apagada em código compilado e os valores desse tipo são analisados usando reflexão. O tipo é representationally equivalente a System.Int64.
tipo de InterfaceAttribute	Adicionar este atributo para um tipo faz com que ele sejam representados usando uma interface CLI.
tipo de LiteralAttribute	Adicionar este atributo para um valor faz com que ele seja compilado como uma constante CLI literal.
tipo de MeasureAnnotatedAbbreviationAttribute	Adicionando este atributo para um tipo faz com que ele deve ser interpretado como um tipo de refinado, atualmente limitado para tipos parametrizados de medida. Isso pode ser usado apenas em condições muito limitadas.
tipo de MeasureAttribute	Adicionar este atributo para um tipo faz com que ele seja interpretado como uma unidade de medida. Isso pode ser usado apenas em condições muito limitadas.
tipo de nativeptr <'T>.	Representa um ponteiro não gerenciado no código do F#.
tipo de NoComparisonAttribute	Adicionar que este atributo para um tipo indica que ele é um tipo de onde a comparação é uma operação anormal. Isso significa que o tipo não satisfaz a F# 'comparação' restrição. Dentro dos limites do sistema de tipo F#, isso ajuda a garantir que a função de comparação genérico F# não é instanciada diretamente com esse tipo. O atributo e não restringe o uso de comparação com os tipos base ou o filho desse tipo de verificação.
tipo de NoDynamicInvocationAttribute	Este atributo é usado para marcar os valores que não podem ser invocados dinamicamente em tempo de execução. Isso normalmente é adicionado às funções in-line, cujas implementações incluem o código não verificado. Faz com que o corpo do método emitida para a função embutida elevar uma exceção se chamado dinamicamente, em vez de incluindo o código não verificado no assembly gerado.
tipo de NoEqualityAttribute	Adicionar que este atributo para um tipo indica que ele é um tipo de onde a igualdade é uma operação anormal. Isso significa que o tipo não satisfaz a F# 'igualdade' restrição. Dentro dos limites do sistema de tipo F#, isso ajuda a garantir que a função de igualdade genérico F# não é instanciada diretamente com esse tipo. O atributo e não restringe o uso de comparação com os tipos base ou o filho desse tipo de verificação.
tipo de opção <'T>	O tipo de valores opcionais. Quando usado em outros idiomas CLI a opção vazia é o null valor.
tipo de OptionalArgumentAttribute	Esse atributo é adicionado automaticamente para todos os argumentos opcionais.
tipo de PrintfFormat <' impressora 'Estado' resíduo, 'Result,' tupla >	Tipo de uma expressão de formatação.
tipo de PrintfFormat <' impressora' resultado de estado, 'resíduo,' >	Tipo de uma expressão de formatação.
tipo de Ref <'T>	O tipo de referências mutáveis. Use as funções [: =] e [!] para obter e definir os valores desse tipo.
tipo de ReferenceEqualityAttribute	Adicionar este atributo para um registro ou o 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. Por padrão, o tipo irá usar igualdade de referência.
tipo de ReflectedDefinitionAttribute	Adicionar este atributo para a ligação de permitir que a definição de um valor de nível superior torna a expressão de cotação que implementa o valor disponível para uso em tempo de execução.
tipo de RequireQualifiedAccessAttribute	Esse atributo é usado para indicar que faz referência a um os elementos de um tipo de módulo, registro ou união requerem acesso qualificado explícito.
tipo de RequiresExplicitTypeArgumentsAttribute	Adicionando este atributo para um tipo, valor ou membro requer que os usos da construção devem instanciar explicitamente qualquer parâmetro de tipo genérico.
tipo de sbyte <' medida >	O tipo de números de inteiro assinado de 8 bits, anotados com uma unidade de medida. A unidade de medida é apagada em código compilado e os valores desse tipo são analisados usando reflexão. O tipo é representationally equivalente a System.SByte.
tipo de SealedAttribute	Adicionar este atributo à definição de classe torna lacrado, que significa que ele não pode ser estendido ou implementado.
tipo de SourceConstructFlags	Indica a relação entre uma entidade compilada em um binário de CLI e um elemento no código de origem F#.
tipo de StructAttribute	Adicionar este atributo para um tipo faz com que ele sejam representados usando uma struct CLI.
tipo de StructuralComparisonAttribute	Adicionar este atributo para um registro, a união, a exceção ou o tipo struct confirma a geração automática de implementações de 'System. IComparable' para o tipo.
tipo de StructuralEqualityAttribute	Adicionando este atributo para um registro, o tipo de união ou struct confirma a geração automática de substituições para 'System.Object.Equals(obj)' e 'System.Object.GetHashCode()' para o tipo.
tipo de StructuredFormatDisplayAttribute	Esse atributo é usado para marcar como um tipo é exibido por padrão, ao usar 'A %' outros layouts bidimensional de vídeo baseados em texto e os padrões de formatação de printf. Nesta versão do F# os únicos valores válidos são do formulário PreText {PropertyName} PostText. O nome da propriedade indica uma propriedade para avaliar e para exibir em vez do próprio objeto.
tipo de unidade	A tipo 'unidade', que tem apenas um valor "()". Esse valor é especial e sempre usa a representação 'nulo'.
tipo de UnverifiableAttribute	Este atributo é usado para marcar valores cujo uso resultará na geração de código não verificado. Esses valores marcados inevitavelmente 'inline' para garantir que as construções não verificadas não estão presentes no código real para a biblioteca F#, mas na verdade são copiadas para o código-fonte do chamador.
tipo de VolatileFieldAttribute	Adicionar este atributo para uma vinculação mutável F# faz com que o "volátil" prefixo a ser usado para todos os acessos ao campo.

Abreviações de tipo

Tipo	Descrição
tipo de matriz <'T>.	Único matrizes dimensionais, baseado em zero, escritos int[], string[] etc.
tipo de bigint	Arbitrariamente grandes inteiros. Abreviação para o tipo de BigInteger.
tipo de bool	Abreviação para o tipo CLI Boolean.
tipo de bytes	Abreviação para o tipo CLI Byte.
tipo de char	Abreviação para o tipo CLI Char.
tipo de decimal	Abreviação para o tipo CLI Decimal.
tipo de duplo	Abreviação para o tipo CLI Double.
tipo de exn	Abreviação para o tipo CLI Exception.
tipo de float	Abreviação para o tipo CLI Double.
tipo de float32	Abreviação para o tipo CLI Single.
tipo de formato <' impressora 'Estado' resíduo, 'Result,' tupla >	Tipo de uma expressão de formatação.
tipo de o formato <' impressora' resultado de estado, 'resíduo,' >	Tipo de uma expressão de formatação.
tipo de int	Abreviação para o tipo CLI Int32.
tipo de int16	Abreviação para o tipo CLI Int16.
tipo de int32	Abreviação para o tipo CLI Int32.
tipo de int64	Abreviação para o tipo CLI Int64.
tipo de int8	Abreviação para o tipo CLI SByte.
tipo de nativeint	Abreviação para o tipo CLI IntPtr.
tipo de obj	Abreviação para o tipo CLI Object.
tipo de opção <'T>	O tipo de valores opcionais. Quando usado em outros idiomas CLI a opção vazia é o null valor.
tipo de ref <'T>	O tipo de referências mutáveis. Use as funções [: =] e [!] para obter e definir os valores desse tipo.
tipo de sbyte	Abreviação para o tipo CLI SByte.
tipo de único	Abreviação para o tipo CLI Single.
tipo de seqüência de caracteres	Abreviação para o tipo CLI String.
tipo de uint16	Abreviação para o tipo CLI UInt16.
tipo de uint32	Abreviação para o tipo CLI UInt32.
tipo de uint64	Abreviação para o tipo CLI UInt64.
tipo de uint8	Abreviação para o tipo CLI Byte.
tipo de unativeint	Abreviação para o tipo CLI UIntPtr.
tipo de unidade	A tipo 'unidade', que tem apenas um valor "()". Esse valor é especial e sempre usa a representação 'nulo'.

Exceções

Exceção	Descrição
exceção MatchFailureException	Falhas de correspondência parcial não irá gerar a exceção de MatchFailureException

Consulte também

Outros recursos

Referência da biblioteca de núcleo do F#