Copyright | Exercitium (12-05-14) |
---|---|
License | GPL-3 |
Maintainer | JoseA.Alonso@gmail.com |
Safe Haskell | Safe |
Language | Haskell2010 |
Alfabeto_desde
Description
Definir la función
alfabetoDesde :: Char -> String
tal que (alfabetoDesde c) es el alfabeto, en minúscula, comenzando en
el carácter c, si c es una letra minúscula y comenzando en a
, en
caso contrario. Por ejemplo,
>>>
alfabetoDesde 'e'
"efghijklmnopqrstuvwxyzabcd">>>
alfabetoDesde 'a'
"abcdefghijklmnopqrstuvwxyz">>>
alfabetoDesde '7'
"abcdefghijklmnopqrstuvwxyz">>>
alfabetoDesde '{'
"abcdefghijklmnopqrstuvwxyz">>>
alfabetoDesde 'B'
"abcdefghijklmnopqrstuvwxyz"
- alfabetoDesde :: Char -> String
- alfabetoDesde2 :: Char -> String
- alfabetoDesde3 :: Char -> String
- alfabetoDesde4 :: Char -> String
- alfabetoDesde5 :: Char -> String
- alfabetoDesde6 :: Char -> String
- alfabetoDesde7 :: Char -> String
- prop_alfabetoDesde :: Char -> Bool
- verifica_alfabetoDesde :: IO ()
Documentation
alfabetoDesde4 :: Char -> String Source #
4ª definición (sin argumentos):
alfabetoDesde5 :: Char -> String Source #
5ª definición (sin argumentos).
alfabetoDesde6 :: Char -> String Source #
6ª definición (por comprensión).
alfabetoDesde7 :: Char -> String Source #
7ª definición (por comprensión con isAsciiLower
).
prop_alfabetoDesde :: Char -> Bool Source #
(prop_alfabetoDesde c) se verifica si las definiciones de alfabetoDesde sobre c. Por ejemplo,
>>>
:{
and [ prop_alfabetoDesde 'e' , prop_alfabetoDesde 'a' , prop_alfabetoDesde '7' , prop_alfabetoDesde '{' , prop_alfabetoDesde 'B' ] :} True
verifica_alfabetoDesde :: IO () Source #
Comprueba la equivalencia de las definiciones.
>>>
verifica_alfabetoDesde
+++ OK, passed 100 tests.