hets -- a heterogenous Specification (CASL) tool setContentsIndex
Syntax.Print_AS_Structured
Portability non-portable(Grothendieck)
Stability provisional
Maintainer hets@tzi.de
Description

Printing the Structured part of hetrogenous specifications.

todo: - LaTeX Pretty Printing

Synopsis
condPunct :: Doc -> [G_hiding] -> [Doc] -> [Doc]
print_fit_arg_list :: (GlobalAnnos -> Annoted FIT_ARG -> Doc) -> (Doc -> Doc) -> ([Doc] -> Doc) -> GlobalAnnos -> [Annoted FIT_ARG] -> Doc
condBracesGroupSpec :: (GlobalAnnos -> Annoted SPEC -> Doc) -> (Doc -> Doc) -> Maybe (String, Doc) -> GlobalAnnos -> Annoted SPEC -> Doc
condBracesTransReduct :: (GlobalAnnos -> Annoted SPEC -> Doc) -> (Doc -> Doc) -> GlobalAnnos -> Annoted SPEC -> Doc
condBracesWithin :: (GlobalAnnos -> Annoted SPEC -> Doc) -> (Doc -> Doc) -> GlobalAnnos -> Annoted SPEC -> Doc
condBracesAnd :: (GlobalAnnos -> Annoted SPEC -> Doc) -> (Doc -> Doc) -> GlobalAnnos -> Annoted SPEC -> Doc
skip_Group :: SPEC -> SPEC
mkMaybeKeywordTuple :: Maybe String -> Doc -> Maybe (String, Doc)
sp_space_latex :: GlobalAnnos -> (Doc, GlobalAnnos)
spAnnotedPrint :: PrettyPrint a => (forall b . PrettyPrint b => GlobalAnnos -> b -> Doc) -> (Doc -> Doc -> Doc) -> GlobalAnnos -> Doc -> Annoted a -> Doc
Produced by Haddock version 0.6