CurryInfo: verify-non-fail-2.0.0 / Verify.NonFailConditions.renameAllVars

 
renameAllVars :: [(Int,Int)] -> Expr -> Expr
renameAllVars rnm = rnmE
 where
  rnmE exp = case exp of
    Var v         -> Var (rnmV v)
    Lit _         -> exp
    Comb ct qf es -> Comb ct qf (map rnmE es)
    Or e1 e2      -> Or (rnmE e1) (rnmE e2)
    Free vs e     -> Free (map rnmV vs) (rnmE e)
    Let vbs e     -> Let (map (\(v,ve) -> (rnmV v, rnmE ve)) vbs) (rnmE e)
    Case ct e brs -> Case ct (rnmE e)
                          (map (\(Branch p pe) -> Branch (rnmP p) (rnmE pe)) brs)
    Typed e t     -> Typed (rnmE e) t

  rnmV v = maybe v id (lookup v rnm)

  rnmP pat@(LPattern _) = pat
  rnmP (Pattern qc vs)  = Pattern qc (map rnmV vs)

 no demanded arguments

 deterministic operation

 
Replace all variables (even bound variables) in a FlatCurry expression
by new variables. Thus, the result is a renamed variant of the input.

 _

 referentially transparent operation

 no fixity defined

 {(_) |-> {renameAllVars.rnmE.20}}

 renameAllVars

 no precedence defined

 {renameAllVars.rnmE.20}

 [(Prelude.Int, Prelude.Int)] -> FlatCurry.Types.Expr -> FlatCurry.Types.Expr

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term