Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
data constructor to
Examples with "data constructor to" and their translation in Spaans
Exercises (Medium) Add a new data constructor to the ContentF type to support a new action comment, which renders a comment in the generated HTML.
Ejercicios (Medio) Añade un nuevo constructor de datos al tipo ContentF para soportar una nueva acción apropiada.
Andere resultaten
The argument to the ContT data constructor looks remarkably similar to the types of readFile and writeFile.
El argumento al constructor de datos ContT se parece notablemente a los tipos de readFile y writeFile.
To implement this function, we need to handle the three data constructors of the Alphabet type.
Para implementar esta función necesitamos gestionar los tres constructores del tipo Alphabet.
This data type defines one data constructor for each letter in our alphabet.
Este tipo de datos define un constructor de datos para cada letra de nuestro alfabeto.
Data constructors can also be used to define recursive data structures.
Los constructores de datos se pueden usar también para definir estructuras de datos recursivas.
Note that we no longer export any data constructors directly
Date cuenta de que ya no exportamos ningún constructor de datos directamente
Here, we export the Element type, but we do not export its data constructors.
Aquí exportamos el tipo Element, pero no exportamos sus constructores de datos.
Creating HTML documents is difficult - every new element requires at least one record and one data constructor.
Crear documentos HTML es difícil; cada nuevo elemento requiere al menos un registro y un constructor de datos.
To do this, we need to create a Functor with one data constructor for each monadic action we wish to support.
Para hacer esto necesitamos crear un Functor con un constructor de datos para cada acción monádica que deseamos soportar.
The test conditions were not theoretical, as all data constructor that can be found but more realistic about the use that we can have in practice.
En estas condiciones no eran teóricos, ya que todos constructor de datos que se pueden encontrar, pero más realista sobre el uso que podemos tener en la práctica.
In our case, we can simply use the data constructors of our ContentF type constructor directly
En nuestro caso, podemos simplemente usar los constructores de datos de nuestro constructor de tipo ContentF directamente
A type constructor and any associated data constructors, indicated by the name of the type followed by a parenthesized list of exported data constructors.
Un constructor de tipo y cualquier constructor de datos asociado, indicado por el nombre del tipo seguido por una lista entre paréntesis de constructores de datos exportados.
which would define datatype "Dir" with data constructor "D".
que define el tipo de datos "Dir" con el constructor de datos "D".
Synoniemen voor data constructor to in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 184. Exact: 1. Verstreken tijd: 468 ms.
