I1M-0.1.0.0: Código de I1M.

LicenseCreative Commons
MaintainerJosé A. Alonso
Safe HaskellSafe
LanguageHaskell2010

I1M.Pila

Description

TAD (tipo abstracto de datos) de las pilas.

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

Synopsis

Documentation

data Pila a Source

Tipo de dato de las pilas.

Instances

Eq a => Eq (Pila a) Source 
Show a => Show (Pila a) Source 

vacia :: Pila a Source

vacia es la pila vacía. Por ejemplo,

  ghci> vacia
  -

apila :: a -> Pila a -> Pila a Source

(apila x p) es la pila obtenida añadiendo x encima de la pila p. Por ejemplo,

apila 4 (apila 1 (apila 2 (apila 3 vacia)))  ==  4|1|2|3|-

cima :: Pila a -> a Source

(cima p) es la cima de la pila p. Por ejemplo,

cima (apila 1 (apila 2 (apila 3 vacia)))  ==  1

desapila :: Pila a -> Pila a Source

(desapila p) es la pila obtenida suprimiendo la cima de la pila p. Por ejemplo,

desapila (apila 1 (apila 2 (apila 3 vacia)))  ==  2|3|-

esVacia :: Pila a -> Bool Source

(esVacia p) se verifica si p es la pila vacía. Por ejemplo,

esVacia (apila 1 (apila 2 (apila 3 vacia)))  ==  False
esVacia vacia                                ==  True