| |||||||||||||||||||||||
| |||||||||||||||||||||||
Description | |||||||||||||||||||||||
Some functions for building and accessing the datastructures of GlobalAnnotations. | |||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||
| |||||||||||||||||||||||
Documentation | |||||||||||||||||||||||
addGlobalAnnos :: GlobalAnnos -> [Annotation] -> Result GlobalAnnos | |||||||||||||||||||||||
add global annotations | |||||||||||||||||||||||
store_prec_annos :: PrecedenceGraph -> [Annotation] -> Result PrecedenceGraph | |||||||||||||||||||||||
add precedences | |||||||||||||||||||||||
store_assoc_annos :: AssocMap -> [Annotation] -> Result AssocMap | |||||||||||||||||||||||
add associative ids | |||||||||||||||||||||||
store_display_annos :: DisplayMap -> [Annotation] -> Result DisplayMap | |||||||||||||||||||||||
add display annotations | |||||||||||||||||||||||
store_literal_map :: LiteralMap -> [Annotation] -> Result LiteralMap | |||||||||||||||||||||||
add literal annotation to LiteralMap and check for overlapping ids | |||||||||||||||||||||||
store_literal_annos :: LiteralAnnos -> [Annotation] -> Result LiteralAnnos | |||||||||||||||||||||||
add literal annotation to LiteralAnnos and check for contradictions | |||||||||||||||||||||||
showIdPair :: (Id, Id) -> ShowS | |||||||||||||||||||||||
shortcut to show errors in setStringLit and setFloatLit | |||||||||||||||||||||||
setStringLit :: Maybe (Id, Id) -> [Annotation] -> Result (Maybe (Id, Id)) | |||||||||||||||||||||||
add (and check for uniqueness) string annotations | |||||||||||||||||||||||
setFloatLit :: Maybe (Id, Id) -> [Annotation] -> Result (Maybe (Id, Id)) | |||||||||||||||||||||||
add (and check for uniqueness) floating annotations | |||||||||||||||||||||||
setNumberLit :: Maybe Id -> [Annotation] -> Result (Maybe Id) | |||||||||||||||||||||||
add (and check for uniqueness) number annotations | |||||||||||||||||||||||
setListLit :: Map Id (Id, Id) -> [Annotation] -> Result (Map Id (Id, Id)) | |||||||||||||||||||||||
add (and check for consistency) (possibly several) list annotations | |||||||||||||||||||||||
parse_display_str :: Annotation -> String -> Result [Token] | |||||||||||||||||||||||
Produced by Haddock version 0.6 |