mapdict(:Goal,
+Dict)
mapdict(:Goal,
?Dict, ?Dict2)
mapdict(:Goal,
?Dict, ?Dict2, ?Dict3)True when all dicts have the same set of keys and call(Goal, Key, V1, ...)
is true for all keys in the dicts. At least one of the dicts must be
instantiated.
- Errors
- - instantiation_error if no dict is bound
- type_error(dict, Culprit) if one of the dict arguments is
not a dict.
- domain_error(incompatible_dict, Culprit) if Culprit does
not have the same keys as one of the other dicts.
- Introduced in 9.3.13 (👉8ee3600) library(dicts): mapdict/2,3,4