Compartir a través de


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 lógico AND sobrecargado.

( * ) : ^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>

Operador de intervalo sobrecargado estándar; por ejemplo, [n..m] para listas, seq {n..m} para secuencias.

( .. .. ) : ^T -> ^Step -> ^T -> seq<^T>

Operador de omisión de intervalo sobrecargado estándar; por ejemplo, [n..skip..m] para listas, seq {n..skip..m} para 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 lógico XOR sobrecargado.

( |> ) : '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

Operador OR lógico sobrecargado.

( |||> ) : '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 lógico NOT sobrecargado.

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.

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.

lock : '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 valores de tipo KeyValuePair<TKey, TValue>

Plataformas

Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2

Información de versiones

Runtime de F#

Se admite en las versiones: 2.0, 4.0

Silverlight

Se admite en la versión: 3

Vea también

Referencia

Microsoft.FSharp.Core (Espacio de nombres de F#)