Lo que dices ser un registro en haskell es un tipo de dato, los registros son otra cosa. Por otro lado, hay que tener claro que en haskell todas las variables son inmutables. Cambiar un valor es crear un nuevo objeto con el nuevo valor.
Tu función cambioDeNombre
, debe crear un dato de tipo Persona
a partir de otro Persona
, usando la descomposición de tipos para obtener las partes edad
y dni
:
data Persona = P String Int String -- Nombre Edad DNI
cambioDeNombre :: String -> Persona -> Persona
cambioDeNombre nombre persona = P nombre edad dni
where P _ edad dni = persona
Se puede hacer incluso más directo, aunque menos inteligible:
data Persona = P String Int String -- Nombre Edad DNI
cambioDeNombre :: String -> Persona -> Persona
cambioDeNombre nombre (P _ edad dni) = P nombre edad dni