CurryInfo: abstract-haskell-3.0.0 / AbstractHaskell.Printer.ppProg
definition: 
|
ppProg :: Options -> Prog -> Doc
ppProg opts (Prog m is ts fs os) = compose (<$+$>)
[ ppHeader opts' m ts fs
, ppImports opts' is
, ppDecls opts' os ts fs
]
where opts' = opts { currentModule = m }
|
|
demand:
|
argument 2 |
|
deterministic:
|
deterministic operation |
|
documentation:
|
Shows an AbstractHaskell program in standard Haskell syntax. The export list contains the public functions and the types with their data constructors (if all data constructors are public), otherwise only the type constructors. The potential comments in function declarations are formatted as documentation comments. |
|
failfree:
|
<FAILING> |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{(_,{Prog}) |-> _}
|
|
name:
|
ppProg |
|
precedence:
|
no precedence defined |
|
result-values:
|
_ |
|
signature:
|
Options -> AbstractHaskell.Types.Prog -> Text.PrettyImpl.Doc |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
possibly non-terminating |
|
totally-defined:
|
possibly non-reducible on same data term |