X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=ReadLine.dcl;h=222f9496a3c58c2452affb102a33133dda657a80;hb=59bae2bb34904a71ba319cecb47af322c65f1f73;hp=e93bbc1c70c183b0f3b6adc93ef8e9c0547da305;hpb=fae9710523b2142c451f641afe1094a2e2de1492;p=CleanReadLine.git

diff --git a/ReadLine.dcl b/ReadLine.dcl
index e93bbc1..222f949 100644
--- a/ReadLine.dcl
+++ b/ReadLine.dcl
@@ -1,19 +1,14 @@
 definition module ReadLine
 
 import StdClass
+from Data.Maybe import :: Maybe
 
-:: Maybe a = Nothing | Just a
 :: HistoryItem = {line :: String, timestamp :: String}
 :: HistoryState = {entries :: [HistoryItem], offset :: Int, flags :: Int}
 
 instance toString HistoryItem
 instance toString HistoryState
 
-//Maybe functions
-isNothing :: !(Maybe .x) -> Bool
-isJust    :: !(Maybe .x) -> Bool
-fromJust  :: !(Maybe .x) -> .x
-
 //Non-library functions
 setReadLineName :: !String !*env -> *env