TAD de los conjuntos - Partición según un número
Utilizando el tipo abstracto de datos de los conjuntos definir la función
divide :: (Ord a) => a-> Conj a -> (Conj a, Conj a)
tal que divide x c
es el par formado por dos subconjuntos de c
: el de los elementos menores o iguales que x
y el de los mayores que x
. Por ejemplo,
λ> divide 5 (inserta 7 (inserta 2 (inserta 8 vacio))) ({2},{7, 8})