|
Create a database object.
|
|
|
Free object resource forcibly.
|
|
|
:: a | database object
| -> String | path to database file
| -> [OpenMode] | open mode
| -> TCM Bool | if successful, the return value is True
| Open a database file.
|
|
|
|
Close the database file. If successful, the return value is True
|
|
|
:: (Storable k, Storable v) | | => a | key
| -> k | value
| -> v | if successful, the return value is True
| -> TCM Bool | | Store a record.
|
|
|
|
:: (Storable k, Storable v) | | => a | key
| -> k | value
| -> v | if successful, the return value is True
| -> TCM Bool | | Store a new recoed. If a record with the same key exists
in the database, this function has no effect.
|
|
|
|
:: (Storable k, Storable v) | | => a | key
| -> k | value
| -> v | if successful, the return value is True
| -> TCM Bool | | Concatenate a value at the end of the existing record.
|
|
|
|
:: (Storable k, Storable v) | | => a | key
| -> k | If successful, the return value is the
value of the corresponding record wrapped
by Just, else, Nothing is returned.
| -> TCM (Maybe v) | | Retrieve a record.
|
|
|
|
:: Storable k | | => a | key
| -> k | if successful, the return value is True
| -> TCM Bool | | Remove a record.
|
|
|
|
:: Storable k | | => a | key
| -> k | If successful, the return value
is the size of the value of the
corresponding record wrapped by
Just, else, it is Nothing.
| -> TCM (Maybe Int) | | Get the size of the value of a record.
|
|
|
|
Initialize the iterator. If successful, the return value is True.
|
|
|
Get the next key of the iterator. If successful, the return
value is the next key wrapped by Just, else, it is Nothing.
|
|
|
:: (Storable k, Storable v, Sequence q) | | => a | search string
| -> k | the maximum number of keys to be fetched
| -> Int | result keys
| -> TCM (q v) | | Get forward matching keys.
|
|
|
|
:: Storable k | | => a | key
| -> k | the addtional value
| -> Int | If the corresponding record
exists, the value is treated as an
integer and is added to. If no
record corresponds, a new record
of the additional value is stored.
| -> TCM (Maybe Int) | | Add an integer to a record.
|
|
|
|
:: Storable k | | => a | key
| -> k | the additional value
| -> Double | If the corresponding record
exists, the value is treated as
a real number and is added
to. If no record corresponds, a
new record of the additional
value is stored.
| -> TCM (Maybe Double) | | Add a real number to a record.
|
|
|
|
Synchronize updated contents with the file and the device.
If successful, the return value is True.
|
|
|
Remove all records. If successful, the return value is True.
|
|
|
:: a | database object
| -> String | path of the destination file
| -> TCM Bool | If successful, the return value is True.
| Copy the database file.
|
|
|
|
Get the path of the database file.
|
|
|
Get the number of records.
|
|
|
Get the size of the database file.
|
|
|
Get the last happened error code.
|
|
|
Get the default extension for specified database object.
|