aboutsummaryrefslogtreecommitdiff
path: root/help/∘atop.md
blob: 9a713560f62ece2c2574dc29f264e7ed008c0771 (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
*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/∘atop.html).*

# Ring Operator (`∘`)

`𝔽∘𝔾 𝕩`: Atop

Apply `𝔾` to `𝕩`, then apply `𝔽` (`𝔽 𝔾 𝕩`).

`𝔽` and `𝔾` must be monadic.

       -∘- 5
    5
       - - 5
    5


`𝕨 𝔽∘𝔾 𝕩`: Dyadic Atop

Apply `𝔾` to `𝕨` and `𝕩`, then apply `𝔽` (`𝔽 (𝕨 𝔾 𝕩)`).

`𝔽` must be monadic, and `𝔾` must be dyadic.

       1 -∘+ 2
    ¯3
       1 - + 2
    ¯1
       - 1 + 2
    ¯3