1 definition module ReadLine
4 readLine :: !String !Bool !*env -> (!String, !*env)
5 setReadLineName :: !String !*env -> !*env
7 //Initializing History and State Management
8 //Note that this HAS to be executed when you want to add entries when the
9 //history has not been used
10 usingHistory :: !*env -> !*env
12 //History List Management
13 addHistory :: !String !*env -> !*env
14 clearHistory :: !*env -> !*env
15 //TODO some more functions
17 //Information About the History List
20 //Moving Around the History List
23 //Searching the History List
24 //Note that the return integers are just success flags. The actual found item
25 //will be the current history position and the int is the offset of the search
27 historySearch :: !String !Int !*env-> (!Int, !*env)
28 historySearchPrefix :: !String !Int !*env-> (!Int, !*env)
29 historySearchPos :: !String !Int !Int !*env-> (!Int, !*env)
31 //Managing the History File
32 readHistory :: !String !*env -> (!Bool, !*env)
33 readHistoryRange :: !String !Int !Int !*env -> (!Bool, !*env)
34 writeHistory :: !String !*env -> (!Bool, !*env)
35 appendHistory :: !Int !String !*env -> (!Bool, !*env)
36 historyTruncateFile :: !String !Int !*env -> (!Bool, !*env)