hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Common.ConvertGlobalAnnos
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
convert global annotations to a list of annotations
Synopsis
convertGlobalAnnos
::
GlobalAnnos
-> [
Annotation
]
mergeGlobalAnnos
::
GlobalAnnos
->
GlobalAnnos
->
Result
GlobalAnnos
c_prec
::
PrecedenceGraph
-> [
Annotation
]
c_assoc
::
AssocMap
-> [
Annotation
]
c_displ
::
DisplayMap
-> [
Annotation
]
c_lit_an
::
LiteralAnnos
-> [
Annotation
]
Produced by
Haddock
version 0.6