| definition: |
getEntry :: (Read t, Show t) =>
(Key -> t -> Dynamic) -> (Key -> t -> en) -> Key -> Transaction en
getEntry pred info2entry key = seq pred $ seq key $
getDB (getDBInfo pred key) |>>=
maybe (errorT (TError KeyNotExistsError
("database contains no entry for key: "++show key)))
(\info -> returnT (info2entry key info))
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_,_) |-> _}
|
| name: |
getEntry |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
(Prelude.Read a, Prelude.Show a) => (Prelude.Int -> a -> Database.KeyDatabaseSQLite.Dynamic) -> (Prelude.Int -> a -> b) -> Prelude.Int -> Database.KeyDatabaseSQLite.Transaction b |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |