Core.Operators (Módulo de F#)
Operadores básicos de F#.Este módulo se abre automáticamente en todo el código de F#.
Espacio de nombres/Ruta de acceso del módulo: Microsoft.FSharp.Core
Ensamblado: FSharp.Core (en FSharp.Core.dll)
[<AutoOpen>]
module Operators
Comentarios
Para obtener información general sobre los operadores de F#, vea Referencia de símbolos y operadores (F#).
Módulos
Módulo |
Descripción |
|---|---|
módulo Checked |
Este módulo contiene las operaciones aritméticas básicas con comprobaciones de desbordamiento. |
módulo OperatorIntrinsics |
Módulo de funciones intrínsecas del compilador para lograr implementaciones eficaces de intervalos de enteros de F# e invocaciones dinámicas de otros operadores de F#. |
módulo Unchecked |
Este módulo contiene operaciones básicas que no aplican comprobaciones en tiempo de ejecución y/o estáticas. |
Valores
Valor |
Descripción |
|---|---|
( ! ) : 'T ref -> 'T |
Desreferencia una celda de referencia mutable. |
( % ) : ^T1 -> ^T2 -> ^T3 |
Operador de módulo sobrecargado. |
( &&& ) : ^T -> ^T -> ^T |
Operador bit a bit sobrecargado AND. |
( * ) : ^T1 -> ^T2 -> ^T3 |
Operador de multiplicación sobrecargado. |
( ** ) : ^T -> ^U -> ^T |
Operador de exponenciación sobrecargado. |
( + ) : ^T1 -> ^T2 -> ^T3 |
Operador de suma sobrecargado. |
( - ) : ^T1 -> ^T2 -> ^T3 |
Operador de resta sobrecargado. |
( .. ) : ^T -> ^T -> seq<^T> |
El operador de intervalo sobrecargado estándar, eg...[n..m] para las listas, seq {n..m} para las secuencias. |
( .. .. ) : ^T -> ^Step -> ^T -> seq<^T> |
El operador de intervalo sobrecargado estándar skip, eg...[n..skip..m] para las listas, seq {n..skip..m} para las secuencias. |
( / ) : ^T1 -> ^T2 -> ^T3 |
Operador de división sobrecargado. |
( := ) : 'T ref -> 'T -> unit |
Realiza una asignación a una celda de referencia mutable. |
( < ) : 'T -> 'T -> bool |
Comparación menor que estructural. |
( << ) : ('T2 -> 'T3) -> ('T1 -> 'T2) -> 'T1 -> 'T3 |
Compone dos funciones y la función de la derecha se aplica primero. |
( <<< ) : ^T -> int32 -> ^T |
Operador de desplazamiento de bits a la izquierda sobrecargado por un número especificado de bits. |
( <= ) : 'T -> 'T -> bool |
Comparación menor o igual que estructural. |
( <> ) : 'T -> 'T -> bool |
Desigualdad estructural. |
( <| ) : ('T -> 'U) -> 'T -> 'U |
Aplica una función a un valor. El valor está a la derecha y la función a la izquierda. |
( <|| ) : ('T1 -> 'T2 -> 'U) -> 'T1 * 'T2 -> 'U |
Aplica una función a dos valores. Los valores son un par situado a la derecha y la función está a la izquierda. |
( <||| ) : ('T1 -> 'T2 -> 'T3 -> 'U) -> 'T1 * 'T2 * 'T3 -> 'U |
Aplica una función a tres valores. Los valores son un triple situado a la derecha y la función está a la izquierda. |
( = ) : 'T -> 'T -> bool |
Igualdad estructural. |
( > ) : 'T -> 'T -> bool |
Mayor que estructural. |
( >= ) : 'T -> 'T -> bool |
Mayor o igual que estructural. |
( >> ) : ('T1 -> 'T2) -> ('T2 -> 'T3) -> 'T1 -> 'T3 |
Compone dos funciones y la función de la izquierda se aplica primero. |
( >>> ) : ^T -> int32 -> ^T |
Operador de desplazamiento de bits a la derecha sobrecargado por un número especificado de bits. |
( @ ) : 'T list -> 'T list -> 'T list |
Concatena dos listas. |
( ^ ) : string -> string -> string |
Concatena dos cadenas.También se puede usar el operador '+'. |
( ^^^ ) : ^T -> ^T -> ^T |
Operador bit a bit sobrecargado XOR. |
( |> ) : 'T1 -> ('T1 -> 'U) -> 'U |
Aplica una función a un valor. El valor está a la izquierda y la función a la derecha. |
( ||> ) : 'T1 * 'T2 -> ('T1 -> 'T2 -> 'U) -> 'U |
Aplica una función a dos valores. Los valores son un par situado a la izquierda y la función está a la derecha. |
( ||| ) : ^T -> ^T -> ^T |
Bit a bit sobrecargado operador OR |
( |||> ) : 'T1 * 'T2 * 'T3 -> ('T1 -> 'T2 -> 'T3 -> 'U) -> 'U |
Aplica una función a tres valores. Los valores son un triple situado a la izquierda y la función está a la derecha. |
( ~+ ) : ^T -> ^T |
Operador prefix plus sobrecargado |
( ~- ) : ^T -> ^T |
Negación unaria sobrecargada. |
( ~~~ ) : ^T -> ^T |
Operador bit a bit sobrecargado NOT. |
abs : ^T -> ^T |
Valor absoluto del número especificado. |
acos : ^T -> ^T |
Coseno inverso del número especificado. |
asin : ^T -> ^T |
Seno inverso del número especificado. |
atan : ^T -> ^T |
Tangente inversa del número especificado. |
atan2 : ^T1 -> ^T2 -> 'T2 |
Tangente inversa de x/y, donde x e y se especifican por separado. |
box : 'T -> obj |
Aplica una conversión boxing a un valor fuertemente tipado. |
byte : ^T -> byte |
Convierte el argumento en un byte.Se trata de una conversión directa para todos los tipos numéricos primitivos.Para cadenas, la entrada se convierte usando Parse con la configuración InvariantCulture.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
ceil : ^T -> ^T |
Múltiplo superior del número especificado. |
char : ^T -> char |
Convierte el argumento en un carácter.Las entradas numéricas se convierten según la codificación de caracteres UTF-16.Las entradas de cadena deben tener exactamente un carácter.Para otros tipos de entrada, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
compare : 'T -> 'T -> int |
Comparación genérica. |
cos : ^T -> ^T |
Coseno del número especificado. |
cosh : ^T -> ^T |
Coseno hiperbólico del número especificado. |
decimal : ^T -> decimal |
Convierte el argumento en Decimal usando una conversión directa para todos los tipos numéricos primitivos.Para cadenas, la entrada se convierte usando Parse con la configuración InvariantCulture.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
decr : int ref -> unit |
Disminuye una celda de referencia mutable que contiene un entero. |
defaultArg : 'T option -> 'T -> 'T |
Se usa para especificar un valor predeterminado para un argumento opcional en la implementación de una función. |
enum : int32 -> ^U |
Convierte el argumento en un tipo enum determinado. |
salida : int -> 'T |
Sale del proceso aislado de hardware actual, si la configuración de seguridad lo permite; de lo contrario, produce una excepción.Llama a Exit. |
exp : ^T -> ^T |
Exponencial del número especificado. |
Error : string -> exn |
Compila un objeto Exception. |
failwith : string -> 'T |
Produce una excepción Exception. |
float : ^T -> float |
Convierte el argumento en un valor de tipo float de 64 bits.Se trata de una conversión directa para todos los tipos numéricos primitivos.Para cadenas, la entrada se convierte usando Parse con la configuración InvariantCulture.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
float32 : ^T -> float32 |
Convierte el argumento en un valor de tipo float de 32 bits.Se trata de una conversión directa para todos los tipos numéricos primitivos.Para cadenas, la entrada se convierte usando Parse con la configuración InvariantCulture.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
floor : ^T -> ^T |
Valor inferior del número especificado. |
fst : 'T1 * 'T2 -> 'T1 |
Devuelve el primer elemento de una tupla, fst (a,b) = a. |
hash : 'T -> int |
Función hash genérica diseñada para devolver valores hash iguales para los elementos que son iguales según el operador =.De forma predeterminada se usará hash estructural para los tipos de unión, registro y tupla de F#, aplicando un algoritmo hash a todo el contenido del tipo.El comportamiento exacto de la función puede ajustarse para cada tipo implementando GetHashCode para cada uno de los tipos. |
id : 'T -> 'T |
Función de identidad. |
ignore : 'T -> unit |
Omite el valor que se ha pasado.Esta función suele usarse para omitir los resultados de un cálculo. |
incr : int ref -> unit |
Incrementa una celda de referencia mutable que contiene un entero. |
infinity : float |
Equivalente a PositiveInfinity. |
infinityf : float32 |
Equivalente a PositiveInfinity. |
Valor int. : ^T -> int |
Convierte el argumento en un entero de 32 bits con signo.Se trata de una conversión directa para todos los tipos numéricos primitivos.Para cadenas, la entrada se convierte usando Parse con la configuración InvariantCulture.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
int16 : ^T -> int16 |
Convierte el argumento en un entero de 16 bits con signo.Se trata de una conversión directa para todos los tipos numéricos primitivos.Para cadenas, la entrada se convierte usando Parse con la configuración InvariantCulture.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
int32 : ^T -> int32 |
Convierte el argumento en un entero de 32 bits con signo.Se trata de una conversión directa para todos los tipos numéricos primitivos.Para las cadenas, la entrada se convierte usando Parse) con la configuración de InvariantCulture.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
int64 : ^T -> int64 |
Convierte el argumento en un entero de 64 bits con signo.Se trata de una conversión directa para todos los tipos numéricos primitivos.Para cadenas, la entrada se convierte usando Parse con la configuración InvariantCulture.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
invalidArg : string -> string -> 'T |
Produce una excepción ArgumentException. |
invalidOp : string -> 'T |
Produce una excepción InvalidOperationException. |
limitedHash : int -> 'T -> int |
Función hash genérica.Esta función tiene el mismo comportamiento que hash; sin embargo, el hash estructural predeterminado para los tipos de unión, registro y tupla de F# se detiene cuando se alcanza el límite especificado de nodos.El comportamiento exacto de la función puede ajustarse para cada tipo implementando GetHashCode para cada uno de los tipos. |
bloquear : 'Lock -> (unit -> 'T) -> 'T |
Ejecuta la función como una región de exclusión mutua usando el valor de entrada como un bloqueo. |
log : ^T -> ^T |
Logaritmo natural del número especificado. |
log10 : ^T -> ^T |
Logaritmo en base 10 del número especificado. |
max : 'T -> 'T -> 'T |
Valor máximo basado en una comparación genérica. |
min : 'T -> 'T -> 'T |
Valor mínimo basado en una comparación genérica. |
nan : float |
Equivalente a NaN. |
nanf : float32 |
Equivalente a NaN. |
nativeint : ^T -> nativeint |
Convierte el argumento en un entero nativo con signo.Se trata de una conversión directa para todos los tipos numéricos primitivos.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
not : bool -> bool |
Niega un valor lógico. |
nullArg : string -> 'T |
Produce una excepción ArgumentNullException. |
pown : ^T -> int -> ^T |
Operador de potencia sobrecargado.Si n > 0, equivale a x*...*x para n apariciones de x. |
raise : Exception -> 'T |
Genera una excepción. |
ref : 'T -> 'T ref |
Crea una celda de referencia mutable. |
reraise : unit -> 'T |
Vuelve a producir una excepción.Solo se debe usar al administrar una excepción. |
round : ^T -> ^T |
Redondea el número especificado. |
sbyte : ^T -> sbyte |
Convierte el argumento en un byte con signo.Se trata de una conversión directa para todos los tipos numéricos primitivos.Para cadenas, la entrada se convierte usando Parse con la configuración InvariantCulture.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
seq : seq<'T> -> seq<'T> |
Compila una secuencia usando la sintaxis de expresión de secuencia. |
sign : ^T -> int |
Signo del número especificado. |
sin : ^T -> ^T |
Seno del número especificado. |
sinh : ^T -> ^T |
Seno hiperbólico del número especificado. |
sizeof : int |
Devuelve el tamaño interno, expresado en bytes, de un tipo.Por ejemplo, sizeof<int> devuelve 4. |
snd : 'T1 * 'T2 -> 'T2 |
Devuelve el segundo elemento de una tupla, snd (a,b) = b. |
sqrt : ^T -> ^T |
Raíz cuadrada del número especificado. |
stderr : TextWriter |
Lee el valor de la propiedad Error. |
stdin : TextReader |
Lee el valor de la propiedad In. |
stdout : TextWriter |
Lee el valor de la propiedad Out. |
string : ^T -> string |
Convierte el argumento en una cadena usando ToString. |
tan : ^T -> ^T |
Tangente del número especificado. |
tanh : ^T -> ^T |
Tangente hiperbólica del número especificado. |
truncate : ^T -> ^T |
Operador de truncamiento sobrecargado. |
typedefof : Type |
Generar una representación Type de una definición de tipo.Si el tipo de entrada es una creación de instancias de tipo genérico, se devuelve la definición de tipo genérico asociada a todas esas creaciones de instancias. |
typeof : Type |
Generar una representación Type en tiempo de ejecución de un tipo estático.El tipo estático se mantiene en el valor devuelto. |
uint16 : ^T -> uint16 |
Convierte el argumento en un entero de 16 bits sin signo.Se trata de una conversión directa para todos los tipos numéricos primitivos.Para cadenas, la entrada se convierte usando Parse con la configuración InvariantCulture.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
uint32 : ^T -> uint32 |
Convierte el argumento en un entero de 32 bits sin signo.Se trata de una conversión directa para todos los tipos numéricos primitivos.Para cadenas, la entrada se convierte usando Parse con la configuración InvariantCulture.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
uint64 : ^T -> uint64 |
Convierte el argumento en un entero de 64 bits sin signo.Se trata de una conversión directa para todos los tipos numéricos primitivos.Para cadenas, la entrada se convierte usando Parse con la configuración InvariantCulture.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
unativeint : ^T -> nativeint |
Convierte el argumento en un entero nativo sin signo usando una conversión directa para todos los tipos numéricos primitivos.De lo contrario, la operación necesita un método de conversión estática apropiado en el tipo de entrada. |
unbox : obj -> 'T |
Aplica una conversión unboxing a un valor fuertemente tipado.Es el inverso de box, unbox<'T>(box<'T> a) igual a a. |
using : 'T -> ('T -> 'U) -> 'U |
Limpia los recursos asociados al objeto de entrada después de completarse la función especificada.La limpieza se realiza aunque el código protegido produzca una excepción. |
Modelos activos
Modelo activo |
Descripción |
|---|---|
( |Failure|_| ) : exn -> string option |
Busca coincidencias de objetos Exception cuyo tipo en tiempo de ejecución es precisamente Exception. |
( |KeyValue| ) : KeyValuePair<'Key,'Value> -> 'Key * 'Value |
Modelo activo para buscar coincidencias con los valores de tipo KeyValuePair<TKey, TValue> |
Plataformas
Windows 8, Windows 7, Windows Server 2012, Windows Server 2008 R2
Información de versiones
Versiones de la biblioteca básica de F#
Se admite en: 2.0, 4.0, portables