License | Creative Commons |
---|---|
Maintainer | José A. Alonso |
Safe Haskell | Safe |
Language | Haskell2010 |
TAD (tipo abstracto de datos) de los conjuntos.
Este módulo contiene el código del TAD de los conjuntos estudiado en el tema 17 del curso.
Documentation
Tipo de dato de los conjuntos.
esVacio :: Conj a -> Bool Source #
(esVacio c) se verifica si c es el conjunto vacío. Por ejemplo,
λ> esVacio (foldr inserta vacio [2,5]) False λ> esVacio vacio True
pertenece :: Ord a => a -> Conj a -> Bool Source #
(pertenece x c) se verifica si x pertenece al conjunto c. Por ejemplo,
λ> let c1 = foldr inserta vacio [2,5,3,2] λ> pertenece 3 c1 True λ> pertenece 4 c1 False