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

definition: Info 
 
maxTestInsert :: (Read t, Show t, Eq a, Show a) =>
                 String -> (Key -> t -> Dynamic) -> (Key -> t -> en)
              -> (en -> a) -> Int -> a -> Transaction ()
maxTestInsert ename entrypred info2entry selector maxrange attr =
  getDB (getAllEntities entrypred info2entry) |>>= \es ->
  if length (filter (\e -> selector e == attr) es) < maxrange
   then doneT
   else errorT (TError MaxError ("maximum reached for attribute " 
                                 ++show attr++" in entity "++ename))
demand: Info 
 no demanded arguments
deterministic: Info 
 deterministic operation
documentation: Info 
 
Maximum test before inserting a relationship with a given key:
failfree: Info 
 <FAILING>
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {(_,_,_,_,_,_,_,_,_,_) |-> _}
name: Info 
 maxTestInsert
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 (Prelude.Read a, Prelude.Show a, Prelude.Eq c, Prelude.Show c) => String
-> (Prelude.Int -> a -> Database.KeyDatabaseSQLite.Dynamic) -> (Prelude.Int -> a
-> b) -> (b -> c) -> Prelude.Int -> c
-> Database.KeyDatabaseSQLite.Transaction ()
solution-complete: Info 
 operation might suspend on free variables
terminating: Info 
 possibly non-terminating
totally-defined: Info 
 possibly non-reducible on same data term