Changes between Version 88 and Version 89 of IR2

Timestamp:

05/12/21 11:36:01 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -363 +363 @@
 <K,V> $set<K> $map_domain( $map<K,V> m ); // returns the domain of the map (the set of keys)
 <K,V> $set<V> $map_range( $map<K,V> m ); // returns the range of the map (the set of values)
-
-<K,V> $seq<$pair<K,V>> $map_seq( $map<K,V> m ); // key value pairs of m arranged in a sequence
-
-<K,V> $map<K,V> $map_add( $map<K,V> m, K k, V v ); // result of (re)defining k to map to v.
-<K,V> $map<K,V> $map_add( $map<K,V> m, $set<$pair<K,V>> kvs); // result of (re)defining k to map to v for every pair (k,v) in kvs
-
+<K,V> $set<$pair<K,V>> $map_entries( $map<K,V> m ); // key value pairs of m arranged in a sequence
+<K,V> $map<K,V> $map_put( $map<K,V> m, K k, V v ); // result of (re)defining k to map to v.
+<K,V> $map<K,V> $map_putAll( $map<K,V> m1, $map<K,V> m2); // result of (re)defining k to map to v for every pair (k,v) in m2
 <K,V> $map<K,V> $map_remove( $map<K,V> m, K k ); // result of declaring k undefined
-<K,V> $map<K,V> $map_remove( $map<K,V> m, $set<K> ks ); // result of declaring k undefined for every k in ks
-
+<K,V> $map<K,V> $map_removeAll( $map<K,V> m, $set<K> ks ); // result of declaring k undefined for every k in ks
 <K,V> $bool $map_contains( $map<K,V> m, K k ); // is k defined in the map?
-<K,V> V $map_get( $map<K,V> m, K k ); // get the value defined at k. Should check $map_contains first (what do we do when k is not defined?)
-
-<K,V> $bool $map_injective( $map<K,V> m ); // does m form an injection?
-<K,V> $map<V,K> $map_inverse( $map<K,V> m ); // returns the inverse map of m. Should check $map_injective first (what do we do when m is not injective?)
-
-<K,I,V> $map<K,V> $map_compose( $map<I,V> m2, $map<K,I> m1 ); // returns the composition m2.m1
+<K,V> V $map_get( $map<K,V> m, K k ); // get the value defined at k (returns something if no k in domain)
+? <K,V> $bool $map_injective( $map<K,V> m ); // does m form an injection?
+? <K,V> $map<V,K> $map_inverse( $map<K,V> m ); // returns the inverse map of m. Should check $map_injective first (what do we do when m is not injective?)
+? <K,I,V> $map<K,V> $map_compose( $map<I,V> m2, $map<K,I> m1 ); // returns the composition m2.m1
 }}}