diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-03-01 14:29:47 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-03-01 14:29:47 +0000 |
| commit | 674b4765e653d91c8c900da1263df8c0f4d767ad (patch) | |
| tree | f35a6274d78742f2d4880f8149f17341a53c06fb /src/GF/Devel/Compile/ErrM.hs | |
| parent | bc77ad31639775dbb8201e44d1f8a3c3b8b78852 (diff) | |
added bnfc-generated testgf3 files
Diffstat (limited to 'src/GF/Devel/Compile/ErrM.hs')
| -rw-r--r-- | src/GF/Devel/Compile/ErrM.hs | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/GF/Devel/Compile/ErrM.hs b/src/GF/Devel/Compile/ErrM.hs new file mode 100644 index 000000000..9cad4e252 --- /dev/null +++ b/src/GF/Devel/Compile/ErrM.hs @@ -0,0 +1,26 @@ +-- 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.Devel.Compile.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 |
