CurryInfo: ertools-3.0.0 / Database.ERD.Generic.getEntry

definition: Info 
 
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: Info 
 no demanded arguments
deterministic: Info 
 deterministic operation
failfree: Info 
 <FAILING>
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {(_,_,_,_,_) |-> _}
name: Info 
 getEntry
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 (Prelude.Read a, Prelude.Show a) => (Prelude.Int -> a
-> Database.KeyDatabaseSQLite.Dynamic) -> (Prelude.Int -> a -> b) -> Prelude.Int
-> Database.KeyDatabaseSQLite.Transaction b
solution-complete: Info 
 operation might suspend on free variables
terminating: Info 
 possibly non-terminating
totally-defined: Info 
 possibly non-reducible on same data term