untabify
authorDon Stewart <dons@galois.com>
Mon, 18 Feb 2008 06:54:11 +0000 (06:54 +0000)
committerDon Stewart <dons@galois.com>
Mon, 18 Feb 2008 06:54:11 +0000 (06:54 +0000)
Data/Maybe.hs

index ea16a9a..4a71772 100644 (file)
 module Data.Maybe
    (
      Maybe(Nothing,Just)-- instance of: Eq, Ord, Show, Read,
-                       --              Functor, Monad, MonadPlus
+                        --              Functor, Monad, MonadPlus
 
-   , maybe             -- :: b -> (a -> b) -> Maybe a -> b
+   , maybe              -- :: b -> (a -> b) -> Maybe a -> b
 
-   , isJust            -- :: Maybe a -> Bool
-   , isNothing         -- :: Maybe a -> Bool
-   , fromJust          -- :: Maybe a -> a
-   , fromMaybe         -- :: a -> Maybe a -> a
+   , isJust             -- :: Maybe a -> Bool
+   , isNothing          -- :: Maybe a -> Bool
+   , fromJust           -- :: Maybe a -> a
+   , fromMaybe          -- :: a -> Maybe a -> a
    , listToMaybe        -- :: [a] -> Maybe a
-   , maybeToList       -- :: Maybe a -> [a]
-   , catMaybes         -- :: [Maybe a] -> [a]
-   , mapMaybe          -- :: (a -> Maybe b) -> [a] -> [b]
+   , maybeToList        -- :: Maybe a -> [a]
+   , catMaybes          -- :: [Maybe a] -> [a]
+   , mapMaybe           -- :: (a -> Maybe b) -> [a] -> [b]
    ) where
 
 #ifdef __GLASGOW_HASKELL__
@@ -43,7 +43,7 @@ import Maybe
     , fromJust
     , fromMaybe
     , listToMaybe
-    , maybeToList 
+    , maybeToList
     , catMaybes
     , mapMaybe
     )
@@ -63,7 +63,7 @@ import Maybe
 -- monad, where all errors are represented by 'Nothing'.  A richer
 -- error monad can be built using the 'Data.Either.Either' type.
 
-data  Maybe a  =  Nothing | Just a     
+data  Maybe a  =  Nothing | Just a
   deriving (Eq, Ord)
 
 instance  Functor Maybe  where
@@ -78,7 +78,7 @@ instance  Monad Maybe  where
     Nothing  >>  _      = Nothing
 
     return              = Just
-    fail _             = Nothing
+    fail _              = Nothing
 
 -- ---------------------------------------------------------------------------
 -- Functions over Maybe