I1M.Conjunto

Description

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.

Synopsis

Documentation

Tipo de dato de los conjuntos.

Instances details

Eq a => Eq (Conj a) Source #
Instance details Defined in I1M.Conjunto Methods (==) :: Conj a -> Conj a -> Bool # (/=) :: Conj a -> Conj a -> Bool #
Show a => Show (Conj a) Source #
Instance details Defined in I1M.Conjunto Methods showsPrec :: Int -> Conj a -> ShowS # show :: Conj a -> String # showList :: [Conj a] -> ShowS #

vacio es el conjunto vacío. Por ejemplo,

ghci> vacio
{}

(esVacio c) se verifica si c es el conjunto vacío. Por ejemplo,

λ> esVacio (foldr inserta vacio [2,5])
False
λ> esVacio vacio
True

(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

(inserta x c) es el conjunto obtenido añadiendo el elemento x al conjunto c. Por ejemplo,

λ> let c1 = foldr inserta vacio [2,5,3,2]
λ> c1
{2,3,5}
λ> inserta 3 c1
{2,3,5}
λ> inserta 4 c1
{2,3,4,5}

(elimina x c) es el conjunto obtenido eliminando el elemento x del conjunto c. Por ejemplo,

λ> let c1 = foldr inserta vacio [2,5,3,2]
λ> c1
{2,3,5}
λ> elimina 3 c1
{2,5}
λ> elimina 7 c1
{2,3,5}