ContentsIndex
HTMLMonad98
Synopsis
data DOCUMENT = DOCUMENT
build_document :: Monad m => WithHTML DOCUMENT m a -> m Element
class AdmitChildCDATA e where
text :: Monad m => String -> WithHTML e m ()
rawtext :: Monad m => String -> WithHTML e m ()
formattedtext :: Monad m => String -> WithHTML e m ()
class AdmitAttrVERSION e where
uaVERSION :: Monad m => String -> WithHTML e m ()
atVERSION :: (Monad m, AttrValueVERSION v) => v -> WithHTML e m ()
class AdmitAttrDIR e where
uaDIR :: Monad m => String -> WithHTML e m ()
atDIR :: (Monad m, AttrValueDIR v) => v -> WithHTML e m ()
class AdmitAttrLANG e where
uaLANG :: Monad m => String -> WithHTML e m ()
atLANG :: (Monad m, AttrValueLANG v) => v -> WithHTML e m ()
class AdmitAttrONKEYUP e where
uaONKEYUP :: Monad m => String -> WithHTML e m ()
atONKEYUP :: (Monad m, AttrValueONKEYUP v) => v -> WithHTML e m ()
class AdmitAttrONKEYDOWN e where
uaONKEYDOWN :: Monad m => String -> WithHTML e m ()
atONKEYDOWN :: (Monad m, AttrValueONKEYDOWN v) => v -> WithHTML e m ()
class AdmitAttrONKEYPRESS e where
uaONKEYPRESS :: Monad m => String -> WithHTML e m ()
atONKEYPRESS :: (Monad m, AttrValueONKEYPRESS v) => v -> WithHTML e m ()
class AdmitAttrONMOUSEOUT e where
uaONMOUSEOUT :: Monad m => String -> WithHTML e m ()
atONMOUSEOUT :: (Monad m, AttrValueONMOUSEOUT v) => v -> WithHTML e m ()
class AdmitAttrONMOUSEMOVE e where
uaONMOUSEMOVE :: Monad m => String -> WithHTML e m ()
atONMOUSEMOVE :: (Monad m, AttrValueONMOUSEMOVE v) => v -> WithHTML e m ()
class AdmitAttrONMOUSEOVER e where
uaONMOUSEOVER :: Monad m => String -> WithHTML e m ()
atONMOUSEOVER :: (Monad m, AttrValueONMOUSEOVER v) => v -> WithHTML e m ()
class AdmitAttrONMOUSEUP e where
uaONMOUSEUP :: Monad m => String -> WithHTML e m ()
atONMOUSEUP :: (Monad m, AttrValueONMOUSEUP v) => v -> WithHTML e m ()
class AdmitAttrONMOUSEDOWN e where
uaONMOUSEDOWN :: Monad m => String -> WithHTML e m ()
atONMOUSEDOWN :: (Monad m, AttrValueONMOUSEDOWN v) => v -> WithHTML e m ()
class AdmitAttrONDBLCLICK e where
uaONDBLCLICK :: Monad m => String -> WithHTML e m ()
atONDBLCLICK :: (Monad m, AttrValueONDBLCLICK v) => v -> WithHTML e m ()
class AdmitAttrONCLICK e where
uaONCLICK :: Monad m => String -> WithHTML e m ()
atONCLICK :: (Monad m, AttrValueONCLICK v) => v -> WithHTML e m ()
class AdmitAttrTITLE e where
uaTITLE :: Monad m => String -> WithHTML e m ()
atTITLE :: (Monad m, AttrValueTITLE v) => v -> WithHTML e m ()
class AdmitAttrSTYLE e where
uaSTYLE :: Monad m => String -> WithHTML e m ()
atSTYLE :: (Monad m, AttrValueSTYLE v) => v -> WithHTML e m ()
class AdmitAttrCLASS e where
uaCLASS :: Monad m => String -> WithHTML e m ()
atCLASS :: (Monad m, AttrValueCLASS v) => v -> WithHTML e m ()
class AdmitAttrID e where
uaID :: Monad m => String -> WithHTML e m ()
atID :: (Monad m, AttrValueID v) => v -> WithHTML e m ()
class AdmitAttrFOR e where
uaFOR :: Monad m => String -> WithHTML e m ()
atFOR :: (Monad m, AttrValueFOR v) => v -> WithHTML e m ()
class AdmitAttrEVENT e where
uaEVENT :: Monad m => String -> WithHTML e m ()
atEVENT :: (Monad m, AttrValueEVENT v) => v -> WithHTML e m ()
class AdmitAttrDEFER e where
uaDEFER :: Monad m => String -> WithHTML e m ()
atDEFER :: (Monad m, AttrValueDEFER v) => v -> WithHTML e m ()
class AdmitAttrSRC e where
uaSRC :: Monad m => String -> WithHTML e m ()
atSRC :: (Monad m, AttrValueSRC v) => v -> WithHTML e m ()
class AdmitAttrLANGUAGE e where
uaLANGUAGE :: Monad m => String -> WithHTML e m ()
atLANGUAGE :: (Monad m, AttrValueLANGUAGE v) => v -> WithHTML e m ()
class AdmitAttrTYPE e where
uaTYPE :: Monad m => String -> WithHTML e m ()
atTYPE :: (Monad m, AttrValueTYPE v) => v -> WithHTML e m ()
class AdmitAttrCHARSET e where
uaCHARSET :: Monad m => String -> WithHTML e m ()
atCHARSET :: (Monad m, AttrValueCHARSET v) => v -> WithHTML e m ()
class AdmitAttrMEDIA e where
uaMEDIA :: Monad m => String -> WithHTML e m ()
atMEDIA :: (Monad m, AttrValueMEDIA v) => v -> WithHTML e m ()
class AdmitAttrSCHEME e where
uaSCHEME :: Monad m => String -> WithHTML e m ()
atSCHEME :: (Monad m, AttrValueSCHEME v) => v -> WithHTML e m ()
class AdmitAttrCONTENT e where
uaCONTENT :: Monad m => String -> WithHTML e m ()
atCONTENT :: (Monad m, AttrValueCONTENT v) => v -> WithHTML e m ()
class AdmitAttrNAME e where
uaNAME :: Monad m => String -> WithHTML e m ()
atNAME :: (Monad m, AttrValueNAME v) => v -> WithHTML e m ()
class AdmitAttrHTTP_EQUIV e where
uaHTTP_EQUIV :: Monad m => String -> WithHTML e m ()
atHTTP_EQUIV :: (Monad m, AttrValueHTTP_EQUIV v) => v -> WithHTML e m ()
class AdmitAttrTARGET e where
uaTARGET :: Monad m => String -> WithHTML e m ()
atTARGET :: (Monad m, AttrValueTARGET v) => v -> WithHTML e m ()
class AdmitAttrHREF e where
uaHREF :: Monad m => String -> WithHTML e m ()
atHREF :: (Monad m, AttrValueHREF v) => v -> WithHTML e m ()
class AdmitAttrPROMPT e where
uaPROMPT :: Monad m => String -> WithHTML e m ()
atPROMPT :: (Monad m, AttrValuePROMPT v) => v -> WithHTML e m ()
class AdmitAttrPROFILE e where
uaPROFILE :: Monad m => String -> WithHTML e m ()
atPROFILE :: (Monad m, AttrValuePROFILE v) => v -> WithHTML e m ()
class AdmitAttrWIDTH e where
uaWIDTH :: Monad m => String -> WithHTML e m ()
atWIDTH :: (Monad m, AttrValueWIDTH v) => v -> WithHTML e m ()
class AdmitAttrHEIGHT e where
uaHEIGHT :: Monad m => String -> WithHTML e m ()
atHEIGHT :: (Monad m, AttrValueHEIGHT v) => v -> WithHTML e m ()
class AdmitAttrALIGN e where
uaALIGN :: Monad m => String -> WithHTML e m ()
atALIGN :: (Monad m, AttrValueALIGN v) => v -> WithHTML e m ()
class AdmitAttrSCROLLING e where
uaSCROLLING :: Monad m => String -> WithHTML e m ()
atSCROLLING :: (Monad m, AttrValueSCROLLING v) => v -> WithHTML e m ()
class AdmitAttrMARGINHEIGHT e where
uaMARGINHEIGHT :: Monad m => String -> WithHTML e m ()
atMARGINHEIGHT :: (Monad m, AttrValueMARGINHEIGHT v) => v -> WithHTML e m ()
class AdmitAttrMARGINWIDTH e where
uaMARGINWIDTH :: Monad m => String -> WithHTML e m ()
atMARGINWIDTH :: (Monad m, AttrValueMARGINWIDTH v) => v -> WithHTML e m ()
class AdmitAttrFRAMEBORDER e where
uaFRAMEBORDER :: Monad m => String -> WithHTML e m ()
atFRAMEBORDER :: (Monad m, AttrValueFRAMEBORDER v) => v -> WithHTML e m ()
class AdmitAttrLONGDESC e where
uaLONGDESC :: Monad m => String -> WithHTML e m ()
atLONGDESC :: (Monad m, AttrValueLONGDESC v) => v -> WithHTML e m ()
class AdmitAttrNORESIZE e where
uaNORESIZE :: Monad m => String -> WithHTML e m ()
atNORESIZE :: (Monad m, AttrValueNORESIZE v) => v -> WithHTML e m ()
class AdmitAttrONUNLOAD e where
uaONUNLOAD :: Monad m => String -> WithHTML e m ()
atONUNLOAD :: (Monad m, AttrValueONUNLOAD v) => v -> WithHTML e m ()
class AdmitAttrONLOAD e where
uaONLOAD :: Monad m => String -> WithHTML e m ()
atONLOAD :: (Monad m, AttrValueONLOAD v) => v -> WithHTML e m ()
class AdmitAttrCOLS e where
uaCOLS :: Monad m => String -> WithHTML e m ()
atCOLS :: (Monad m, AttrValueCOLS v) => v -> WithHTML e m ()
class AdmitAttrROWS e where
uaROWS :: Monad m => String -> WithHTML e m ()
atROWS :: (Monad m, AttrValueROWS v) => v -> WithHTML e m ()
class AdmitAttrBGCOLOR e where
uaBGCOLOR :: Monad m => String -> WithHTML e m ()
atBGCOLOR :: (Monad m, AttrValueBGCOLOR v) => v -> WithHTML e m ()
class AdmitAttrNOWRAP e where
uaNOWRAP :: Monad m => String -> WithHTML e m ()
atNOWRAP :: (Monad m, AttrValueNOWRAP v) => v -> WithHTML e m ()
class AdmitAttrVALIGN e where
uaVALIGN :: Monad m => String -> WithHTML e m ()
atVALIGN :: (Monad m, AttrValueVALIGN v) => v -> WithHTML e m ()
class AdmitAttrCHAROFF e where
uaCHAROFF :: Monad m => String -> WithHTML e m ()
atCHAROFF :: (Monad m, AttrValueCHAROFF v) => v -> WithHTML e m ()
class AdmitAttrCHAR e where
uaCHAR :: Monad m => String -> WithHTML e m ()
atCHAR :: (Monad m, AttrValueCHAR v) => v -> WithHTML e m ()
class AdmitAttrCOLSPAN e where
uaCOLSPAN :: Monad m => String -> WithHTML e m ()
atCOLSPAN :: (Monad m, AttrValueCOLSPAN v) => v -> WithHTML e m ()
class AdmitAttrROWSPAN e where
uaROWSPAN :: Monad m => String -> WithHTML e m ()
atROWSPAN :: (Monad m, AttrValueROWSPAN v) => v -> WithHTML e m ()
class AdmitAttrSCOPE e where
uaSCOPE :: Monad m => String -> WithHTML e m ()
atSCOPE :: (Monad m, AttrValueSCOPE v) => v -> WithHTML e m ()
class AdmitAttrHEADERS e where
uaHEADERS :: Monad m => String -> WithHTML e m ()
atHEADERS :: (Monad m, AttrValueHEADERS v) => v -> WithHTML e m ()
class AdmitAttrAXIS e where
uaAXIS :: Monad m => String -> WithHTML e m ()
atAXIS :: (Monad m, AttrValueAXIS v) => v -> WithHTML e m ()
class AdmitAttrABBR e where
uaABBR :: Monad m => String -> WithHTML e m ()
atABBR :: (Monad m, AttrValueABBR v) => v -> WithHTML e m ()
class AdmitAttrSPAN e where
uaSPAN :: Monad m => String -> WithHTML e m ()
atSPAN :: (Monad m, AttrValueSPAN v) => v -> WithHTML e m ()
class AdmitAttrDATAPAGESIZE e where
uaDATAPAGESIZE :: Monad m => String -> WithHTML e m ()
atDATAPAGESIZE :: (Monad m, AttrValueDATAPAGESIZE v) => v -> WithHTML e m ()
class AdmitAttrCELLPADDING e where
uaCELLPADDING :: Monad m => String -> WithHTML e m ()
atCELLPADDING :: (Monad m, AttrValueCELLPADDING v) => v -> WithHTML e m ()
class AdmitAttrCELLSPACING e where
uaCELLSPACING :: Monad m => String -> WithHTML e m ()
atCELLSPACING :: (Monad m, AttrValueCELLSPACING v) => v -> WithHTML e m ()
class AdmitAttrRULES e where
uaRULES :: Monad m => String -> WithHTML e m ()
atRULES :: (Monad m, AttrValueRULES v) => v -> WithHTML e m ()
class AdmitAttrFRAME e where
uaFRAME :: Monad m => String -> WithHTML e m ()
atFRAME :: (Monad m, AttrValueFRAME v) => v -> WithHTML e m ()
class AdmitAttrBORDER e where
uaBORDER :: Monad m => String -> WithHTML e m ()
atBORDER :: (Monad m, AttrValueBORDER v) => v -> WithHTML e m ()
class AdmitAttrSUMMARY e where
uaSUMMARY :: Monad m => String -> WithHTML e m ()
atSUMMARY :: (Monad m, AttrValueSUMMARY v) => v -> WithHTML e m ()
class AdmitAttrONBLUR e where
uaONBLUR :: Monad m => String -> WithHTML e m ()
atONBLUR :: (Monad m, AttrValueONBLUR v) => v -> WithHTML e m ()
class AdmitAttrONFOCUS e where
uaONFOCUS :: Monad m => String -> WithHTML e m ()
atONFOCUS :: (Monad m, AttrValueONFOCUS v) => v -> WithHTML e m ()
class AdmitAttrACCESSKEY e where
uaACCESSKEY :: Monad m => String -> WithHTML e m ()
atACCESSKEY :: (Monad m, AttrValueACCESSKEY v) => v -> WithHTML e m ()
class AdmitAttrTABINDEX e where
uaTABINDEX :: Monad m => String -> WithHTML e m ()
atTABINDEX :: (Monad m, AttrValueTABINDEX v) => v -> WithHTML e m ()
class AdmitAttrDISABLED e where
uaDISABLED :: Monad m => String -> WithHTML e m ()
atDISABLED :: (Monad m, AttrValueDISABLED v) => v -> WithHTML e m ()
class AdmitAttrVALUE e where
uaVALUE :: Monad m => String -> WithHTML e m ()
atVALUE :: (Monad m, AttrValueVALUE v) => v -> WithHTML e m ()
class AdmitAttrONCHANGE e where
uaONCHANGE :: Monad m => String -> WithHTML e m ()
atONCHANGE :: (Monad m, AttrValueONCHANGE v) => v -> WithHTML e m ()
class AdmitAttrONSELECT e where
uaONSELECT :: Monad m => String -> WithHTML e m ()
atONSELECT :: (Monad m, AttrValueONSELECT v) => v -> WithHTML e m ()
class AdmitAttrREADONLY e where
uaREADONLY :: Monad m => String -> WithHTML e m ()
atREADONLY :: (Monad m, AttrValueREADONLY v) => v -> WithHTML e m ()
class AdmitAttrLABEL e where
uaLABEL :: Monad m => String -> WithHTML e m ()
atLABEL :: (Monad m, AttrValueLABEL v) => v -> WithHTML e m ()
class AdmitAttrSELECTED e where
uaSELECTED :: Monad m => String -> WithHTML e m ()
atSELECTED :: (Monad m, AttrValueSELECTED v) => v -> WithHTML e m ()
class AdmitAttrMULTIPLE e where
uaMULTIPLE :: Monad m => String -> WithHTML e m ()
atMULTIPLE :: (Monad m, AttrValueMULTIPLE v) => v -> WithHTML e m ()
class AdmitAttrSIZE e where
uaSIZE :: Monad m => String -> WithHTML e m ()
atSIZE :: (Monad m, AttrValueSIZE v) => v -> WithHTML e m ()
class AdmitAttrACCEPT e where
uaACCEPT :: Monad m => String -> WithHTML e m ()
atACCEPT :: (Monad m, AttrValueACCEPT v) => v -> WithHTML e m ()
class AdmitAttrISMAP e where
uaISMAP :: Monad m => String -> WithHTML e m ()
atISMAP :: (Monad m, AttrValueISMAP v) => v -> WithHTML e m ()
class AdmitAttrUSEMAP e where
uaUSEMAP :: Monad m => String -> WithHTML e m ()
atUSEMAP :: (Monad m, AttrValueUSEMAP v) => v -> WithHTML e m ()
class AdmitAttrALT e where
uaALT :: Monad m => String -> WithHTML e m ()
atALT :: (Monad m, AttrValueALT v) => v -> WithHTML e m ()
class AdmitAttrMAXLENGTH e where
uaMAXLENGTH :: Monad m => String -> WithHTML e m ()
atMAXLENGTH :: (Monad m, AttrValueMAXLENGTH v) => v -> WithHTML e m ()
class AdmitAttrCHECKED e where
uaCHECKED :: Monad m => String -> WithHTML e m ()
atCHECKED :: (Monad m, AttrValueCHECKED v) => v -> WithHTML e m ()
class AdmitAttrACCEPT_CHARSET e where
uaACCEPT_CHARSET :: Monad m => String -> WithHTML e m ()
atACCEPT_CHARSET :: (Monad m, AttrValueACCEPT_CHARSET v) => v -> WithHTML e m ()
class AdmitAttrONRESET e where
uaONRESET :: Monad m => String -> WithHTML e m ()
atONRESET :: (Monad m, AttrValueONRESET v) => v -> WithHTML e m ()
class AdmitAttrONSUBMIT e where
uaONSUBMIT :: Monad m => String -> WithHTML e m ()
atONSUBMIT :: (Monad m, AttrValueONSUBMIT v) => v -> WithHTML e m ()
class AdmitAttrENCTYPE e where
uaENCTYPE :: Monad m => String -> WithHTML e m ()
atENCTYPE :: (Monad m, AttrValueENCTYPE v) => v -> WithHTML e m ()
class AdmitAttrMETHOD e where
uaMETHOD :: Monad m => String -> WithHTML e m ()
atMETHOD :: (Monad m, AttrValueMETHOD v) => v -> WithHTML e m ()
class AdmitAttrACTION e where
uaACTION :: Monad m => String -> WithHTML e m ()
atACTION :: (Monad m, AttrValueACTION v) => v -> WithHTML e m ()
class AdmitAttrCOMPACT e where
uaCOMPACT :: Monad m => String -> WithHTML e m ()
atCOMPACT :: (Monad m, AttrValueCOMPACT v) => v -> WithHTML e m ()
class AdmitAttrSTART e where
uaSTART :: Monad m => String -> WithHTML e m ()
atSTART :: (Monad m, AttrValueSTART v) => v -> WithHTML e m ()
class AdmitAttrDATETIME e where
uaDATETIME :: Monad m => String -> WithHTML e m ()
atDATETIME :: (Monad m, AttrValueDATETIME v) => v -> WithHTML e m ()
class AdmitAttrCITE e where
uaCITE :: Monad m => String -> WithHTML e m ()
atCITE :: (Monad m, AttrValueCITE v) => v -> WithHTML e m ()
class AdmitAttrNOSHADE e where
uaNOSHADE :: Monad m => String -> WithHTML e m ()
atNOSHADE :: (Monad m, AttrValueNOSHADE v) => v -> WithHTML e m ()
class AdmitAttrVSPACE e where
uaVSPACE :: Monad m => String -> WithHTML e m ()
atVSPACE :: (Monad m, AttrValueVSPACE v) => v -> WithHTML e m ()
class AdmitAttrHSPACE e where
uaHSPACE :: Monad m => String -> WithHTML e m ()
atHSPACE :: (Monad m, AttrValueHSPACE v) => v -> WithHTML e m ()
class AdmitAttrOBJECT e where
uaOBJECT :: Monad m => String -> WithHTML e m ()
atOBJECT :: (Monad m, AttrValueOBJECT v) => v -> WithHTML e m ()
class AdmitAttrCODE e where
uaCODE :: Monad m => String -> WithHTML e m ()
atCODE :: (Monad m, AttrValueCODE v) => v -> WithHTML e m ()
class AdmitAttrARCHIVE e where
uaARCHIVE :: Monad m => String -> WithHTML e m ()
atARCHIVE :: (Monad m, AttrValueARCHIVE v) => v -> WithHTML e m ()
class AdmitAttrCODEBASE e where
uaCODEBASE :: Monad m => String -> WithHTML e m ()
atCODEBASE :: (Monad m, AttrValueCODEBASE v) => v -> WithHTML e m ()
class AdmitAttrVALUETYPE e where
uaVALUETYPE :: Monad m => String -> WithHTML e m ()
atVALUETYPE :: (Monad m, AttrValueVALUETYPE v) => v -> WithHTML e m ()
class AdmitAttrSTANDBY e where
uaSTANDBY :: Monad m => String -> WithHTML e m ()
atSTANDBY :: (Monad m, AttrValueSTANDBY v) => v -> WithHTML e m ()
class AdmitAttrCODETYPE e where
uaCODETYPE :: Monad m => String -> WithHTML e m ()
atCODETYPE :: (Monad m, AttrValueCODETYPE v) => v -> WithHTML e m ()
class AdmitAttrDATA e where
uaDATA :: Monad m => String -> WithHTML e m ()
atDATA :: (Monad m, AttrValueDATA v) => v -> WithHTML e m ()
class AdmitAttrCLASSID e where
uaCLASSID :: Monad m => String -> WithHTML e m ()
atCLASSID :: (Monad m, AttrValueCLASSID v) => v -> WithHTML e m ()
class AdmitAttrDECLARE e where
uaDECLARE :: Monad m => String -> WithHTML e m ()
atDECLARE :: (Monad m, AttrValueDECLARE v) => v -> WithHTML e m ()
class AdmitAttrREV e where
uaREV :: Monad m => String -> WithHTML e m ()
atREV :: (Monad m, AttrValueREV v) => v -> WithHTML e m ()
class AdmitAttrREL e where
uaREL :: Monad m => String -> WithHTML e m ()
atREL :: (Monad m, AttrValueREL v) => v -> WithHTML e m ()
class AdmitAttrHREFLANG e where
uaHREFLANG :: Monad m => String -> WithHTML e m ()
atHREFLANG :: (Monad m, AttrValueHREFLANG v) => v -> WithHTML e m ()
class AdmitAttrNOHREF e where
uaNOHREF :: Monad m => String -> WithHTML e m ()
atNOHREF :: (Monad m, AttrValueNOHREF v) => v -> WithHTML e m ()
class AdmitAttrCOORDS e where
uaCOORDS :: Monad m => String -> WithHTML e m ()
atCOORDS :: (Monad m, AttrValueCOORDS v) => v -> WithHTML e m ()
class AdmitAttrSHAPE e where
uaSHAPE :: Monad m => String -> WithHTML e m ()
atSHAPE :: (Monad m, AttrValueSHAPE v) => v -> WithHTML e m ()
class AdmitAttrALINK e where
uaALINK :: Monad m => String -> WithHTML e m ()
atALINK :: (Monad m, AttrValueALINK v) => v -> WithHTML e m ()
class AdmitAttrVLINK e where
uaVLINK :: Monad m => String -> WithHTML e m ()
atVLINK :: (Monad m, AttrValueVLINK v) => v -> WithHTML e m ()
class AdmitAttrLINK e where
uaLINK :: Monad m => String -> WithHTML e m ()
atLINK :: (Monad m, AttrValueLINK v) => v -> WithHTML e m ()
class AdmitAttrTEXT e where
uaTEXT :: Monad m => String -> WithHTML e m ()
atTEXT :: (Monad m, AttrValueTEXT v) => v -> WithHTML e m ()
class AdmitAttrBACKGROUND e where
uaBACKGROUND :: Monad m => String -> WithHTML e m ()
atBACKGROUND :: (Monad m, AttrValueBACKGROUND v) => v -> WithHTML e m ()
class AdmitAttrCLEAR e where
uaCLEAR :: Monad m => String -> WithHTML e m ()
atCLEAR :: (Monad m, AttrValueCLEAR v) => v -> WithHTML e m ()
class AdmitAttrFACE e where
uaFACE :: Monad m => String -> WithHTML e m ()
atFACE :: (Monad m, AttrValueFACE v) => v -> WithHTML e m ()
class AdmitAttrCOLOR e where
uaCOLOR :: Monad m => String -> WithHTML e m ()
atCOLOR :: (Monad m, AttrValueCOLOR v) => v -> WithHTML e m ()
class Show v => AttrValueABBR v
class Show v => AttrValueACCEPT v
class Show v => AttrValueACCEPT_CHARSET v
class Show v => AttrValueACCESSKEY v
class Show v => AttrValueACTION v
class Show v => AttrValueALIGN v
class Show v => AttrValueALINK v
class Show v => AttrValueALT v
class Show v => AttrValueARCHIVE v
class Show v => AttrValueAXIS v
class Show v => AttrValueBACKGROUND v
class Show v => AttrValueBGCOLOR v
class Show v => AttrValueBORDER v
class Show v => AttrValueCELLPADDING v
class Show v => AttrValueCELLSPACING v
class Show v => AttrValueCHAR v
class Show v => AttrValueCHAROFF v
class Show v => AttrValueCHARSET v
class Show v => AttrValueCHECKED v
class Show v => AttrValueCITE v
class Show v => AttrValueCLASS v
class Show v => AttrValueCLASSID v
class Show v => AttrValueCLEAR v
class Show v => AttrValueCODE v
class Show v => AttrValueCODEBASE v
class Show v => AttrValueCODETYPE v
class Show v => AttrValueCOLOR v
class Show v => AttrValueCOLS v
class Show v => AttrValueCOLSPAN v
class Show v => AttrValueCOMPACT v
class Show v => AttrValueCONTENT v
class Show v => AttrValueCOORDS v
class Show v => AttrValueDATA v
class Show v => AttrValueDATAPAGESIZE v
class Show v => AttrValueDATETIME v
class Show v => AttrValueDECLARE v
class Show v => AttrValueDEFER v
class Show v => AttrValueDIR v
class Show v => AttrValueDISABLED v
class Show v => AttrValueENCTYPE v
class Show v => AttrValueEVENT v
class Show v => AttrValueFACE v
class Show v => AttrValueFOR v
class Show v => AttrValueFRAME v
class Show v => AttrValueFRAMEBORDER v
class Show v => AttrValueHEADERS v
class Show v => AttrValueHEIGHT v
class Show v => AttrValueHREF v
class Show v => AttrValueHREFLANG v
class Show v => AttrValueHSPACE v
class Show v => AttrValueHTTP_EQUIV v
class Show v => AttrValueID v
class Show v => AttrValueISMAP v
class Show v => AttrValueLABEL v
class Show v => AttrValueLANG v
class Show v => AttrValueLANGUAGE v
class Show v => AttrValueLINK v
class Show v => AttrValueLONGDESC v
class Show v => AttrValueMARGINHEIGHT v
class Show v => AttrValueMARGINWIDTH v
class Show v => AttrValueMAXLENGTH v
class Show v => AttrValueMEDIA v
class Show v => AttrValueMETHOD v
class Show v => AttrValueMULTIPLE v
class Show v => AttrValueNAME v
class Show v => AttrValueNOHREF v
class Show v => AttrValueNORESIZE v
class Show v => AttrValueNOSHADE v
class Show v => AttrValueNOWRAP v
class Show v => AttrValueOBJECT v
class Show v => AttrValueONBLUR v
class Show v => AttrValueONCHANGE v
class Show v => AttrValueONCLICK v
class Show v => AttrValueONDBLCLICK v
class Show v => AttrValueONFOCUS v
class Show v => AttrValueONKEYDOWN v
class Show v => AttrValueONKEYPRESS v
class Show v => AttrValueONKEYUP v
class Show v => AttrValueONLOAD v
class Show v => AttrValueONMOUSEDOWN v
class Show v => AttrValueONMOUSEMOVE v
class Show v => AttrValueONMOUSEOUT v
class Show v => AttrValueONMOUSEOVER v
class Show v => AttrValueONMOUSEUP v
class Show v => AttrValueONRESET v
class Show v => AttrValueONSELECT v
class Show v => AttrValueONSUBMIT v
class Show v => AttrValueONUNLOAD v
class Show v => AttrValuePROFILE v
class Show v => AttrValuePROMPT v
class Show v => AttrValueREADONLY v
class Show v => AttrValueREL v
class Show v => AttrValueREV v
class Show v => AttrValueROWS v
class Show v => AttrValueROWSPAN v
class Show v => AttrValueRULES v
class Show v => AttrValueSCHEME v
class Show v => AttrValueSCOPE v
class Show v => AttrValueSCROLLING v
class Show v => AttrValueSELECTED v
class Show v => AttrValueSHAPE v
class Show v => AttrValueSIZE v
class Show v => AttrValueSPAN v
class Show v => AttrValueSRC v
class Show v => AttrValueSTANDBY v
class Show v => AttrValueSTART v
class Show v => AttrValueSTYLE v
class Show v => AttrValueSUMMARY v
class Show v => AttrValueTABINDEX v
class Show v => AttrValueTARGET v
class Show v => AttrValueTEXT v
class Show v => AttrValueTITLE v
class Show v => AttrValueTYPE v
class Show v => AttrValueUSEMAP v
class Show v => AttrValueVALIGN v
class Show v => AttrValueVALUE v
class Show v => AttrValueVALUETYPE v
class Show v => AttrValueVERSION v
class Show v => AttrValueVLINK v
class Show v => AttrValueVSPACE v
class Show v => AttrValueWIDTH v
class AdmitChildA e where
a :: Monad m => WithHTML A m a -> WithHTML e m a
class AdmitChildABBR e where
abbr :: Monad m => WithHTML ABBR m a -> WithHTML e m a
class AdmitChildACRONYM e where
acronym :: Monad m => WithHTML ACRONYM m a -> WithHTML e m a
class AdmitChildADDRESS e where
address :: Monad m => WithHTML ADDRESS m a -> WithHTML e m a
class AdmitChildAPPLET e where
applet :: Monad m => WithHTML APPLET m a -> WithHTML e m a
class AdmitChildAREA e where
area :: Monad m => WithHTML AREA m a -> WithHTML e m a
class AdmitChildB e where
b :: Monad m => WithHTML B m a -> WithHTML e m a
class AdmitChildBASE e where
base :: Monad m => WithHTML BASE m a -> WithHTML e m a
class AdmitChildBASEFONT e where
basefont :: Monad m => WithHTML BASEFONT m a -> WithHTML e m a
class AdmitChildBDO e where
bdo :: Monad m => WithHTML BDO m a -> WithHTML e m a
class AdmitChildBIG e where
big :: Monad m => WithHTML BIG m a -> WithHTML e m a
class AdmitChildBLOCKQUOTE e where
blockquote :: Monad m => WithHTML BLOCKQUOTE m a -> WithHTML e m a
class AdmitChildBODY e where
body :: Monad m => WithHTML BODY m a -> WithHTML e m a
class AdmitChildBR e where
br :: Monad m => WithHTML BR m a -> WithHTML e m a
class AdmitChildBUTTON e where
button :: Monad m => WithHTML BUTTON m a -> WithHTML e m a
class AdmitChildCAPTION e where
caption :: Monad m => WithHTML CAPTION m a -> WithHTML e m a
class AdmitChildCENTER e where
center :: Monad m => WithHTML CENTER m a -> WithHTML e m a
class AdmitChildCITE e where
cite :: Monad m => WithHTML CITE m a -> WithHTML e m a
class AdmitChildCODE e where
code :: Monad m => WithHTML CODE m a -> WithHTML e m a
class AdmitChildCOL e where
col :: Monad m => WithHTML COL m a -> WithHTML e m a
class AdmitChildCOLGROUP e where
colgroup :: Monad m => WithHTML COLGROUP m a -> WithHTML e m a
class AdmitChildDD e where
dd :: Monad m => WithHTML DD m a -> WithHTML e m a
class AdmitChildDEL e where
del :: Monad m => WithHTML DEL m a -> WithHTML e m a
class AdmitChildDFN e where
dfn :: Monad m => WithHTML DFN m a -> WithHTML e m a
class AdmitChildDIR e where
dir :: Monad m => WithHTML DIR m a -> WithHTML e m a
class AdmitChildDIV e where
div :: Monad m => WithHTML DIV m a -> WithHTML e m a
class AdmitChildDL e where
dl :: Monad m => WithHTML DL m a -> WithHTML e m a
class AdmitChildDT e where
dt :: Monad m => WithHTML DT m a -> WithHTML e m a
class AdmitChildEM e where
em :: Monad m => WithHTML EM m a -> WithHTML e m a
class AdmitChildFIELDSET e where
fieldset :: Monad m => WithHTML FIELDSET m a -> WithHTML e m a
class AdmitChildFONT e where
font :: Monad m => WithHTML FONT m a -> WithHTML e m a
class AdmitChildFORM e where
form :: Monad m => WithHTML FORM m a -> WithHTML e m a
class AdmitChildFRAME e where
frame :: Monad m => WithHTML FRAME m a -> WithHTML e m a
class AdmitChildFRAMESET e where
frameset :: Monad m => WithHTML FRAMESET m a -> WithHTML e m a
class AdmitChildH1 e where
h1 :: Monad m => WithHTML H1 m a -> WithHTML e m a
class AdmitChildH2 e where
h2 :: Monad m => WithHTML H2 m a -> WithHTML e m a
class AdmitChildH3 e where
h3 :: Monad m => WithHTML H3 m a -> WithHTML e m a
class AdmitChildH4 e where
h4 :: Monad m => WithHTML H4 m a -> WithHTML e m a
class AdmitChildH5 e where
h5 :: Monad m => WithHTML H5 m a -> WithHTML e m a
class AdmitChildH6 e where
h6 :: Monad m => WithHTML H6 m a -> WithHTML e m a
class AdmitChildHEAD e where
head :: Monad m => WithHTML HEAD m a -> WithHTML e m a
class AdmitChildHR e where
hr :: Monad m => WithHTML HR m a -> WithHTML e m a
class AdmitChildHTML e where
html :: Monad m => WithHTML HTML m a -> WithHTML e m a
class AdmitChildI e where
i :: Monad m => WithHTML I m a -> WithHTML e m a
class AdmitChildIFRAME e where
iframe :: Monad m => WithHTML IFRAME m a -> WithHTML e m a
class AdmitChildIMG e where
img :: Monad m => WithHTML IMG m a -> WithHTML e m a
class AdmitChildINPUT e where
input :: Monad m => WithHTML INPUT m a -> WithHTML e m a
class AdmitChildINS e where
ins :: Monad m => WithHTML INS m a -> WithHTML e m a
class AdmitChildISINDEX e where
isindex :: Monad m => WithHTML ISINDEX m a -> WithHTML e m a
class AdmitChildKBD e where
kbd :: Monad m => WithHTML KBD m a -> WithHTML e m a
class AdmitChildLABEL e where
label :: Monad m => WithHTML LABEL m a -> WithHTML e m a
class AdmitChildLEGEND e where
legend :: Monad m => WithHTML LEGEND m a -> WithHTML e m a
class AdmitChildLI e where
li :: Monad m => WithHTML LI m a -> WithHTML e m a
class AdmitChildLINK e where
link :: Monad m => WithHTML LINK m a -> WithHTML e m a
class AdmitChildMAP e where
map :: Monad m => WithHTML MAP m a -> WithHTML e m a
class AdmitChildMENU e where
menu :: Monad m => WithHTML MENU m a -> WithHTML e m a
class AdmitChildMETA e where
meta :: Monad m => WithHTML META m a -> WithHTML e m a
class AdmitChildNOFRAMES e where
noframes :: Monad m => WithHTML NOFRAMES m a -> WithHTML e m a
class AdmitChildNOSCRIPT e where
noscript :: Monad m => WithHTML NOSCRIPT m a -> WithHTML e m a
class AdmitChildOBJECT e where
object :: Monad m => WithHTML OBJECT m a -> WithHTML e m a
class AdmitChildOL e where
ol :: Monad m => WithHTML OL m a -> WithHTML e m a
class AdmitChildOPTGROUP e where
optgroup :: Monad m => WithHTML OPTGROUP m a -> WithHTML e m a
class AdmitChildOPTION e where
option :: Monad m => WithHTML OPTION m a -> WithHTML e m a
class AdmitChildP e where
p :: Monad m => WithHTML P m a -> WithHTML e m a
class AdmitChildPARAM e where
param :: Monad m => WithHTML PARAM m a -> WithHTML e m a
class AdmitChildPRE e where
pre :: Monad m => WithHTML PRE m a -> WithHTML e m a
class AdmitChildQ e where
q :: Monad m => WithHTML Q m a -> WithHTML e m a
class AdmitChildS e where
s :: Monad m => WithHTML S m a -> WithHTML e m a
class AdmitChildSAMP e where
samp :: Monad m => WithHTML SAMP m a -> WithHTML e m a
class AdmitChildSCRIPT e where
script :: Monad m => WithHTML SCRIPT m a -> WithHTML e m a
class AdmitChildSELECT e where
select :: Monad m => WithHTML SELECT m a -> WithHTML e m a
class AdmitChildSMALL e where
small :: Monad m => WithHTML SMALL m a -> WithHTML e m a
class AdmitChildSPAN e where
span :: Monad m => WithHTML SPAN m a -> WithHTML e m a
class AdmitChildSTRIKE e where
strike :: Monad m => WithHTML STRIKE m a -> WithHTML e m a
class AdmitChildSTRONG e where
strong :: Monad m => WithHTML STRONG m a -> WithHTML e m a
class AdmitChildSTYLE e where
style :: Monad m => WithHTML STYLE m a -> WithHTML e m a
class AdmitChildSUB e where
sub :: Monad m => WithHTML SUB m a -> WithHTML e m a
class AdmitChildSUP e where
sup :: Monad m => WithHTML SUP m a -> WithHTML e m a
class AdmitChildTABLE e where
table :: Monad m => WithHTML TABLE m a -> WithHTML e m a
class AdmitChildTBODY e where
tbody :: Monad m => WithHTML TBODY m a -> WithHTML e m a
class AdmitChildTD e where
td :: Monad m => WithHTML TD m a -> WithHTML e m a
class AdmitChildTEXTAREA e where
textarea :: Monad m => WithHTML TEXTAREA m a -> WithHTML e m a
class AdmitChildTFOOT e where
tfoot :: Monad m => WithHTML TFOOT m a -> WithHTML e m a
class AdmitChildTH e where
th :: Monad m => WithHTML TH m a -> WithHTML e m a
class AdmitChildTHEAD e where
thead :: Monad m => WithHTML THEAD m a -> WithHTML e m a
class AdmitChildTITLE e where
title :: Monad m => WithHTML TITLE m a -> WithHTML e m a
class AdmitChildTR e where
tr :: Monad m => WithHTML TR m a -> WithHTML e m a
class AdmitChildTT e where
tt :: Monad m => WithHTML TT m a -> WithHTML e m a
class AdmitChildU e where
u :: Monad m => WithHTML U m a -> WithHTML e m a
class AdmitChildUL e where
ul :: Monad m => WithHTML UL m a -> WithHTML e m a
class AdmitChildVAR e where
var :: Monad m => WithHTML VAR m a -> WithHTML e m a
data A = A
data ABBR = ABBR
data ACRONYM = ACRONYM
data ADDRESS = ADDRESS
data APPLET = APPLET
data AREA = AREA
data B = B
data BASE = BASE
data BASEFONT = BASEFONT
data BDO = BDO
data BIG = BIG
data BLOCKQUOTE = BLOCKQUOTE
data BODY = BODY
data BR = BR
data BUTTON = BUTTON
data CAPTION = CAPTION
data CENTER = CENTER
data CITE = CITE
data CODE = CODE
data COL = COL
data COLGROUP = COLGROUP
data DD = DD
data DEL = DEL
data DFN = DFN
data DIR = DIR
data DIV = DIV
data DL = DL
data DT = DT
data EM = EM
data FIELDSET = FIELDSET
data FONT = FONT
data FORM = FORM
data FRAME = FRAME
data FRAMESET = FRAMESET
data H1 = H1
data H2 = H2
data H3 = H3
data H4 = H4
data H5 = H5
data H6 = H6
data HEAD = HEAD
data HR = HR
data HTML = HTML
data I = I
data IFRAME = IFRAME
data IMG = IMG
data INPUT = INPUT
data INS = INS
data ISINDEX = ISINDEX
data KBD = KBD
data LABEL = LABEL
data LEGEND = LEGEND
data LI = LI
data LINK = LINK
data MAP = MAP
data MENU = MENU
data META = META
data NOFRAMES = NOFRAMES
data NOSCRIPT = NOSCRIPT
data OBJECT = OBJECT
data OL = OL
data OPTGROUP = OPTGROUP
data OPTION = OPTION
data P = P
data PARAM = PARAM
data PRE = PRE
data Q = Q
data S = S
data SAMP = SAMP
data SCRIPT = SCRIPT
data SELECT = SELECT
data SMALL = SMALL
data SPAN = SPAN
data STRIKE = STRIKE
data STRONG = STRONG
data STYLE = STYLE
data SUB = SUB
data SUP = SUP
data TABLE = TABLE
data TBODY = TBODY
data TD = TD
data TEXTAREA = TEXTAREA
data TFOOT = TFOOT
data TH = TH
data THEAD = THEAD
data TITLE = TITLE
data TR = TR
data TT = TT
data U = U
data UL = UL
data VAR = VAR
data ALIGN_bottom = ALIGN_bottom
data ALIGN_center = ALIGN_center
data ALIGN_char = ALIGN_char
data ALIGN_justify = ALIGN_justify
data ALIGN_left = ALIGN_left
data ALIGN_middle = ALIGN_middle
data ALIGN_right = ALIGN_right
data ALIGN_top = ALIGN_top
data CHECKED_checked = CHECKED_checked
data CLEAR_all = CLEAR_all
data CLEAR_left = CLEAR_left
data CLEAR_none = CLEAR_none
data CLEAR_right = CLEAR_right
data COMPACT_compact = COMPACT_compact
data DECLARE_declare = DECLARE_declare
data DEFER_defer = DEFER_defer
data DIR_ltr = DIR_ltr
data DIR_rtl = DIR_rtl
data DISABLED_disabled = DISABLED_disabled
data FRAME_above = FRAME_above
data FRAME_below = FRAME_below
data FRAME_border = FRAME_border
data FRAME_box = FRAME_box
data FRAME_hsides = FRAME_hsides
data FRAME_lhs = FRAME_lhs
data FRAME_rhs = FRAME_rhs
data FRAME_void = FRAME_void
data FRAME_vsides = FRAME_vsides
data ISMAP_ismap = ISMAP_ismap
data METHOD_GET = METHOD_GET
data METHOD_POST = METHOD_POST
data MULTIPLE_multiple = MULTIPLE_multiple
data NOHREF_nohref = NOHREF_nohref
data NORESIZE_noresize = NORESIZE_noresize
data NOSHADE_noshade = NOSHADE_noshade
data NOWRAP_nowrap = NOWRAP_nowrap
data READONLY_readonly = READONLY_readonly
data RULES_all = RULES_all
data RULES_cols = RULES_cols
data RULES_groups = RULES_groups
data RULES_none = RULES_none
data RULES_rows = RULES_rows
data SCOPE_col = SCOPE_col
data SCOPE_colgroup = SCOPE_colgroup
data SCOPE_row = SCOPE_row
data SCOPE_rowgroup = SCOPE_rowgroup
data SCROLLING_auto = SCROLLING_auto
data SCROLLING_no = SCROLLING_no
data SCROLLING_yes = SCROLLING_yes
data SELECTED_selected = SELECTED_selected
data SHAPE_circle = SHAPE_circle
data SHAPE_default' = SHAPE_default'
data SHAPE_poly = SHAPE_poly
data SHAPE_rect = SHAPE_rect
data TYPE_BUTTON = TYPE_BUTTON
data TYPE_CHECKBOX = TYPE_CHECKBOX
data TYPE_FILE = TYPE_FILE
data TYPE_HIDDEN = TYPE_HIDDEN
data TYPE_IMAGE = TYPE_IMAGE
data TYPE_PASSWORD = TYPE_PASSWORD
data TYPE_RADIO = TYPE_RADIO
data TYPE_RESET = TYPE_RESET
data TYPE_SUBMIT = TYPE_SUBMIT
data TYPE_TEXT = TYPE_TEXT
data TYPE_button = TYPE_button
data TYPE_circle = TYPE_circle
data TYPE_disc = TYPE_disc
data TYPE_reset = TYPE_reset
data TYPE_square = TYPE_square
data TYPE_submit = TYPE_submit
data VALIGN_baseline = VALIGN_baseline
data VALIGN_bottom = VALIGN_bottom
data VALIGN_middle = VALIGN_middle
data VALIGN_top = VALIGN_top
data VALUETYPE_DATA = VALUETYPE_DATA
data VALUETYPE_OBJECT = VALUETYPE_OBJECT
data VALUETYPE_REF = VALUETYPE_REF
type Element = ELEMENT_
type Attributes = [Attribute]
type Attribute = ATTR_
data WithHTML x m a
lift :: Monad m => m a -> WithHTML x m a
get_attrs :: Monad m => WithHTML x m Attributes
empty :: Monad m => WithHTML x m ()
type HTMLCons x y m a = WithHTML x m a -> WithHTML y m a
attr :: Monad m => String -> String -> WithHTML x m ()
Produced by Haddock version 0.6