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  Deterministic 
isVoidElement :: (Token,((Int,Int),Int)) -> Bool  Deterministic 
isStrictElement :: (Token,((Int,Int),Int)) -> Bool  Deterministic 
isPhrasingElement :: (Token,((Int,Int),Int)) -> Bool  Deterministic 
isFlowElement :: (Token,((Int,Int),Int)) -> Bool  Deterministic 
voidElements :: [String]  Deterministic 
strictElements :: [String]  Deterministic 
flowElements :: [String]  Deterministic 
phrasingElements :: [String]  Deterministic 
htmlElements :: [String]  Deterministic 

Exported operations:

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

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

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

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

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

voidElements :: [String]  Deterministic 

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

strictElements :: [String]  Deterministic 

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

flowElements :: [String]  Deterministic 

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

phrasingElements :: [String]  Deterministic 

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

htmlElements :: [String]  Deterministic 

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