blob: 2b01480b854ec0f9ddc702a651dcc0a40e4b7214 (
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
|
<head>
<link href="../favicon.ico" rel="shortcut icon" type="image/x-icon"/>
<link href="../style.css" rel="stylesheet"/>
<title>BQN: Ring Operator (`∘`)</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="ring-operator-"><a class="header" href="#ring-operator-">Ring Operator (<code><span class='Modifier2'>∘</span></code>)</a></h1>
<h2 id="--atop"><a class="header" href="#--atop"><code><span class='Function'>𝔽</span><span class='Modifier2'>∘</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Atop</a></h2>
<p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕩</span></code>, then apply <code><span class='Function'>𝔽</span></code> (<code><span class='Function'>𝔽</span> <span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>).</p>
<h2 id="-and--must-be-monadic"><a class="header" href="#-and--must-be-monadic"><code><span class='Function'>𝔽</span></code> and <code><span class='Function'>𝔾</span></code> must be monadic.</a></h2>
<a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgLeKImC0gNQoKICAgLSAtIDU=">↗️</a><pre> <span class='Function'>-</span><span class='Modifier2'>∘</span><span class='Function'>-</span> <span class='Number'>5</span>
5
<span class='Function'>-</span> <span class='Function'>-</span> <span class='Number'>5</span>
5
</pre>
<h2 id="---dyadic-atop"><a class="header" href="#---dyadic-atop"><code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>∘</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Dyadic Atop</a></h2>
<p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code>, then apply <code><span class='Function'>𝔽</span></code> (<code><span class='Function'>𝔽</span> <span class='Paren'>(</span><span class='Value'>𝕨</span> <span class='Function'>𝔾</span> <span class='Value'>𝕩</span><span class='Paren'>)</span></code>).</p>
<h2 id="-must-be-monadic-and--must-be-dyadic"><a class="header" href="#-must-be-monadic-and--must-be-dyadic"><code><span class='Function'>𝔽</span></code> must be monadic, and <code><span class='Function'>𝔾</span></code> must be dyadic.</a></h2>
<a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgMSAt4oiYKyAyCgogICAxIC0gKyAyCgogICAtIDEgKyAy">↗️</a><pre> <span class='Number'>1</span> <span class='Function'>-</span><span class='Modifier2'>∘</span><span class='Function'>+</span> <span class='Number'>2</span>
¯3
<span class='Number'>1</span> <span class='Function'>-</span> <span class='Function'>+</span> <span class='Number'>2</span>
¯1
<span class='Function'>-</span> <span class='Number'>1</span> <span class='Function'>+</span> <span class='Number'>2</span>
¯3
</pre>
|
