?prevdifflink? - Blame
|
{-# LANGUAGE FlexibleContexts #-} {-# OPTIONS_GHC -Wall #-} ------------------------------------------------------------------------------- {- | Module : Language.Module.Refresh Description : Operations for refreshing the variable names. Copyright : (c) Paulo Silva License : LGPL Maintainer : paufil@di.uminho.pt Stability : experimental Portability : portable -} ------------------------------------------------------------------------------- module Language.Module.Refresh ( refresh ) where import Control.Monad.Fresh import qualified Language.Law.Refresh as L import Language.Module.SyntaxADT import qualified Language.R.Refresh as R ------------------------------------------------------------------------------- refresh :: MonadFresh [String] String m => ModuleS -> m ModuleS refresh (ModuleS nm laws gcs defs) = do laws' <- mapM L.refresh laws gcs' <- mapM R.refresh gcs defs' <- mapM R.refresh defs return $ ModuleS nm laws' gcs' defs' ------------------------------------------------------------------------------- |