hets -- a heterogenous Specification (CASL) tool setContentsIndex
Common.AnalyseAnnos
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
Some functions for building and accessing the datastructures of GlobalAnnotations.
Synopsis
addGlobalAnnos :: GlobalAnnos -> [Annotation] -> Result GlobalAnnos
store_prec_annos :: PrecedenceGraph -> [Annotation] -> Result PrecedenceGraph
store_assoc_annos :: AssocMap -> [Annotation] -> Result AssocMap
store_display_annos :: DisplayMap -> [Annotation] -> Result DisplayMap
store_literal_map :: LiteralMap -> [Annotation] -> Result LiteralMap
store_literal_annos :: LiteralAnnos -> [Annotation] -> Result LiteralAnnos
showIdPair :: (Id, Id) -> ShowS
setStringLit :: Maybe (Id, Id) -> [Annotation] -> Result (Maybe (Id, Id))
setFloatLit :: Maybe (Id, Id) -> [Annotation] -> Result (Maybe (Id, Id))
setNumberLit :: Maybe Id -> [Annotation] -> Result (Maybe Id)
setListLit :: Map Id (Id, Id) -> [Annotation] -> Result (Map Id (Id, Id))
parse_display_str :: Annotation -> String -> Result [Token]
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