| definition: |
allVars :: AExpr _ -> [VarIndex]
allVars e = trExpr var lit comb lt fr or cas branch typed e []
where
var _ = (:)
lit _ = const id
comb _ _ _ = foldr (.) id
lt _ bs exp = exp . foldr (.) id (map (\ ((n, _), ns) -> (n:) . ns) bs)
fr _ vs exp = (map fst vs ++) . exp
or _ = (.)
cas _ _ exp bs = exp . foldr (.) id bs
branch pat exp = (args pat ++) . exp
args pat | isConsPattern pat = map fst (patArgs pat)
| otherwise = []
typed _ = const
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
--- get all variables (also pattern variables) in expression |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_) |-> _}
|
| name: |
allVars |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
FlatCurry.Annotated.Types.AExpr a -> [Prelude.Int] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |