add a monomorphic hoistScope for Bound.Scope.Simple

ekmett · Apr 5, 2014 · f21bde2 · f21bde2
1 parent 91212c5
commit f21bde2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/Bound/Scope/Simple.hs b/src/Bound/Scope/Simple.hs
@@ -56,6 +56,7 @@ module Bound.Scope.Simple
   , mapMScope
   , serializeScope
   , deserializeScope
+  , hoistScope
   ) where
 
 import Bound.Class
@@ -232,6 +233,10 @@ instantiate1 :: Monad f => f a -> Scope n f a -> f a
 instantiate1 e = instantiate (const e)
 {-# INLINE instantiate1 #-}
 
+hoistScope :: Monad f => (f (Var b a) -> g (Var b a)) -> Scope b f a -> Scope b g a
+hoistScope f = Scope . f . unscope
+{-# INLINE hoistScope #-}
+
 -------------------------------------------------------------------------------
 -- Compatibility with Bound.Scope
 -------------------------------------------------------------------------------