CurryInfo: finite-map-3.0.0 / Data.FiniteMap.addListToFM_C

definition:
 
addListToFM_C :: Eq key => (elt -> elt -> elt) -> FM key elt -> [(key,elt)]
              -> FM key elt
addListToFM_C combiner (FM le fm) key_elt_pairs =
  FM le (addListToFM_C' le combiner fm key_elt_pairs)
demand:
 argument 3
deterministic:
 deterministic operation
documentation:
 
Combine with a list of tuples (key,element), cf. addToFM_C
failfree:
 (_, _, _, _)
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {(_,_,{FM},_) |-> {FM}}
name:
 addListToFM_C
precedence:
 no precedence defined
result-values:
 {FM}
signature:
 Prelude.Eq b => (a -> a -> a) -> FM b a -> [(b, a)] -> FM b a
solution-complete:
 operation might suspend on free variables
terminating:
 possibly non-terminating
totally-defined:
 possibly non-reducible on same data term