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