X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=ReadLine.icl;h=4d15493a312f51659dbb7845b4f1c0bc21ae7580;hb=59bae2bb34904a71ba319cecb47af322c65f1f73;hp=fa234737bfc12cf6a50a4ecce57ffc09ee7e3aa3;hpb=fae9710523b2142c451f641afe1094a2e2de1492;p=CleanReadLine.git

diff --git a/ReadLine.icl b/ReadLine.icl
index fa23473..4d15493 100644
--- a/ReadLine.icl
+++ b/ReadLine.icl
@@ -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