| definition: |
ppExpr :: Int -> AExpr _ -> Doc
ppExpr _ (AVar _ v) = ppVarIndex v
ppExpr _ (ALit _ l) = ppLiteral l
ppExpr p (AComb _ _ qn es) = ppComb p qn es
ppExpr p (AFree _ vs e)
| null vs = ppExpr p e
| otherwise = parensIf (p > 0) $ sep
[ text "let"
<+> encloseSep empty empty comma
(map ppAVarIndex vs)
<+> text "free"
, text "in" </> ppExp e
]
ppExpr p (ALet _ ds e) = parensIf (p > 0) $ sep
[text "let" <+> ppDecls ds, text "in" <+> ppExp e]
ppExpr p (AOr _ e1 e2) = parensIf (p > 0)
$ ppExpr 1 e1 <+> text "?" <+> ppExpr 1 e2
ppExpr p (ACase _ ct e bs) = parensIf (p > 0) $ indent
$ ppCaseType ct <+> ppExpr 1 e <+> text "of"
<$$> vsep (map ppBranch bs)
ppExpr p (ATyped _ e ty) = parensIf (p > 0)
$ ppExp e <+> text "::" <+> ppTypeExp ty
|
| demand: |
argument 2 |
| deterministic: |
deterministic operation |
| documentation: |
--- pretty-print an expression |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,{AVar}) |-> _ || (_,{ALit}) |-> {Doc} || (_,{AComb}) |-> _ || (_,{AFree}) |-> _ || (_,{ALet}) |-> _ || (_,{AOr}) |-> _ || (_,{ACase}) |-> _ || (_,{ATyped}) |-> _}
|
| name: |
ppExpr |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Prelude.Int -> FlatCurry.Annotated.Types.AExpr a -> Text.PrettyImpl.Doc |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |