| Copyright | Exercitium (26-05-14) |
|---|---|
| License | GPL-3 |
| Maintainer | JoseA.Alonso@gmail.com |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Trenza
Description
Trenzado de listas
Definir la función
trenza :: [a] -> [a] -> [a]
tal que (trenza xs ys) es la lista obtenida intercalando los elementos de xs e ys. Por ejemplo,
>>>trenza [5,1] [2,7,4][5,2,1,7]>>>trenza [5,1,7] [2..][5,2,1,3,7,4]>>>trenza [2..] [5,1,7][2,5,3,1,4,7]>>>take 8 (trenza [2,4..] [1,5..])[2,1,4,5,6,9,8,13]
- trenza :: [a] -> [a] -> [a]
- trenza2 :: [a] -> [a] -> [a]
- trenza3 :: [a] -> [a] -> [a]
- trenza4 :: [a] -> [a] -> [a]
- prop_trenza :: Eq a => [a] -> [a] -> Bool
- verifica_trenza :: IO ()
Documentation
prop_trenza :: Eq a => [a] -> [a] -> Bool Source #
prop_trenza xs ys) se verifica si las definiciones de trenza
son equivalentes para xs e ys. Por ejemplo,
>>>:{and [ prop_trenza [5,1] [2,7,4] , prop_trenza [5,1,7] [2..] , prop_trenza [2..] [5,1,7] ] :} True
verifica_trenza :: IO () Source #
Comprueba la equivalencia de las definiciones de trenza.
>>>verifica_trenza+++ OK, passed 100 tests.