diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-12-20 17:34:12 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-12-20 17:34:12 +0000 |
| commit | 5b01d912cec744f41b5e0ba5720d7d641ca08195 (patch) | |
| tree | bd353951e362393e300f33fdbbff3fc192f1ae6c /src/GF/Command/ErrM.hs | |
| parent | 4ab0df67c5c5ae837e63b3c7285ef97058740778 (diff) | |
Replace all the different ErrM.hs modules with GF.Data.ErrM.
Diffstat (limited to 'src/GF/Command/ErrM.hs')
| -rw-r--r-- | src/GF/Command/ErrM.hs | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/GF/Command/ErrM.hs b/src/GF/Command/ErrM.hs deleted file mode 100644 index b1f6329c2..000000000 --- a/src/GF/Command/ErrM.hs +++ /dev/null @@ -1,26 +0,0 @@ --- BNF Converter: Error Monad --- Copyright (C) 2004 Author: Aarne Ranta - --- This file comes with NO WARRANTY and may be used FOR ANY PURPOSE. -module GF.Command.ErrM where - --- the Error monad: like Maybe type with error msgs - -import Control.Monad (MonadPlus(..), liftM) - -data Err a = Ok a | Bad String - deriving (Read, Show, Eq, Ord) - -instance Monad Err where - return = Ok - fail = Bad - Ok a >>= f = f a - Bad s >>= f = Bad s - -instance Functor Err where - fmap = liftM - -instance MonadPlus Err where - mzero = Bad "Err.mzero" - mplus (Bad _) y = y - mplus x _ = x |
