| definition: |
ppDecl :: Decl -> Doc
ppDecl (Rule n ds) = nest 2 $ text "rule" <+> text n $$
ppDefs ds
ppDecl (Edge r eos ios eis iis ois ds) = nest 2 $
text "build" <+>
ppTargets eos <+>
ppImplicitTargets ios <>
colon <+>
text r <+>
ppTargets eis <+>
ppImplicitTargets iis <+>
ppOrderOnlyTargets ois $$ ppDefs ds
ppDecl (Var d) = ppDef d
ppDecl (Default t) = text "default" <+> text t
ppDecl (Subninja p) = text "subninja" <+> text p
ppDecl (Include p) = text "include" <+> text p
ppDecl (Pool n ds) = nest 2 $ text "pool" <+> text n $$
ppDefs ds
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
--- Render a Ninja declaration --- @param decl a Ninja declaration --- @param the rendered Ninja declaration |
| failfree: |
_ |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({Rule}) |-> _ || ({Edge}) |-> _ || ({Var}) |-> _ || ({Default}) |-> _ || ({Subninja}) |-> _ || ({Include}) |-> _ || ({Pool}) |-> _}
|
| name: |
ppDecl |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Ninja.Types.Decl -> Text.PrettyImpl.Doc |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
possibly non-reducible on same data term |