Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Eff type
Examples with "Eff type" and their translation in Spaans
Actions have the Eff type on the right hand side of their functions, and their purpose is to introduce new effects.
Las acciones tienen el tipo Eff a la parte derecha de sus funciones, y su propósito es introducir nuevos efectos.
The definition of the Eff type constructor is given in the Control.Monad.Eff module as follows
La definición del constructor de tipo Eff viene dada en el módulo Control.Monad.Eff como sigue
This is in contrast to handlers, in which the Eff type appears as the type of a function argument.
Recall that the Eff type constructor is parameterized by a row of effects and a return type, which is reflected in its kind.
Recuerda que el constructor de tipo Eff está parametrizado por una fila de efectos y un tipo de retorno, lo que viene reflejado en su familia.
Andere resultaten
Expressions of type Eff eff a can be invoked from JavaScript like regular JavaScript methods.
Las expresiones de tipo Eff eff a se pueden invocar desde JavaScript como métodos JavaScript normales.
The only way in which side-effects managed by the Eff monad will be presented is to run a computation of type Eff eff a from JavaScript.
La única forma en que los efectos secundarios gestionados por la monada Eff se presentarán es ejecutar un cálculo de tipo Eff eff a desde JavaScript.
8.13 The Kind of Eff The type of main is unlike other types we've seen before.
Its runtime representation is quite simple - an expression of type Eff eff a should evaluate to a JavaScript function of no arguments, which performs any side-effects and returns a value with the correct runtime representation for type a.
Su representación en tiempo de ejecución es bastante simple; una expresión de tipo Eff eff a debe evaluarse a una función JavaScript sin argumentos que realiza cualquier efecto secundario y devuelve un valor con la representación en tiempo de ejecución para el tipo a.
For example, since the main function is required to have type Eff eff a for some set of effects eff and some type a, it can be invoked as follows
Por ejemplo, como la función main tiene que tener el tipo Eff eff a para algún conjunto de efectos eff y algún tipo a, se puede invocar como sigue
Note that, as in the case of log, the alert function uses a function of no arguments to represent the computation of type Eff (alert:: ALERT | eff) Unit.
Date cuenta de que al igual que en el caso de log, la función alert usa una función sin argumentos para representar el cálculo de tipo Eff (alert:: ALERT | eff) Unit.
The Eff monad is also defined as a foreign type in the Prelude.
La monada Eff se define también como un tipo externo en el Prelude.
Notice that the callbacks themselves are given types which use the Eff monad to track their effects.
Fíjate en que a las retrollamadas les damos tipos que usan la monada Eff para registrar sus efectos.
We saw how the Eff monad supports extensible effects, and how multiple types of native effect can be interleaved into the same computation.
Hemos visto cómo la monada Eff soporta efectos extensibles, y cómo múltiples tipos de efectos nativos se pueden intercalar en el mismo cálculo.
Synoniemen voor Eff type in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
type eff
1
Resultaten: 33. Exact: 4. Verstreken tijd: 300 ms.
