diff options
| author | bjorn <bjorn@bringert.net> | 2008-10-02 13:23:54 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-10-02 13:23:54 +0000 |
| commit | 86a30ef99213670b305934a4d0976d458db7db97 (patch) | |
| tree | 63c2fa245672020e11fe2ee0363f5c180c7bd6a8 /src/GF/Source/ErrM.hs | |
| parent | 8fb068df6a4a9971f6c045744a16b07a895a5519 (diff) | |
Converted GF/Source/*.hs to Unix line endings, to be able to see what happens when I regenerated the files.
Diffstat (limited to 'src/GF/Source/ErrM.hs')
| -rw-r--r-- | src/GF/Source/ErrM.hs | 52 |
1 files changed, 26 insertions, 26 deletions
diff --git a/src/GF/Source/ErrM.hs b/src/GF/Source/ErrM.hs index addd22f69..63840758e 100644 --- a/src/GF/Source/ErrM.hs +++ b/src/GF/Source/ErrM.hs @@ -1,26 +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.Source.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
+-- 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.Source.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 |
