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