X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=ReadLine.dcl;h=540886af161757f2789c47c8413052567c76131a;hb=7bd8eb6fd597563da806f043b47072bdcb9776fe;hp=da953d76c03cde26b29b024c4a043daa9df53c54;hpb=c1881c179f5da9c41193ba9534c2ffb9be48b8d5;p=CleanReadLine.git

diff --git a/ReadLine.dcl b/ReadLine.dcl
index da953d7..540886a 100644
--- a/ReadLine.dcl
+++ b/ReadLine.dcl
@@ -1,8 +1,21 @@
 definition module ReadLine
 
-/*
-	Reads a line from stdin with the readline library
-	The value in the String argument will be used as a prompt
-	To enable history the Boolean variable has to be set to True
-*/
+//Readline
 readLine :: !String !Bool !*env -> (!String, !*env)
+
+//Initializing History and State Management
+
+//History List Management
+
+//Information About the History List
+
+//Moving Around the History List
+
+//Searching the History List
+
+//Managing the History File
+readHistory :: !String !*env -> (!Bool, !*env)
+readHistoryRange :: !String !Int !Int !*env -> (!Bool, !*env)
+writeHistory :: !String !*env -> (!Bool, !*env)
+appendHistory :: !Int !String !*env -> (!Bool, !*env)
+historyTruncateFile :: !String !Int !*env -> (!Bool, !*env)