repositories
/
CleanReadLine.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
9dc1673
)
Removed ignored strictness hints
author
Camil Staps
<info@camilstaps.nl>
Wed, 27 Jan 2016 17:54:23 +0000
(18:54 +0100)
committer
Camil Staps
<info@camilstaps.nl>
Wed, 27 Jan 2016 17:54:23 +0000
(18:54 +0100)
ReadLine.dcl
patch
|
blob
|
history
ReadLine.icl
patch
|
blob
|
history
diff --git
a/ReadLine.dcl
b/ReadLine.dcl
index
f859e32
..
734ca20
100644
(file)
--- a/
ReadLine.dcl
+++ b/
ReadLine.dcl
@@
-10,7
+10,7
@@
instance toString HistoryItem
instance toString HistoryState
//Non-library functions
instance toString HistoryState
//Non-library functions
-setReadLineName :: !String !*env ->
!
*env
+setReadLineName :: !String !*env -> *env
//Readline
readLine :: !String !Bool !*env -> (!Maybe String, !*env)
//Readline
readLine :: !String !Bool !*env -> (!Maybe String, !*env)
@@
-18,18
+18,18
@@
readLine :: !String !Bool !*env -> (!Maybe String, !*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
//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
+usingHistory :: !*env -> *env
historyGetHistoryState :: !*env -> (!HistoryState, !*env)
historyGetHistoryState :: !*env -> (!HistoryState, !*env)
-historySetHistoryState :: !HistoryState !*env ->
!
*env
+historySetHistoryState :: !HistoryState !*env -> *env
//History List Management
//History List Management
-addHistory :: !String !*env ->
!
*env
-addHistoryTime :: !String !*env ->
!
*env
+addHistory :: !String !*env -> *env
+addHistoryTime :: !String !*env -> *env
removeHistory :: !Int !*env -> (!HistoryItem, !*env)
replaceHistoryEntry :: !Int !String !*env -> (!HistoryItem, !*env)
removeHistory :: !Int !*env -> (!HistoryItem, !*env)
replaceHistoryEntry :: !Int !String !*env -> (!HistoryItem, !*env)
-clearHistory :: !*env ->
!
*env
-stifleHistory :: !Int !*env ->
!
*env
-unstifleHistory :: !*env ->
!
*env
+clearHistory :: !*env -> *env
+stifleHistory :: !Int !*env -> *env
+unstifleHistory :: !*env -> *env
historyIsStifled :: !*env -> (!Int, !*env)
//Information About the History List
historyIsStifled :: !*env -> (!Int, !*env)
//Information About the History List
diff --git
a/ReadLine.icl
b/ReadLine.icl
index
6320117
..
790db28
100644
(file)
--- a/
ReadLine.icl
+++ b/
ReadLine.icl
@@
-26,13
+26,13
@@
readLine s h e
ccall cleanReadLine "SI:VSI:A"
}
ccall cleanReadLine "SI:VSI:A"
}
-setReadLineName :: !String !*env ->
!
*env
+setReadLineName :: !String !*env -> *env
setReadLineName s e = code {
ccall cleanSetReadLineName "S:V:A"
}
//Initializing History and State Management
setReadLineName s e = code {
ccall cleanSetReadLineName "S:V:A"
}
//Initializing History and State Management
-usingHistory :: !*env ->
!
*env
+usingHistory :: !*env -> *env
usingHistory e = code {
ccall cleanUsingHistory ":V:A"
}
usingHistory e = code {
ccall cleanUsingHistory ":V:A"
}
@@
-60,39
+60,39
@@
historyGetHistoryState e
}
}
-historySetHistoryState :: !HistoryState !*env ->
!
*env
+historySetHistoryState :: !HistoryState !*env -> *env
historySetHistoryState {entries,offset,flags} e
# e = initNewHistoryState offset flags (length entries) e
# e = setItems entries 0 e
= commit e
where
historySetHistoryState {entries,offset,flags} e
# e = initNewHistoryState offset flags (length entries) e
# e = setItems entries 0 e
= commit e
where
- initNewHistoryState :: !Int !Int !Int !*env ->
!
*env
+ initNewHistoryState :: !Int !Int !Int !*env -> *env
initNewHistoryState o f l e = code {
ccall cleanInitNewHistoryState "III:V:A"
}
initNewHistoryState o f l e = code {
ccall cleanInitNewHistoryState "III:V:A"
}
- setItems :: ![HistoryItem] !Int !*env ->
!
*env
+ setItems :: ![HistoryItem] !Int !*env -> *env
setItems [] _ e = e
setItems [x:xs] i e
# e = setItem i x.line x.timestamp e
= setItems xs (i+1) e
setItems [] _ e = e
setItems [x:xs] i e
# e = setItem i x.line x.timestamp e
= setItems xs (i+1) e
- setItem :: !Int !String !String !*env ->
!
*env
+ setItem :: !Int !String !String !*env -> *env
setItem i l t e = code {
ccall cleanSetNewHistoryEntry "ISS:V:A"
}
setItem i l t e = code {
ccall cleanSetNewHistoryEntry "ISS:V:A"
}
- commit :: !*env ->
!
*env
+ commit :: !*env -> *env
commit e = code {
ccall cleanCommitSetHistory ":V:A"
}
//History List Management
commit e = code {
ccall cleanCommitSetHistory ":V:A"
}
//History List Management
-addHistory :: !String !*env ->
!
*env
+addHistory :: !String !*env -> *env
addHistory s e = code {
ccall cleanAddHistory "S:V:A"
}
addHistory s e = code {
ccall cleanAddHistory "S:V:A"
}
-addHistoryTime :: !String !*env ->
!
*env
+addHistoryTime :: !String !*env -> *env
addHistoryTime s e = code {
ccall cleanAddHistoryTime "S:V:A"
}
addHistoryTime s e = code {
ccall cleanAddHistoryTime "S:V:A"
}
@@
-117,17
+117,17
@@
replaceHistoryEntry i s e
ccall cleanReplaceHistoryEntry "IS:VSS:A"
}
ccall cleanReplaceHistoryEntry "IS:VSS:A"
}
-clearHistory :: !*env ->
!
*env
+clearHistory :: !*env -> *env
clearHistory e = code {
ccall cleanClearHistory ":V:A"
}
clearHistory e = code {
ccall cleanClearHistory ":V:A"
}
-stifleHistory :: !Int !*env ->
!
*env
+stifleHistory :: !Int !*env -> *env
stifleHistory i e = code {
ccall cleanStifleHistory "I:V:A"
}
stifleHistory i e = code {
ccall cleanStifleHistory "I:V:A"
}
-unstifleHistory :: !*env ->
!
*env
+unstifleHistory :: !*env -> *env
unstifleHistory e = code {
ccall cleanUnstifleHistory ":V:A"
}
unstifleHistory e = code {
ccall cleanUnstifleHistory ":V:A"
}