ReadLine.dcl

   1 definition module ReadLine
   2
   3 //Readline
   4 readLine :: !String !Bool !*env -> (!String, !*env)
   5
   6 //Initializing History and State Management
   7
   8 //History List Management
   9
  10 //Information About the History List
  11
  12 //Moving Around the History List
  13
  14 //Searching the History List
  15
  16 //Managing the History File
  17 readHistory :: !String !*env -> (!Bool, !*env)
  18 readHistoryRange :: !String !Int !Int !*env -> (!Bool, !*env)
  19 writeHistory :: !String !*env -> (!Bool, !*env)
  20 appendHistory :: !Int !String !*env -> (!Bool, !*env)
  21 historyTruncateFile :: !String !Int !*env -> (!Bool, !*env)