hets -- a heterogenous Specification (CASL) tool setContentsIndex
CASL.Print_AS_Basic
Portability non-portable (rank-2-polymorphism)
Stability experimental
Maintainer hets@tzi.de
Description
pretty printing data types of BASIC_SPEC
Synopsis
printAnnotedFormula_Text0 :: GlobalAnnos -> Annoted FORMULA -> Doc
printAnnotedFormula_Latex0 :: GlobalAnnos -> Annoted FORMULA -> Doc
pluralS_symb_list :: SYMB_KIND -> [a] -> String
print_kind_latex :: GlobalAnnos -> SYMB_KIND -> [a] -> Doc
condPrint_Mixfix :: (forall a . PrettyPrint a => GlobalAnnos -> a -> Doc) -> (Doc -> Doc) -> (Doc -> Doc -> Doc) -> ([Doc] -> Doc) -> (forall b . PrettyPrint b => GlobalAnnos -> [b] -> Doc) -> Maybe (Token -> Doc) -> Maybe Display_format -> GlobalAnnos -> Id -> [TERM] -> Doc
condPrint_Mixfix_text :: GlobalAnnos -> Id -> [TERM] -> Doc
condPrint_Mixfix_latex :: GlobalAnnos -> Id -> [TERM] -> Doc
print_mixfix_appl :: (forall a . PrettyPrint a => GlobalAnnos -> a -> Doc) -> (Doc -> Doc) -> (Doc -> Doc -> Doc) -> ([Doc] -> Doc) -> Maybe (Token -> Doc) -> Maybe Display_format -> GlobalAnnos -> Id -> [TERM] -> Doc
print_prefix_appl :: (Doc -> Doc) -> (forall b . PrettyPrint b => GlobalAnnos -> [b] -> Doc) -> GlobalAnnos -> Doc -> [TERM] -> Doc
print_prefix_appl_text :: GlobalAnnos -> Doc -> [TERM] -> Doc
print_prefix_appl_latex :: GlobalAnnos -> Doc -> [TERM] -> Doc
print_Literal :: (forall a . PrettyPrint a => GlobalAnnos -> a -> Doc) -> (Doc -> Doc) -> (Doc -> Doc -> Doc) -> ([Doc] -> Doc) -> (forall b . PrettyPrint b => GlobalAnnos -> [b] -> Doc) -> Doc -> Doc -> Maybe (Token -> Doc) -> Maybe Display_format -> GlobalAnnos -> Id -> [TERM] -> Doc
mergeTok :: [Token] -> Token
print_Literal_text :: GlobalAnnos -> Id -> [TERM] -> Doc
print_Literal_latex :: GlobalAnnos -> Id -> [TERM] -> Doc
condParensAppl :: (GlobalAnnos -> TERM -> Doc) -> (Doc -> Doc) -> GlobalAnnos -> Id -> TERM -> Maybe AssocEither -> Doc
condParensImplEquiv :: (GlobalAnnos -> FORMULA -> Doc) -> (Doc -> Doc) -> GlobalAnnos -> FORMULA -> FORMULA -> Doc
condParensXjunction :: (GlobalAnnos -> FORMULA -> Doc) -> (Doc -> Doc) -> GlobalAnnos -> FORMULA -> Doc
left_most_pos :: FORMULA -> Pos
if_detect :: FORMULA -> [Pos] -> Bool
hc_sty_sig_item_keyword :: GlobalAnnos -> String -> Doc
Produced by Haddock version 0.6