Herramientas de usuario
wiki2:elm
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anterior Revisión previa Próxima revisión | Revisión previa | ||
|
wiki2:elm [2020/05/13 18:27] alfred [Types] |
wiki2:elm [2020/05/16 11:53] (actual) |
||
|---|---|---|---|
| Línea 160: | Línea 160: | ||
| </code> | </code> | ||
| + | === Constructing records from another === | ||
| + | <code> | ||
| + | > type alias A = { a: String, b: Int } | ||
| + | > type alias B = { a: String, b: Int } | ||
| + | > a : A | ||
| + | | a = A "prueba" 666 | ||
| + | { a = "prueba", b = 666 } : A | ||
| + | > b : B | ||
| + | | b = a | ||
| + | { a = "prueba", b = 666 } : B | ||
| + | </code> | ||
| ==== Type annotation ==== | ==== Type annotation ==== | ||
wiki2/elm.1589394454.txt.gz · Última modificación: 2020/05/13 19:27 (editor externo)
Herramientas de la página
Excepto donde se indique lo contrario, el contenido de este wiki esta bajo la siguiente licencia: CC Attribution-Noncommercial-Share Alike 4.0 International
