Esta función permite mostrar al cliente un formulario (cuando utilizamos ask, se supone que estamos esperando alguna información del cliente). Para los casos en los que no queramos obtener valores de formulario (sólo queramos mostrar una página normal) utilizaremos tell.

Ejemplo:

		main :: IO ()
	 	main = runCgi principal
		  where
	 	    principal :: Cgi ()
		    principal = ask primeraPágina
	 	    primeraPágina :: Html a
		    primeraPágina = hHtml $ do { hHead(...)
					      ; hBody(...)
					      }
        

En los programas que codifiquemos, cada ask representa una interacción con el cliente, por lo que algo como esto:

			do { ask pagina1
			   ; ask pagina2
			   ; ask pagina3
			   }
	

No mostrará las 3 páginas al ejecutarse, sino que automáticamente determinará cuáles de ellas han sido ejecutadas ya. En la primera ejecución, sólo se mostrará pagina1. En la segunda, no se mostrará pagina1 y se mostrará pagina2. En la tercera ejecución, no se mostrará ni pagina1 ni pagina2, y se mostrará pagina3.

Hay un método alternativo para secuenciar varios formularios y permitir la presentación de diferentes páginas dependiendo del botón pulsado en un formulario (podemos incluir más de uno en cada formulario). Esto está explicado en detalle en la definición de la función hButtonInput.

Esta función muestra una página al cliente en la que no tenemos posibilidad de recoger información de ningún tipo.

Ejemplo:

		main :: IO ()
		main = runCgi páginaSinForm
		  where
		    páginaSinForm :: Cgi ()
		    páginaSinForm = tell $ do { hHtml (...) }
	

Con tell no tenemos posibilidad de presentar las páginas progresivamente (sería un error secuenciar varias acciones tell, ya que sólo se mostraría una de ellas, la primera).

withAttr toma un parámetro que puede ser traducido en atributos HTML y los añade a la etiqueta Html que toma como segundo argumento. Ejemplo:

  		withAttr atributos $ hHtml (...)
  		  where
  		    atributos :: Attr
  		    atributos = ...
	

Para profundizar sobre la forma de crear atributos ver Attr.

Función utilizada para incluir un campo de entrada de texto. Sin embargo, el dato recogido es automáticamente comprobado y convertido al tipo adecuado para su utilización. Por lo tanto, es obligatorio que el tipo al que debe convertirse el valor recogido sea instancia de la clase CgiInput (para asegurarnos de que disponemos de las funciones adecuadas de conversión y visualización de dicho tipo).

Ejemplo:

		do {...
		   ;edad <- hTextInput
		   ;guardaEdad edad
		}
		  where 
		    guardaEdad :: Int -> Html a
	

En este ejemplo, la variable edad debe ser de tipo Int obligatoriamente, ya que la definición de guardaEdad así lo define. En caso de que el dato recogido no pueda ser convertido al tipo esperado, obtendremos una página de error (para más información ver CgiInput).

Creación de campo de passwords (no se visualizan los caracteres al introducirlos). Ejemplo:

		do {nombre <- hTextInput
		   ;pass   <- hPasswordInput
		   ;registra nombre pass
		   ...
		}
		  where
		    registra :: String -> String -> Html a
		    registra n p = ...
	

Creación de una caja de selección. Ejemplo:

		do{...
		  ;pulsado <- hCheckBoxInput
		  ;procesaPulsado pulsado
		}
		  where
		    procesaPulsado :: Bool -> Html a
		    procesaPulsado p = ...
	

Esta función crea un conjunto de botones radiales relacionados (sólo uno de ellos puede estar marcado en un momento dado). Para cada uno de ellos se puede dar una definición o crear una etiqueta especial (notar que el parámetro es de tipo Html () por lo que podríamos incluir una imagen, por ejemplo, como descripción del botón radial). Si sólo queremos dar una definición escrita, nos basta con utilizar hText.

Ejemplo:

 		do {...
 		   ;hText "Elige una opción"
 		   ;valor <- hRadioGroupInput [(hText "Opción 1",1),(hText "Opción 2",2),(hText "Opción 3",3)]
 		   ;guardaValor valor
 			...
 		}
 		  where
 		    guardaValor :: Int -> ...
	

En este ejemplo, podemos observar que el valor devuelto por la función hRadioGroupInput no es una cadena de caracteres sino un entero, ya que se hace la conversión de tipos de forma automática.

Creación de un campo oculto en el formulario. El valor devuelto es el valor proporcionado en su creación (por medio del atributo pValue).

Ejemplo:

		do {valor <- withAttr (pValue =: v) $ hHiddenInput
		   ;...
		}
		  where
		    v :: Value
		    v = ...
	

Esta función permite especificar una acción asociada al botón que vamos a crear. De esta forma, si el botón se pulsa, se llevará acabo la acción especificada. Si disponemos varios botones en un mismo formulario, damos la oportunidad de presentar al cliente diferentes resultados. Esta acción normalmente estará relacionada con los datos recogidos en el formulario actual (en el que se incluye el botón).

Ejemplo:

	 	do {nombre <- hTextInput
 		   ;pass   <- hPasswordInput
	 	   ;hButtonInput "Entrar servidor 1" (comprueba1 nombre pass)
 		   ;hButtonInput "Entrar servidor 2" (comprueba2 nombre pass)
	 	     ...
 		}
	 	  where
 		    comprueba1 :: String -> String -> Cgi ()
	 	    comprueba1 n p = if (correcto1 n p) then
 				       tell paginaCorrectaServidor1
 				     else
 				       ask formularioEntradaOtraVez
 	 	    comprueba2 :: String -> String -> Cgi ()
 		    comprueba2 n p = if (correcto2 n p) then
 				       tell paginaCorrectaServidor2
 				     else
	 			       ask formularioEntradaOtraVez
	

No debemos utilizar los valores recogidos en el mismo formulario en el que se presentan las etiquetas, sino en el siguiente, tal y como se muestra en el ejemplo, ya que en la primera ejecución, sólo se crearán las etiquetas (necesitamos ejecutarlo al menos una vez más para poder recoger los valores introducidos por el cliente). La segunda vez que se ejecute el programa, se recogerán todos los valores y se mostrará la página generada por la función que hemos proporcionado a hButtonInput sólo si ese botón ha sido pulsado.

Tiene el mismo objetivo que hButtonInput, funciona como si fuera un botón submit, pero en vez de presentarlo, presenta una imagen en la que podemos "pinchar" con el ratón. Dependiendo de la zona donde pinchemos (coordenadas x e y de la imagen) se llevará a cabo una acción u otra (depende de la función que especifiquemos).

Ejemplo:

		do {...
		   ;hImageInput "imagen.jpg" compruebaCoordenadas
		}
		  where
		    compruebaCoordenadas :: (Int,Int) -> Cgi ()
		    compruebaCoordenadas (x,y) =
		    	if (x > unValorX) then
			  if (y > unValorY) then
			    tell pagina1
			  else
			    tell pagina2
			else
			  if (y > otroValorY) then
			    tell pagina3
			  else
			    tell pagina4
		    pagina1 :: Html ()
		    pagina2 :: Html ()
		         ...
	

Esta función crea una lista de selección no múltiple (sólo devuelve un dato) y sin opciones agrupadas. Es un poco menos potente que la función hSelectInputExt (la versión extendida) pero más fácil de utilizar. Sólo es apropiada cuando queremos crear una lista de selección con opciones simples. Al igual que hRadioGroupInput, realiza conversión de tipos de forma automática (el valor devuelto no tiene por qué ser una cadena de caracteres). Ejemplo:

		data Día = Lunes | Martes | Miercoles | Jueves | Viernes | Sábado | Domingo
		deriving (Show,Read,Enum)
		
		instance CgiInput Día
\
		do { hText "Select con opciones simples"
		   ; valor <- hSelectInput [Lunes..Viernes]
		   ; hButtonInput "Ver valor" (verValor valor)
			...
		}
		  where
		    verValor :: Día -> Cgi ()
		    verValor d = ...
	

hSelectInputExt recibe una lista de opciones select (que representan a las posibles elecciones) y devuelve una lista de valores, que son los valores seleccionados (puede ser un select multiple añadiendo el atributo aMultiple). Al igual que hSelectInput, realiza la conversión de tipos de forma automática para devolver un dato del mismo tipo. El único requisito es que todas las opciones se construyan con el mismo tipo instanciado, es decir, si queremos añadir valores enteros, todas las opciones deben ser construidos a partir de valores enteros (no podemos añadir una opción de tipo entero y otra de tipo Char por ejemplo). Ejemplo:

		do { hText "Select con opciones múltiples"
		   ; lista <- withAttr aMultiple $ hSelectInputExt opciones
		   ; hButtonInput "Ver valores" (verValores lista)
			...
		}
		  where
		    opciones =  [hOption   Lunes,
		    		 hOption   Martes,
				 hOptGroup "Fin de Semana" [Viernes,Sábado,Domingo],
				 hOption   Jueves]
	\
		    verValores :: [Día] -> Cgi ()
		    verValores lista = ...
	

Podemos observar que verValores recibe una lista de Día, que es el tipo de los valores que habíamos utilizado para crear la lista de selección (con hSelectInputExt). Para ver la definición del tipo Día, acudir a la definición de la función hSelectInput.

Creación de un área de texto en la que podemos escribir párrafos de larga longitud. Las dimensiones son a filas por b columnas, donde a y b son, respectivamente, el primer y segundo argumento que recibe.

Ejemplo:

  		do {hText "Introduce un texto"
  		   ;texto <- hTextArea 5 30
  		   ;hButtonInput "Mándalo!!!" (leerTexto texto)
  		}
  		  where 
  		    leerTexto :: String -> Cgi ()
  		    leerTexto s = ...
  

Este tipo representa a un atributo HTML 4.0 o un atributo de estilo (CSS 2). La única diferencia entre ambos es la forma de visualizarlos. Hay varios tipos de atributos y disponemos de funciones específicas para crear cada uno de ellos.

• Atributos simples
• Atributos compuestos (de la forma "Propiedad = Valor")
• Secuencia de atributos

Esta clase nos permite secuenciar datos del mismo tipo, a partir del operador |+|. El tipo Value pertenece a esta clase.

Ejemplo:

		atributo Attr
		atributo = pBorder =: px 5 |+| vSolid |+| vYellow