suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added some MonadState instances to allow access to the compiler state in the CheckOptM and similar monads

Browse Source
This commit is contained in:
Neil Brown 2008-11-20 14:31:16 +00:00
parent 432d98eaee
commit f60eee19d5
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
checks/CheckFramework.hs
View File

@ -116,6 +116,10 @@ newtype CheckOptM a = CheckOptM (StateT CheckOptData PassM a)
instance Die CheckOptM where
dieReport = CheckOptM . lift . dieReport
instance MonadState CompState CheckOptM where
get = CheckOptM $ lift get
put = CheckOptM . lift . put
instance CSMR CheckOptM where
getCompState = CheckOptM . lift $ getCompState
@ -138,6 +142,10 @@ instance Monad (CheckOptASTM t) where
instance MonadIO (CheckOptASTM t) where
liftIO = CheckOptASTM . liftM Right . liftIO
instance MonadState CompState (CheckOptASTM t) where
get = CheckOptASTM . liftM Right . lift . lift $ get
put = CheckOptASTM . liftM Right . lift . lift . put
deCheckOptASTM :: (t -> CheckOptASTM t ()) -> (t, Route t A.AST) -> RestartT CheckOptM (Either
t t)
deCheckOptASTM f (x, r) = do
@ -180,6 +188,10 @@ instance Warn (CheckOptASTM t) where
instance CSMR (CheckOptASTM t) where
getCompState = liftCheckOptM getCompState
instance MonadState CompState (CheckOptFlowM t) where
get = CheckOptFlowM . lift $ get
put = CheckOptFlowM . lift . put
askRoute :: CheckOptASTM t (Route t A.AST)
askRoute = CheckOptASTM $ ask >>* Right