X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=ReadLine.dcl;h=ecc58bf1690d92c2d4f2de6d8a1e4b9c893179b2;hb=ff8b7759a75a8312d6bfb2eacb3035a6ee540f0f;hp=540886af161757f2789c47c8413052567c76131a;hpb=d1e12488647a2c90609fe7014e011bca72a1d7eb;p=CleanReadLine.git

diff --git a/ReadLine.dcl b/ReadLine.dcl
index 540886a..ecc58bf 100644
--- a/ReadLine.dcl
+++ b/ReadLine.dcl
@@ -2,16 +2,31 @@ definition module ReadLine
 
 //Readline
 readLine :: !String !Bool !*env -> (!String, !*env)
+setReadLineName :: !String !*env -> !*env
 
 //Initializing History and State Management
+//Note that this HAS to be executed when you want to add entries when the
+//history has not been used
+usingHistory :: !*env -> !*env
 
 //History List Management
+addHistory :: !String !*env -> !*env
+clearHistory :: !*env -> !*env
+//TODO some more functions
 
 //Information About the History List
+//TODO
 
 //Moving Around the History List
+//TODO
 
 //Searching the History List
+//Note that the return integers are just success flags. The actual found item
+//will be the current history position and the int is the offset of the search
+//within that item...
+historySearch :: !String !Int !*env-> (!Int, !*env)
+historySearchPrefix :: !String !Int !*env-> (!Int, !*env)
+historySearchPos :: !String !Int !Int !*env-> (!Int, !*env)
 
 //Managing the History File
 readHistory :: !String !*env -> (!Bool, !*env)