|
definition:
|
ppExports :: Options -> [CClassDecl] -> [CInstanceDecl] -> [CTypeDecl]
-> [CFuncDecl] -> Doc
ppExports opts clsdecls instdecls ts fs
| null clsdecls && null instdecls && null pubTs && null pubFs
= parens empty -- nothing is exported
| null privTs && null privFs && null privCs
= empty -- everything is exported
| otherwise
= filledTupledSpaced $ map tDeclToDoc pubTs ++ map fDeclToDoc pubFs
where
(pubTs, privTs) = partition isPublicTypeDecl ts
(pubFs, privFs) = partition isPublicFuncDecl fs
privCs = filter ((== Private) . consVis) . concatMap typeCons $ ts
isPublicTypeDecl = (== Public) . typeVis
isPublicFuncDecl = (== Public) . funcVis
tDeclToDoc = on' (<>) (ppQTypeParsIfInfix opts . typeName)
(ppConsExports opts . typeCons)
fDeclToDoc = ppQFuncParsIfInfix opts . funcName
|
|
demand:
|
argument 2
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
--- Pretty-print exports, i.e. all type and function declarations which are
--- public.
--- extract the type and function declarations which are public and gather their
--- qualified names in a list.
|
|
failfree:
|
(_, _, _, _, _)
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{(_,_,_,_,_) |-> _}
|
|
name:
|
ppExports
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
Options -> [AbstractCurry.Types.CClassDecl]
-> [AbstractCurry.Types.CInstanceDecl] -> [AbstractCurry.Types.CTypeDecl]
-> [AbstractCurry.Types.CFuncDecl] -> Text.PrettyImpl.Doc
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|