Necesito validar el tipo de dato en una función haskell, pero no entiendo como hacerlo. Lo que quiero hacer es convertir un tipo de dato a un String:
type T = [TB]
data TB= SmallWord String | Blank | BigWord String
deriving (Eq,Show)
Blank es un espacio en blanco, y BigWord es string que se debe unir con el siguiente (usualmente SmallWord). Entre cada elemento hay un espacio con excepción de BigWord. Actualmente tengo:
converti :: T -> String
converti (x:xs) = converti2 x ++ " " ++ converti xs
converti2 :: TB -> String
converti2 (SmallWord p) = p
converti2 (Blank) = " "
converti2 (BigWord w) = w
Sin embargo, la validación de BigWord y que se una con el siguiente Word o BigWord no entiendo como hacerla. Aquí un ejemplo del resultado:
[SmallWord "la", BigWord "cami", SmallWord "sa", Blank, SmallWord "azul"]
result: "la camisa azul" -- entre camisa y azul hay dos espacios por Blank
BigWord
es unBlank
?