I1M.Cola

TAD (tipo abstracto de datos) de las colas.

Este módulo contiene el código del TAD de las colas estudiado en el tema 15 del curso.

Documentation

data Cola a

Tipo de las colas.

Instances

Eq a => Eq (Cola a)

Defined in I1M.Cola

Methods

(==) :: Cola a -> Cola a -> Bool

(/=) :: Cola a -> Cola a -> Bool

Show a => Show (Cola a)

Defined in I1M.Cola

Methods

showsPrec :: Int -> Cola a -> ShowS

show :: Cola a -> String

showList :: [Cola a] -> ShowS

vacia :: Cola a

c1 es un ejemplo de cola que se usará en los siguientes ejemplos.

ghci> c1
C [10,9,8,7,6,5,4,3,2,1]

c1 = foldr inserta vacia [1..10]

vacia es la cola vacía. Por ejemplo,

ghci> vacia
C []

inserta :: a -> Cola a -> Cola a

(inserta x c) es la cola obtenida añadiendo x al final de la cola c. Por ejemplo,

inserta 12 (foldr inserta vacia [1..10])  ==  C [10,9,8,7,6,5,4,3,2,1,12]

primero :: Cola a -> a

(primero c) es el primer elemento de la cola c. Por ejemplo,

primero (foldr inserta vacia [1..10])  ==  10

resto :: Cola a -> Cola a

(resto c) es la cola obtenida eliminando el primer elemento de la cola c. Por ejemplo,

resto (foldr inserta vacia [1..10])  ==  C [9,8,7,6,5,4,3,2,1]

esVacia :: Cola a -> Bool

(esVacia c) se verifica si c es la cola vacía. Por ejemplo,

esVacia (foldr inserta vacia [1..10])  ==  False
esVacia vacia                          ==  True

valida :: Cola a -> Bool

(valida c) se verifica si c representa una cola válida. Con esta representación, todas las colas son válidas.