Exercitium1-0.1.0.0: Problemas de Exercitium (Volumen 1)

CopyrightExercitium (12-05-14)
LicenseGPL-3
MaintainerJoseA.Alonso@gmail.com
Safe HaskellSafe
LanguageHaskell2010

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"

Synopsis

Documentation

alfabetoDesde :: Char -> String Source #

1ª definición (con dropWhile y takeWhile).

alfabetoDesde2 :: Char -> String Source #

2ª definición (con span).

alfabetoDesde3 :: Char -> String Source #

3ª definición (con break).

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.