add removed

Author: Alfonso Ruzafa

assets/images/functions/_style.tex

@@ -441,9 +441,12 @@
  \draw [brace flow=#1] #2 -- #3;
  \ifdim #1pt<0pt
  \coordinate (lastbrace) at ($ #2!.5!#3 + (0, -.2) + (0, #1) $);
+ \coordinate (lastbrace_v) at ($ #3!.5!#2 + (-.2, 0) + (#1, 0) $);
  \else
  \coordinate (lastbrace) at ($ #2!.5!#3 + (0, .2) + (0, #1) $);
+ \coordinate (lastbrace_v) at ($ #2!.5!#3 + (.2, 0) + (#1, 0) $);
  \fi
+ \coordinate (lastbrace_h) at (lastbrace);
 }
 
 \tikzset{measure width/.style={

assets/images/functions/removed.tex

@@ -0,0 +1,38 @@
+\matrix (A) [collection] {
+ \node (k1) {$k_1$}; \\
+ \node [vertical elements between]; \\
+ \node (ki-1) {$k_{i - 1}$}; \\
+ \node (ki) {$k_i\!\!=\!\!\texttt{k}$}; \\
+ \node (ki+1) {$k_{i + 1}$}; \\
+ \node [vertical elements between]; \\
+ \node (kn) {$k_n$}; \\
+};
+
+\foreach \i in {1,i-1,i,i+1,n}{
+ \draw [map ->] (k\i.east) -- +(.5, 0)
+ node [element, right] {$v_{\i}$};
+}
+
+\matrix (B) [collection, right=4 of A.east, anchor=center] {
+ \node (l1) {$k_1$}; \\
+ \node [vertical elements between]; \\
+ \node (li-1) {$k_{i - 1}$}; \\
+ \node (li+1) {$k_{i + 1}$}; \\
+ \node [vertical elements between]; \\
+ \node (ln) {$k_n$}; \\
+};
+
+\foreach \i in {1,i-1,i+1,n}{
+ \draw [map ->] (l\i.east) -- +(.5, 0)
+ node [element, right] {$v_{\i}$};
+}
+
+\braceflow[1.2]{(k1.north east)}{(ki-1.south east)}
+\coordinate (x) at (lastbrace_v);
+\braceflow[-.2]{(l1.north west)}{($ (li-1.south west) + (0, \pgflinewidth) $)}
+\draw [flow ->, out=0, in=180] (x) to (lastbrace_v);
+
+\braceflow[1.2]{(ki+1.north east)}{(kn.south east)}
+\coordinate (x) at (lastbrace_v);
+\braceflow[-.2]{($ (li+1.north west) + (0, -\pgflinewidth) $)}{(ln.south west)}
+\draw [flow ->, out=0, in=180] (x) to (lastbrace_v);

content/en/functions/removed.md

@@ -0,0 +1,11 @@
+---
+title: removed
+---
+
+# `removed`
+
+{{< signature removed >}}
+
+`removed` creates a new `Map` by copying all the elements from this one but omitting the element with key `k`.
+
+{{< figure src="images/functions/removed.svg" >}}

content/es/functions/removed.md

@@ -0,0 +1,11 @@
+---
+title: removed
+---
+
+# `removed`
+
+{{< signature removed >}}
+
+`removed` crea un nuevo `Map` copiando todos los elementos de este pero omitiendo el elemento con clave `k`.
+
+{{< figure src="images/functions/removed.svg" >}}

content/ja/functions/removed.md

@@ -0,0 +1,12 @@
+---
+title: removed
+untranslated: true
+---
+
+# `removed`
+
+{{< signature removed >}}
+
+`removed` creates a new `Map` by copying all the elements from this one but omitting the element with key `k`.
+
+{{< figure src="images/functions/removed.svg" >}}

content/pt/functions/removed.md

@@ -0,0 +1,12 @@
+---
+title: removed
+untranslated: true
+---
+
+# `removed`
+
+{{< signature removed >}}
+
+`removed` creates a new `Map` by copying all the elements from this one but omitting the element with key `k`.
+
+{{< figure src="images/functions/removed.svg" >}}

data/functions.yaml

@@ -613,6 +613,12 @@
  def reduceRightOption[B :> A](f: (A, B) => B): Option[B]
  }
 
+- name: removed
+ signature: |
+ trait Map[K, V] {
+ def removed(k: K): Map[K, V]
+ }
+
 - name: reverse
  signature: |
  trait Collection[A] {