| definition: |
binds2VarMap :: [((VarIndex, TypeExpr), TAExpr)] -> VarMap binds2VarMap [] = DM.empty binds2VarMap (((i, typ), e) : bs) = case e of AComb _ ConsCall (qn, _) _ -> DM.insert i (Left qn) (binds2VarMap bs) _ -> binds2VarMap bs |
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| failfree: |
_ |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({[]}) |-> {Tip} || ({:}) |-> _}
|
| name: |
binds2VarMap |
| precedence: |
no precedence defined |
| result-values: |
{Bin,Tip}
|
| signature: |
[((Prelude.Int, FlatCurry.Types.TypeExpr), FlatCurry.Annotated.Types.AExpr FlatCurry.Types.TypeExpr)] -> Data.Map.Map Prelude.Int (Prelude.Either (String, String) [(String, String)]) |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |