Utilizando el tipo abstracto de datos de las colas, definir las funciones
contenidaCola :: Eq a => Cola a -> Cola a -> Bool
tal que contenidaCola c1 c2 se verifica si todos los elementos de la cola c1 son elementos de la cola c2. Por ejemplo,
λ> ej1 = inserta 3 (inserta 2 vacia) λ> ej2 = inserta 3 (inserta 4 vacia) λ> ej3 = inserta 5 (inserta 2 (inserta 3 vacia)) λ> contenidaCola ej1 ej3 True λ> contenidaCola ej2 ej3 False
Utilizando el tipo abstracto de datos de las colas, definir las funciones
perteneceCola :: Eq a => a -> Cola a -> Bool
tal que perteneceCola x c se verifica si x es un elemento de la cola c. Por ejemplo,
perteneceCola 2 (inserta 5 (inserta 2 (inserta 3 vacia))) == True perteneceCola 4 (inserta 5 (inserta 2 (inserta 3 vacia))) == False
Utilizando el tipo abstracto de datos de las colas, definir las funciones
agrupaColas :: [Cola a] -> Cola a
tal que agrupaColas [c1,c2,c3,...,cn] es la cola formada mezclando las colas de la lista como sigue: mezcla c1 con c2, el resultado con c3, el resultado con c4, y así sucesivamente. Por ejemplo,
λ> ej1 = inserta 2 (inserta 5 vacia) λ> ej2 = inserta 3 (inserta 7 (inserta 4 vacia)) λ> ej3 = inserta 9 (inserta 0 (inserta 1 (inserta 6 vacia))) λ> agrupaColas [] - λ> agrupaColas [ej1] 5 | 2 λ> agrupaColas [ej1, ej2] 5 | 4 | 2 | 7 | 3 λ> agrupaColas [ej1, ej2, ej3] 5 | 6 | 4 | 1 | 2 | 0 | 7 | 9 | 3
Utilizando el tipo abstracto de datos de las colas, definir las funciones
intercalaColas :: Cola a -> Cola a -> Cola a
tal que intercalaColas c1 c2 es la cola formada por los elementos de c1 y c2 colocados en una cola, de forma alternativa, empezando por los elementos de c1. Por ejemplo,
λ> ej1 = inserta 3 (inserta 5 vacia) λ> ej2 = inserta 0 (inserta 7 (inserta 4 (inserta 9 vacia))) λ> intercalaColas ej1 ej2 5 | 9 | 3 | 4 | 7 | 0 λ> intercalaColas ej2 ej1 9 | 5 | 4 | 3 | 7 | 0
Utilizando el tipo abstracto de datos de las colas, definir las funciones
extiendeCola :: Cola a -> Cola a -> Cola a
tal que extiendeCola c1 c2 es la cola que resulta de poner los elementos de la cola c2 a continuación de los de la cola de c1. Por
ejemplo,
λ> ej1 = inserta 3 (inserta 2 vacia) λ> ej2 = inserta 5 (inserta 3 (inserta 4 vacia)) λ> ej1 2 | 3 λ> ej2 4 | 3 | 5 λ> extiendeCola ej1 ej2 2 | 3 | 4 | 3 | 5 λ> extiendeCola ej2 ej1 4 | 3 | 5 | 2 | 3
Utilizando el tipo abstracto de datos de las colas, definir las funciones
algunoVerifica :: (a -> Bool) -> Cola a -> Bool
tal que algunoVerifica p c se verifica si alguno de los elementos de la cola c cumplen la propiedad p. Por ejemplo,
algunoVerifica (< 0) (inserta 3 (inserta (-2) vacia)) == True algunoVerifica (< 0) (inserta 3 (inserta 2 vacia)) == False
Utilizando el tipo abstracto de datos de las colas, definir las funciones
todosVerifican :: (a -> Bool) -> Cola a -> Bool
tal que todosVerifican p c se verifica si todos los elementos de la cola c cumplen la propiedad p. Por ejemplo,
todosVerifican (>0) (inserta 3 (inserta 2 vacia)) == True todosVerifican (>0) (inserta 3 (inserta (-2) vacia)) == False
Utilizando el tipo abstracto de datos de las colas, definir las funciones
longitudCola :: Cola a -> Int
tal que longitudCola c es el número de elementos de la cola c. Por ejemplo,
longitudCola (inserta 4 (inserta 2 (inserta 5 vacia))) == 3
Utilizando el tipo abstracto de datos de las colas, definir las funciones
ultimoCola :: Cola a -> a
tal que ultimoCola c es el último elemento de la cola c. Por ejemplo,
ultimoCola (inserta 3 (inserta 5 (inserta 2 vacia))) == 3 ultimoCola (inserta 2 vacia) == 2
Utilizando el tipo abstracto de datos de las colas, definir las funciones
listaAcola :: [a] -> Cola a colaAlista :: Cola a -> [a]
tales que
listaAcola xs es la cola formada por los elementos de xs. Por ejemplo,λ> listaAcola [3, 2, 5] 3 | 2 | 5
colaAlista c es la lista formada por los elementos de la cola c. Por ejemplo,λ> colaAlista (inserta 5 (inserta 2 (inserta 3 vacia))) [3, 2, 5]
Comprobar con QuickCheck que ambas funciones son inversa; es decir,
colaAlista (listaAcola xs) = xs listaAcola (colaAlista c) = c