Use Data.Maybe Maybe for compatibility
[CleanReadLine.git] / ReadLine.icl
index fa23473..4d15493 100644 (file)
@@ -1,21 +1,10 @@
 implementation module ReadLine
 
 import StdEnv
+import Data.Maybe
 
 import code from "readLine.o"
 
-//Maybe
-isNothing :: !(Maybe .x) -> Bool
-isNothing Nothing = True
-isNothing _ = False
-
-isJust    :: !(Maybe .x) -> Bool
-isJust Nothing = False
-isJust _ = True
-
-fromJust  :: !(Maybe .x) -> .x
-fromJust (Just x) = x
-
 instance toString HistoryItem where
        toString {line,timestamp} = line +++ " (" +++ timestamp +++ ")"
 instance toString HistoryState where