unqualify ∷ Name → String → RewriteRule
unqualify (Name o _) m
= let pat = NamePat Nothing (Just o)
- iop = UnqualifiedImp (mkModName m)
- $ Just
+ iop = UnqualifiedImp (mkModName m) ∘ Just
$ singleton (VarName, o)
in
RewriteRule pat Unqualify (singleton iop)
unqualifyIn ∷ Name → Name → String → RewriteRule
unqualifyIn (Name name _) (Name tycl _) m
= let pat = NamePat Nothing (Just name)
- iop = UnqualifiedImp (mkModName m)
- $ Just
+ iop = UnqualifiedImp (mkModName m) ∘ Just
$ singleton (TcClsName, tycl)
in
RewriteRule pat Unqualify (singleton iop)