Searched refs:RewriteRHS (Results 1 – 9 of 9) sorted by relevance
458 A.RewriteRHS qes spats rhs wh -> A.RewriteRHS qes spats (mapLHSCores f rhs) wh689 updateRHS (A.RewriteRHS qes spats rhs wh) =690 A.RewriteRHS qes (applySubst patSubst spats) (updateRHS rhs) wh805 A.RewriteRHS eqs ps rhs wh -> rewriteEqnsRHS eqs ps rhs wh915 | otherwise = (A.RewriteRHS rs strippedPats rhs' wh, A.noWhereDecls)951 handleRHS $ A.RewriteRHS rs strippedPats rhs wh993 | otherwise = (A.RewriteRHS rs strippedPats rhs' wh, A.noWhereDecls)
397 | RewriteRHS constructor417 RewriteRHS a b c d == RewriteRHS a' b' c' d' = and [ a == a', b == b', c == c' , d == d' ] function703 getRange (RewriteRHS xes _ rhs wh) = getRange (xes, rhs, wh)847 killRange (RewriteRHS xes spats rhs wh) = killRange4 RewriteRHS xes spats rhs wh
362 RewriteRHS xes spats rhs ds -> RewriteRHS <$> rec xes <*> pure spats <*> rec rhs <*> rec ds532 RewriteRHS _qes _ rhs cls -> declaredNames rhs <> declaredNames cls
237 buildRHS strippedPats1 (A.RewriteRHS qes strippedPats2 rhs wh) =238 …flip (A.RewriteRHS qes (applySubst withSub $ strippedPats1 ++ strippedPats2)) wh <$> buildRHS [] r…
486 rhs@A.RewriteRHS{} -> rhs{ A.rewriteRHS = makeRHSEmptyRecord $ A.rewriteRHS rhs }
319 A.RewriteRHS eqs strippedPats rhs wh -> hl eqs <> hl strippedPats <> hl rhs <> hl wh
1066 blank bound (RewriteRHS xes spats rhs _) = __IMPOSSIBLE__ -- NZ
1051 toConcrete (A.RewriteRHS xeqs _spats rhs wh) = do
2642 return $ RewriteRHS eqs [] rhs wh