Módulo de Core.Operators (F#)
Operadores F# básicos. Este módulo é aberto automaticamente em todo o código F#.
Caminho do namespace/módulo: Microsoft.FSharp.Core
Assembly: FSharp.Core (em FSharp.Core.dll)
[<AutoOpen>]
module Operators
Comentários
Para uma visão geral de operadores em F#, consulte Símbolo e o referência de operador (F#).
Módulos
Module |
Descrição |
|---|---|
módulo Checked |
Este módulo contém as operações aritméticas básicas com verificações de estouro. |
módulo OperatorIntrinsics |
Um módulo de funções intrínsecas do compilador para implementações eficientes dos intervalos de inteiro F# e invocações de dinâmicas de outros operadores F# |
módulo não verificado |
Este módulo contém as operações básicas que não se aplicam a tempo de execução e/ou verificações estáticas |
Valores
Valor |
Descrição |
|---|---|
( ! ) : 'T ref -> 'T |
Referência a uma célula de referência mutáveis. |
( % ) : ^T1 -> ^T2 -> ^T3 |
Sobrecarregado operador de módulo. |
( &&& ) : ^T -> ^T -> ^T |
Operador AND lógico sobrecarregado. |
( * ) : ^T1 -> ^T2 -> ^T3 |
Operador de multiplicação sobrecarregado. |
( ** ) : ^T -> ^U -> ^T |
Operador de exponenciação sobrecarregados. |
( + ) : ^T1 -> ^T2 -> ^T3 |
Operador de adição sobrecarregado. |
( - ) : ^T1 -> ^T2 -> ^T3 |
Operador de subtração sobrecarregado. |
( .. ) : ^T -> ^T -> seq<^T> |
O padrão sobrecarregado por exemplo, o operador de intervalo [n..m]para listas, seq {n..m} para seqüências. |
( .. .. ) : ^T -> ^Step -> ^T -> seq<^T> |
O padrão sobrecarregado ignorar o operador de intervalo, por exemplo [n..skip..m]para listas, seq {n..skip..m} para seqüências. |
( / ) : ^T1 -> ^T2 -> ^T3 |
Operador de divisão sobrecarregado. |
( := ) : 'T ref -> 'T -> unit |
Atribui a uma célula de referência mutáveis. |
( < ) : 'T -> 'T -> bool |
Estrutural menos-de comparação. |
( << ) : ('T2 -> 'T3) -> ('T1 -> 'T2) -> 'T1 -> 'T3 |
Compõe duas funções, a função à direita que está sendo aplicada primeiro. |
( <<< ) : ^T -> int32 -> ^T |
Sobrecarregado operador de esquerda de deslocamento de byte por um número de bits especificado. |
( <= ) : 'T -> 'T -> bool |
Comparação de menor que-ou igual a estrutural. |
( <> ) : 'T -> 'T -> bool |
Desigualdade estrutural. |
( <| ) : ('T -> 'U) -> 'T -> 'U |
Aplica uma função para um valor, o valor sendo à direita, a função à esquerda. |
( <|| ) : ('T1 -> 'T2 -> 'U) -> 'T1 * 'T2 -> 'U |
Aplica uma função para os dois valores, os valores, sendo um par de à direita, a função à esquerda. |
( <||| ) : ('T1 -> 'T2 -> 'T3 -> 'U) -> 'T1 * 'T2 * 'T3 -> 'U |
Aplica uma função de três valores, os valores, sendo um triplo à direita, a função à esquerda. |
( = ) : 'T -> 'T -> bool |
Igualdade estrutural. |
( > ) : 'T -> 'T -> bool |
Estrutural maior-de. |
( >= ) : 'T -> 'T -> bool |
Estrutural maior-de-ou-igual. |
( >> ) : ('T1 -> 'T2) -> ('T2 -> 'T3) -> 'T1 -> 'T3 |
Compor duas funções, a função à esquerda que está sendo aplicada primeiro. |
( >>> ) : ^T -> int32 -> ^T |
Operador de direito de deslocamento de byte sobrecarregado por um número de bits especificado. |
( @ ) : 'T list -> 'T list -> 'T list |
Concatena duas listas. |
( ^ ) : string -> string -> string |
Concatena duas seqüências de caracteres. O operador '+' também pode ser usado. |
( ^^^ ) : ^T -> ^T -> ^T |
Operador XOR lógico sobrecarregado. |
( |> ) : 'T1 -> ('T1 -> 'U) -> 'U |
Aplica uma função para um valor, o valor sendo à esquerda, a função à direita. |
( ||> ) : 'T1 * 'T2 -> ('T1 -> 'T2 -> 'U) -> 'U |
Aplica uma função para os dois valores, os valores, sendo um par à esquerda, a função à direita. |
( ||| ) : ^T -> ^T -> ^T |
Operador sobrecarregado de OR lógico |
( |||> ) : 'T1 * 'T2 * 'T3 -> ('T1 -> 'T2 -> 'T3 -> 'U) -> 'U |
Aplica uma função de três valores, os valores, sendo um triplo à esquerda, a função à direita. |
( ~+ ) : ^T -> ^T |
Operador de adição prefixo sobrecarregado. |
( ~- ) : ^T -> ^T |
Negação unário sobrecarregado. |
( ~~~ ) : ^T -> ^T |
Sobrecarregado não lógico operador. |
ABS : ^T -> ^T |
Valor absoluto de um determinado número. |
ACOS : ^T -> ^T |
Cosseno inverso de um determinado número. |
ASIN : ^T -> ^T |
Seno inverso de um determinado número. |
ATAN : ^T -> ^T |
Tangente de um determinado número. |
ATAN2 : ^T1 -> ^T2 -> 'T2 |
Tangente de x/y onde x e y são especificados separadamente. |
caixa : 'T -> obj |
Um valor com rigidez de tipos de caixas. |
Byte : ^T -> byte |
Converte o argumento para byte. Esta é uma conversão direta para todos os tipos numéricos de primitivos. Para seqüências de caracteres, a entrada é convertida usando Parse com InvariantCulture configurações. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
ceil : ^T -> ^T |
Teto de determinado número. |
char : ^T -> char |
Converte o argumento para o caractere. Entradas numéricas são convertidas de acordo com a codificação de caracteres do UTF-16. Entradas de seqüência de caracteres devem ser exatamente um caractere de comprimento. Para outros tipos de entrada, a operação requer um método estático de conversão apropriado no tipo de entrada. |
Comparar : 'T -> 'T -> int |
Comparação genérica. |
CoS : ^T -> ^T |
Cosseno de um determinado número. |
COSH : ^T -> ^T |
Cosseno hiperbólico de um determinado número. |
decimal : ^T -> decimal |
Converte o argumento Decimal usando uma conversão direta para todos os primitivos numérico tipos. Para seqüências de caracteres, a entrada é convertida usando Parse com InvariantCulture configurações. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
DECR : int ref -> unit |
Diminui a uma célula de referência mutáveis contendo um número inteiro. |
defaultArg : 'T option -> 'T -> 'T |
Usado para especificar um valor padrão para um argumento opcional na implementação de uma função. |
Enum : int32 -> ^U |
Converte o argumento em um determinado enum tipo. |
sair : int -> 'T |
Sair do processo atual de hardware isolada, se a permissão de configurações de segurança, caso contrário, elevar uma exceção. Calls Exit. |
EXP : ^T -> ^T |
O exponencial de determinado número. |
Falha : string -> exn |
Cria um Exception objeto. |
failwith : string -> 'T |
Lançar um Exception exceção. |
float : ^T -> float |
Converte o argumento float de 64 bits. Esta é uma conversão direta para todos os tipos numéricos de primitivos. Para seqüências de caracteres, a entrada é convertida usando Parse com InvariantCulture configurações. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
float32 : ^T -> float32 |
Converte o argumento float de 32 bits. Esta é uma conversão direta para todos os tipos numéricos de primitivos. Para seqüências de caracteres, a entrada é convertida usando Parse com InvariantCulture configurações. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
andar : ^T -> ^T |
Piso de determinado número. |
fst : 'T1 * 'T2 -> 'T1 |
Retornar o primeiro elemento de uma tupla, fst (a,b) = a. |
hash : 'T -> int |
Uma função de hash genérico, projetada para retornar os valores de hash igual para os itens que são iguais de acordo com o = operador. Por padrão, ele usará o hash estrutural para F# união, registro e tupla tipos, todo o conteúdo do tipo de hash. O comportamento exato da função pode ser ajustado em uma base por tipo implementando GetHashCode para cada tipo. |
ID : 'T -> 'T |
A função de identidade. |
Ignorar : 'T -> unit |
Ignore o valor transmitido. Isso é freqüentemente usado para descartar os resultados de um cálculo. |
incrementais : int ref -> unit |
Incremente a uma célula de referência mutáveis contendo um número inteiro. |
infinito : float |
Equivalente aPositiveInfinity. |
infinityf : float32 |
Equivalente aPositiveInfinity. |
int : ^T -> int |
Converte o argumento para o inteiro assinado de 32 bits. Esta é uma conversão direta para todos os tipos numéricos de primitivos. Para seqüências de caracteres, a entrada é convertida usando Parse com InvariantCulture configurações. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
Int16 : ^T -> int16 |
Converte o argumento para o inteiro assinado de 16 bits. Esta é uma conversão direta para todos os tipos numéricos de primitivos. Para seqüências de caracteres, a entrada é convertida usando Parse com InvariantCulture configurações. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
Int32 : ^T -> int32 |
Converte o argumento para o inteiro assinado de 32 bits. Esta é uma conversão direta para todos os tipos numéricos de primitivos. Para seqüências de caracteres, a entrada é convertida usando Parse) com InvariantCulture configurações. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
Int64 : ^T -> int64 |
Converte o argumento para o inteiro assinado de 64 bits. Esta é uma conversão direta para todos os tipos numéricos de primitivos. Para seqüências de caracteres, a entrada é convertida usando Parse com InvariantCulture configurações. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
invalidArg : string -> string -> 'T |
Lançar um ArgumentException exceção. |
invalidOp : string -> 'T |
Lançar um InvalidOperationException exceção. |
limitedHash : int -> 'T -> int |
Uma função de hash genérico. Esta função tem o mesmo comportamento hash, no entanto, o padrão estrutural de hash para F# união, registro e tupla tipos pára quando o limite determinado de nós é alcançado. O comportamento exato da função pode ser ajustado em uma base por tipo implementando GetHashCode para cada tipo. |
Bloqueio : 'Lock -> (unit -> 'T) -> 'T |
Execute a função como uma região de exclusão mútua, usando o valor de entrada como um bloqueio. |
log : ^T -> ^T |
Logaritmo natural de um determinado número. |
LOG10 : ^T -> ^T |
Logaritmo de base 10 de determinado número. |
máx : 'T -> 'T -> 'T |
Máximo com base em comparação genérica. |
Mín. : 'T -> 'T -> 'T |
Mínimo com base em comparação genérica. |
NaN : float |
Equivalente aNaN. |
nanf : float32 |
Equivalente aNaN. |
nativeint : ^T -> nativeint |
Converte o argumento para o inteiro assinado de nativo. Esta é uma conversão direta para todos os tipos numéricos de primitivos. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
não : bool -> bool |
Negar a um valor lógico. |
nullArg : string -> 'T |
Lançar um ArgumentNullException exceção. |
POWN : ^T -> int -> ^T |
Operador de energia sobrecarregados. Se n > 0 , em seguida, equivalente a x*...*x para n ocorrências de x. |
aumentar : Exception -> 'T |
Gera uma exceção. |
Ref : 'T -> 'T ref |
Crie uma célula de referência mutáveis. |
reraise : unit -> 'T |
Relança uma exceção. Isso deve ser usado somente quando estiver manipulando uma exceção. |
Arredondar : ^T -> ^T |
Arredondar o número determinado. |
sbyte : ^T -> sbyte |
Converte o argumento para byte assinado. Esta é uma conversão direta para todos os tipos numéricos de primitivos. Para seqüências de caracteres, a entrada é convertida usando Parse com InvariantCulture configurações. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
SEQ : seq<'T> -> seq<'T> |
Cria uma seqüência usando a sintaxe da expressão de seqüência. |
sinal : ^T -> int |
Sinal de determinado número. |
sin : ^T -> ^T |
Seno de um determinado número. |
SINH : ^T -> ^T |
Seno hiperbólico de um determinado número. |
sizeof : int |
Retorna o tamanho interno de um tipo em bytes. Por exemplo, sizeof<int> retorna 4. |
snd : 'T1 * 'T2 -> 'T2 |
Retornar o segundo elemento de uma tupla, snd (a,b) = b. |
raiz : ^T -> ^T |
Raiz quadrada de um determinado número. |
stderr : TextWriter |
Lê o valor da propriedade Error. |
stdin : TextReader |
Lê o valor da propriedade In. |
stdout : TextWriter |
Lê o valor da propriedade Out. |
string : ^T -> string |
Converte o argumento em uma seqüência de caracteres usando ToString. |
Tan : ^T -> ^T |
Tangente de um determinado número. |
TANH : ^T -> ^T |
Tangente hiperbólica de um determinado número. |
Truncar : ^T -> ^T |
Operador sobrecarregado de truncamento. |
typedefof : Type |
Gerar um Type representação para um tipo de definição. Se o tipo de entrada é uma instanciação do tipo genérico, em seguida, retornar a definição de tipo genérico associada a todos os tais instanciações. |
TypeOf : Type |
Gerar um Type representação de tempo de execução do tipo estático. O tipo estático ainda é mantido no valor retornado. |
UInt16 : ^T -> uint16 |
Converte o argumento inteiro não assinado de 16 bits. Esta é uma conversão direta para todos os tipos numéricos de primitivos. Para seqüências de caracteres, a entrada é convertida usando Parse com InvariantCulture configurações. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
UInt32 : ^T -> uint32 |
Converte o argumento inteiro de 32 bits sem sinal. Esta é uma conversão direta para todos os tipos numéricos de primitivos. Para seqüências de caracteres, a entrada é convertida usando Parse com InvariantCulture configurações. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
UInt64 : ^T -> uint64 |
Converte o argumento inteiro não assinado de 64 bits. Esta é uma conversão direta para todos os tipos numéricos de primitivos. Para seqüências de caracteres, a entrada é convertida usando Parse com InvariantCulture configurações. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
unativeint : ^T -> nativeint |
Converte o argumento inteiro não assinado de nativo usando uma conversão direta para todos os tipos numéricos de primitivos. Caso contrário, a operação requer um método estático de conversão apropriado no tipo de entrada. |
é possível converter : obj -> 'T |
Unboxes um valor com rigidez de tipos. Este é o inverso da box, unbox<'T>(box<'T> a) é igual a a. |
Usando : 'T -> ('T -> 'U) -> 'U |
Limpe os recursos associados ao objeto de entrada após a conclusão da função dada. Limpeza ocorre mesmo quando uma exceção é gerada pelo código protegido. |
Padrões de ativos
Padrão ativo |
Descrição |
|---|---|
( |Failure|_| ) : exn -> string option |
Correspondências Exception os objetos cujo tipo de tempo de execução é precisamente Exception. |
( |KeyValue| ) : KeyValuePair<'Key,'Value> -> 'Key * 'Value |
Um padrão de ativo para corresponderem aos valores do tipoKeyValuePair<TKey, TValue> |
Plataformas
O Windows 7, SP2 do Windows Vista, Windows XP SP3, Windows XP Professional x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2
Informações sobre versão
O tempo de execução F#
Compatível com: 2.0, 4.0
Silverlight
Compatível com: 3