| Copyright | Exercitium (23-05-14) |
|---|---|
| License | GPL-3 |
| Maintainer | JoseA.Alonso@gmail.com |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Biparticiones_de_una_lista
Description
Definir la función
biparticiones :: [a] -> [([a],[a])]
tal que (biparticiones xs) es la lista de pares formados por un prefijo de xs y el resto de xs. Por ejemplo,
>>>biparticiones [3,2,5][([],[3,2,5]),([3],[2,5]),([3,2],[5]),([3,2,5],[])]>>>biparticiones "Roma"[("","Roma"),("R","oma"),("Ro","ma"),("Rom","a"),("Roma","")]
- biparticiones :: [a] -> [([a], [a])]
- biparticiones2 :: [a] -> [([a], [a])]
- biparticiones3 :: [a] -> [([a], [a])]
- biparticiones4 :: [a] -> [([a], [a])]
- biparticiones5 :: [a] -> [([a], [a])]
- prop_biparticiones :: [Int] -> Bool
- verifica_biparticiones :: IO ()
Documentation
biparticiones :: [a] -> [([a], [a])] Source #
1ª definición (con splitAt).
biparticiones2 :: [a] -> [([a], [a])] Source #
biparticiones3 :: [a] -> [([a], [a])] Source #
3ª definición (por recursión).
biparticiones4 :: [a] -> [([a], [a])] Source #
4ª definición (con liftA2).
biparticiones5 :: [a] -> [([a], [a])] Source #
prop_biparticiones :: [Int] -> Bool Source #
(prop_biparticiones xs) se verifica si las definiciones de biparticiones son equivalentes sobre xs. Por ejemplo,
>>>prop_biparticiones [3,2,5]True
verifica_biparticiones :: IO () Source #
Comprueba la equivalencia de las definiciones de biparticiones.
>>>verifica_biparticiones+++ OK, passed 100 tests.