KiCS2
Exported names: Imported modules:

Module HTMLContentModel

A simple Library for the HTML Content Model.

Author: Max Deppert

Version: March 2014

Summary of exported operations:

isHtmlElement :: (Token,((Int,Int),Int)) -> Bool   
isVoidElement :: (Token,((Int,Int),Int)) -> Bool   
isStrictElement :: (Token,((Int,Int),Int)) -> Bool   
isPhrasingElement :: (Token,((Int,Int),Int)) -> Bool   
isFlowElement :: (Token,((Int,Int),Int)) -> Bool   
voidElements :: [String]   
strictElements :: [String]   
flowElements :: [String]   
phrasingElements :: [String]   
htmlElements :: [String]   

Exported operations:

isHtmlElement :: (Token,((Int,Int),Int)) -> Bool   

isVoidElement :: (Token,((Int,Int),Int)) -> Bool   

isStrictElement :: (Token,((Int,Int),Int)) -> Bool   

isPhrasingElement :: (Token,((Int,Int),Int)) -> Bool   

isFlowElement :: (Token,((Int,Int),Int)) -> Bool   

voidElements :: [String]   

Further infos:
  • solution complete, i.e., able to compute all solutions

strictElements :: [String]   

Further infos:
  • solution complete, i.e., able to compute all solutions

flowElements :: [String]   

Further infos:
  • solution complete, i.e., able to compute all solutions

phrasingElements :: [String]   

Further infos:
  • solution complete, i.e., able to compute all solutions

htmlElements :: [String]   

Further infos:
  • solution complete, i.e., able to compute all solutions