blob: 8ef227af82ed21f3121dc81710a53a94c1641188 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
<head>
<link href="../favicon.ico" rel="shortcut icon" type="image/x-icon"/>
<link href="../style.css" rel="stylesheet"/>
<title>BQN: Left Multimap (⟜)</title>
</head>
<div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
<h1 id="left-multimap-"><a class="header" href="#left-multimap-">Left Multimap (<code><span class='Modifier2'>⟜</span></code>)</a></h1>
<h2 id="𝔽𝕘-𝕩-bind"><a class="header" href="#𝔽𝕘-𝕩-bind"><code><span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Value'>𝕘</span> <span class='Value'>𝕩</span></code>: Bind</a></h2>
<p>Supply <code><span class='Value'>𝕘</span></code> as a right argument to <code><span class='Function'>𝔽</span></code> (<code><span class='Value'>𝕩</span> <span class='Function'>𝔽</span> <span class='Value'>𝕘</span></code>).</p>
<p><code><span class='Value'>𝕘</span></code> is a constant, <code><span class='Function'>𝔽</span></code> must be dyadic.</p>
<a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=LeKfnDMgOQoKLSAzIDkKCjkgLSAz">↗️</a><pre> <span class='Function'>-</span><span class='Modifier2'>⟜</span><span class='Number'>3</span> <span class='Number'>9</span>
6
<span class='Function'>-</span> <span class='Number'>3</span> <span class='Number'>9</span>
<span class='Error'>Error: Double subjects (missing ‿?)</span>
<span class='Number'>9</span> <span class='Function'>-</span> <span class='Number'>3</span>
6
</pre>
<h2 id="𝔽𝔾-𝕩-after"><a class="header" href="#𝔽𝔾-𝕩-after"><code><span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: After</a></h2>
<p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕩</span></code>, and supply it as a right argument to <code><span class='Function'>𝔽</span></code> (<code><span class='Value'>𝕩</span> <span class='Function'>𝔽</span> <span class='Paren'>(</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span><span class='Paren'>)</span></code>).</p>
<p><code><span class='Function'>𝔽</span></code> must be dyadic, <code><span class='Function'>𝔾</span></code> must be monadic.</p>
<a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=w5fin5wtIDkKCsOXIC0gOQoKOSDDlyAoLSA5KQ==">↗️</a><pre> <span class='Function'>×</span><span class='Modifier2'>⟜</span><span class='Function'>-</span> <span class='Number'>9</span>
¯81
<span class='Function'>×</span> <span class='Function'>-</span> <span class='Number'>9</span>
¯1
<span class='Number'>9</span> <span class='Function'>×</span> <span class='Paren'>(</span><span class='Function'>-</span> <span class='Number'>9</span><span class='Paren'>)</span>
¯81
</pre>
<h2 id="𝕨-𝔽𝔾-𝕩-dyadic-after"><a class="header" href="#𝕨-𝔽𝔾-𝕩-dyadic-after"><code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Dyadic After</a></h2>
<p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕩</span></code>, and supply it as a right argument to <code><span class='Function'>𝔽</span></code> (<code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span> <span class='Paren'>(</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span><span class='Paren'>)</span></code>).</p>
<p><code><span class='Function'>𝔽</span></code> must be dyadic, <code><span class='Function'>𝔾</span></code> must be monadic.</p>
<a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=MiDDl+KfnC0gMQoKMiDDlyAoLSAxKQ==">↗️</a><pre> <span class='Number'>2</span> <span class='Function'>×</span><span class='Modifier2'>⟜</span><span class='Function'>-</span> <span class='Number'>1</span>
¯2
<span class='Number'>2</span> <span class='Function'>×</span> <span class='Paren'>(</span><span class='Function'>-</span> <span class='Number'>1</span><span class='Paren'>)</span>
¯2
</pre>
|
