Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
Index to all operations
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
@
@=
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
A
allDBInfos
(
Database.KeyDatabaseSQLite
)
allDBKeyInfos
(
Database.KeyDatabaseSQLite
)
allDBKeys
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
C
cleanDB
(
Database.KeyDatabaseSQLite
)
closeDBHandles
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
D
deleteDBEntries
(
Database.KeyDatabaseSQLite
)
deleteDBEntry
(
Database.KeyDatabaseSQLite
)
doneT
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
E
errorT
(
Database.KeyDatabaseSQLite
)
existsDBKey
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
F
failT
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
G
getDB
(
Database.KeyDatabaseSQLite
)
getDBInfo
(
Database.KeyDatabaseSQLite
)
getDBInfos
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
M
mapT
(
Database.KeyDatabaseSQLite
)
mapT_
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
N
newDBEntry
(
Database.KeyDatabaseSQLite
)
newDBKeyEntry
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
P
persistentSQLite
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
R
returnT
(
Database.KeyDatabaseSQLite
)
runJustT
(
Database.KeyDatabaseSQLite
)
runQ
(
Database.KeyDatabaseSQLite
)
runT
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
S
sequenceT
(
Database.KeyDatabaseSQLite
)
sequenceT_
(
Database.KeyDatabaseSQLite
)
showTError
(
Database.KeyDatabaseSQLite
)
someDBInfos
(
Database.KeyDatabaseSQLite
)
someDBKeyInfos
(
Database.KeyDatabaseSQLite
)
someDBKeyProjections
(
Database.KeyDatabaseSQLite
)
someDBKeys
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
T
transformQ
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
U
updateDBEntry
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
_
_impl#/=#Prelude.Eq#Database.KeyDatabaseSQLite.TError
(
Database.KeyDatabaseSQLite
)
_impl#/=#Prelude.Eq#Database.KeyDatabaseSQLite.TErrorKind
(
Database.KeyDatabaseSQLite
)
_impl#==#Prelude.Eq#Database.KeyDatabaseSQLite.TError
(
Database.KeyDatabaseSQLite
)
_impl#==#Prelude.Eq#Database.KeyDatabaseSQLite.TErrorKind
(
Database.KeyDatabaseSQLite
)
_impl#>>#Prelude.Monad#Database.KeyDatabaseSQLite.Transaction
(
Database.KeyDatabaseSQLite
)
_impl#>>=#Prelude.Monad#Database.KeyDatabaseSQLite.Transaction
(
Database.KeyDatabaseSQLite
)
_impl#fail#Prelude.Monad#Database.KeyDatabaseSQLite.Transaction
(
Database.KeyDatabaseSQLite
)
_impl#return#Prelude.Monad#Database.KeyDatabaseSQLite.Transaction
(
Database.KeyDatabaseSQLite
)
_impl#show#Prelude.Show#Database.KeyDatabaseSQLite.TError
(
Database.KeyDatabaseSQLite
)
_impl#show#Prelude.Show#Database.KeyDatabaseSQLite.TErrorKind
(
Database.KeyDatabaseSQLite
)
_impl#showList#Prelude.Show#Database.KeyDatabaseSQLite.TError
(
Database.KeyDatabaseSQLite
)
_impl#showList#Prelude.Show#Database.KeyDatabaseSQLite.TErrorKind
(
Database.KeyDatabaseSQLite
)
_impl#showsPrec#Prelude.Show#Database.KeyDatabaseSQLite.TError
(
Database.KeyDatabaseSQLite
)
_impl#showsPrec#Prelude.Show#Database.KeyDatabaseSQLite.TErrorKind
(
Database.KeyDatabaseSQLite
)
_inst#Prelude.Eq#Database.KeyDatabaseSQLite.TError
(
Database.KeyDatabaseSQLite
)
_inst#Prelude.Eq#Database.KeyDatabaseSQLite.TErrorKind
(
Database.KeyDatabaseSQLite
)
_inst#Prelude.Monad#Database.KeyDatabaseSQLite.Transaction
(
Database.KeyDatabaseSQLite
)
_inst#Prelude.Show#Database.KeyDatabaseSQLite.TError
(
Database.KeyDatabaseSQLite
)
_inst#Prelude.Show#Database.KeyDatabaseSQLite.TErrorKind
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|
|
|>>
(
Database.KeyDatabaseSQLite
)
|>>=
(
Database.KeyDatabaseSQLite
)
@
A
C
D
E
F
G
M
N
P
R
S
T
U
_
|