hets -- a heterogenous Specification (CASL) tool set
Contents
Index
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