| definition: |
getBranchState :: TermDomain a => VerifyStateM a ([(Int,TypeExpr,Expr)], VarTypesMap a, Expr -> Expr) getBranchState = do ves <- getVarExps vts <- getVarTypes cond <- getCondition return (ves,vts,cond) |
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- Gets the state information which might be changed during branch verification. |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| name: |
getBranchState |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Analysis.TermDomain.TermDomain a => Control.Monad.Trans.State.StateT (VerifyState a) Prelude.IO ([(Prelude.Int, FlatCurry.Types.TypeExpr, FlatCurry.Types.Expr)], [(Prelude.Int, [(Verify.IOTypes.InOutType a, [Prelude.Int])])], FlatCurry.Types.Expr -> FlatCurry.Types.Expr) |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
reducible on all ground data terms |