From: Simon Huber Date: Thu, 30 Apr 2015 14:03:04 +0000 (+0200) Subject: use unqualified mapWithKey X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=cd18e82f6c8ddb7652e009b1cd998241184c19e4;p=cubicaltt.git use unqualified mapWithKey --- diff --git a/Eval.hs b/Eval.hs index c4135d3..bc44157 100644 --- a/Eval.hs +++ b/Eval.hs @@ -620,7 +620,7 @@ unGlueLine b phi psi u = case (phi,psi,u) of compGlueLine :: Name -> Val -> Formula -> Formula -> Val -> System Val -> Val compGlueLine i b phi psi u us = glueLineElem vm phi psi where fs = invFormula psi One - ws = Map.mapWithKey + ws = mapWithKey (\alpha -> unGlueLine (b `face` alpha) (phi `face` alpha) (psi `face` alpha)) us w = unGlueLine b phi psi u @@ -628,10 +628,10 @@ compGlueLine i b phi psi u us = glueLineElem vm phi psi lss = mkSystem $ map (\alpha -> - (alpha,(face phi alpha,face b alpha, - face us alpha,face u alpha))) fs - ls = Map.mapWithKey (\alpha vAlpha -> - auxGlueLine i vAlpha (v `face` alpha)) lss + (alpha,(phi `face` alpha,b `face` alpha, + us `face` alpha,u `face` alpha))) fs + ls = mapWithKey (\alpha vAlpha -> + auxGlueLine i vAlpha (v `face` alpha)) lss vm = compLine b v ls @@ -640,20 +640,19 @@ auxGlueLine i (Dir _,b,ws,wi0) vi1 = VPath j vi1 where j = fresh vi1 auxGlueLine i (phi,b,ws,wi0) vi1 = fillLine b vi1 ls' where hisos = mkSystem (map (\alpha -> (alpha,idIso (b `face` alpha))) (invFormula phi Zero)) - vs = Map.mapWithKey (\alpha -> unGlue (hisos `face` alpha)) ws + vs = mapWithKey (\alpha -> unGlue (hisos `face` alpha)) ws vi0 = unGlue hisos wi0 -- in b v = fill i b vi0 vs -- in b - - us' = Map.mapWithKey (\gamma _ -> - fill i (b `face` gamma) (wi0 `face` gamma) - (ws `face` gamma)) + us' = mapWithKey (\gamma _ -> + fill i (b `face` gamma) (wi0 `face` gamma) + (ws `face` gamma)) hisos - ls' = Map.mapWithKey (\gamma _ -> - pathComp i (b `face` gamma) (v `face` gamma) - (us' ! gamma) (vs `face` gamma)) - hisos + ls' = mapWithKey (\gamma _ -> + pathComp i (b `face` gamma) (v `face` gamma) + (us' ! gamma) (vs `face` gamma)) + hisos transGlueLine :: Name -> Val -> Formula -> Formula -> Val -> Val transGlueLine i b phi psi u = glueLineElem vm phii1 psii1 @@ -666,33 +665,30 @@ transGlueLine i b phi psi u = glueLineElem vm phii1 psii1 bi0 = b `face` (i ~> 0) lss = mkSystem (map (\ alpha -> (alpha,(face phi alpha,face b alpha,face u alpha))) fs) - ls = Map.mapWithKey (\alpha vAlpha -> + ls = mapWithKey (\alpha vAlpha -> auxTransGlueLine i vAlpha (v `face` alpha)) lss v = trans i b w w = unGlueLine bi0 phii0 psii0 u vm = compLine bi1 v ls - - auxTransGlueLine :: Name -> (Formula,Val,Val) -> Val -> Val auxTransGlueLine i (Dir _,b,wi0) vi1 = VPath j vi1 where j = fresh vi1 auxTransGlueLine i (phi,b,wi0) vi1 = fillLine (b `face` (i ~> 1)) vi1 ls' where hisos = mkSystem (map (\ alpha -> (alpha,idIso (b `face` alpha))) (invFormula phi Zero)) vi0 = unGlue (hisos `face` (i ~> 0)) wi0 -- in b(i0) - v = transFill i b vi0 -- in b -- set of elements in hisos independent of i - hisos' = Map.filterWithKey (\alpha _ -> i `Map.notMember` alpha) hisos + hisos' = filterWithKey (\alpha _ -> i `Map.notMember` alpha) hisos - us' = Map.mapWithKey (\gamma _ -> + us' = mapWithKey (\gamma _ -> transFill i (b `face` gamma) (wi0 `face` gamma)) hisos' - ls' = Map.mapWithKey (\gamma _ -> - VPath i $ squeeze i (b `face` gamma) (us' ! gamma)) - hisos' + ls' = mapWithKey (\gamma _ -> + VPath i $ squeeze i (b `face` gamma) (us' ! gamma)) + hisos'