GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 11:42:49 -06:00
Code Issues Packages Projects Releases Wiki Activity

GF.Inra.UseIO: add instance Functor IOE, add method fail to instance Monad IOE

Browse Source
This commit is contained in:
hallgren
2012-02-20 17:26:49 +00:00
parent 1966ce5eb6
commit b19f57df0f
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/compiler/GF/Infra/UseIO.hs
View File

@@ -137,11 +137,14 @@ ioeIO io = ioe (io >>= return . return)
ioeErr :: Err a -> IOE a ioeErr :: Err a -> IOE a
ioeErr = ioe . return ioeErr = ioe . return
instance Functor IOE where fmap = liftM
instance Monad IOE where instance Monad IOE where
return a = ioe (return (return a)) return a = ioe (return (return a))
IOE c >>= f = IOE $ do IOE c >>= f = IOE $ do
x <- c -- Err a x <- c -- Err a
appIOE $ err ioeBad f x -- f :: a -> IOE a appIOE $ err ioeBad f x -- f :: a -> IOE a
fail = ioeBad
ioeBad :: String -> IOE a ioeBad :: String -> IOE a
ioeBad = ioe . return . Bad ioeBad = ioe . return . Bad