repositories
/
CleanReadLine.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Use Data.Maybe Maybe for compatibility
[CleanReadLine.git]
/
ReadLine.icl
diff --git
a/ReadLine.icl
b/ReadLine.icl
index
fa23473
..
4d15493
100644
(file)
--- a/
ReadLine.icl
+++ b/
ReadLine.icl
@@
-1,21
+1,10
@@
implementation module ReadLine
import StdEnv
implementation module ReadLine
import StdEnv
+import Data.Maybe
import code from "readLine.o"
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
instance toString HistoryItem where
toString {line,timestamp} = line +++ " (" +++ timestamp +++ ")"
instance toString HistoryState where