diff options
Diffstat (limited to 'docs/help/⟜after bindright.html')
| -rw-r--r-- | docs/help/⟜after bindright.html | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/docs/help/⟜after bindright.html b/docs/help/⟜after bindright.html deleted file mode 100644 index da9141d6..00000000 --- a/docs/help/⟜after bindright.html +++ /dev/null @@ -1,35 +0,0 @@ -<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> -<p><code><span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Value'>𝕘</span> <span class='Value'>𝕩</span></code>: Bind</p> -<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> must be a value, <code><span class='Function'>F</span></code> must be dyadic.</p> -<pre> <span class='Function'>-</span><span class='Modifier2'>⟜</span><span class='Number'>3</span> <span class='Number'>9</span> -<span class='Number'>6</span> - <span class='Function'>-</span> <span class='Number'>3</span> <span class='Number'>9</span> -<span class='Function'>Error</span> - <span class='Number'>9</span> <span class='Function'>-</span> <span class='Number'>3</span> -<span class='Number'>6</span> -</pre> -<p><code><span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: After</p> -<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> -<pre> <span class='Function'>×</span><span class='Modifier2'>⟜</span><span class='Function'>-</span> <span class='Number'>9</span> -<span class='Number'>¯81</span> - <span class='Function'>×</span> <span class='Function'>-</span> <span class='Number'>9</span> -<span class='Number'>¯1</span> - <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> -<span class='Number'>¯81</span> -</pre> -<p><code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Dyadic After</p> -<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> -<pre> <span class='Number'>2</span> <span class='Function'>×</span><span class='Modifier2'>⟜</span><span class='Function'>-</span> <span class='Number'>1</span> -<span class='Number'>¯2</span> - <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> -<span class='Number'>¯2</span> -</pre> |
