blob: 653b5f554112638e0f73a0a83124b143c648f8e7 (
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
41
42
43
|
*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/after_bindright.html).*
# Left Multimap (`⟜`)
## `𝔽⟜𝕘 𝕩`: Bind
Supply `𝕘` as a right argument to `𝔽` (`𝕩 𝔽 𝕘`).
## `𝕘` must be a value, `F` must be dyadic.
-⟜3 9
- 3 9
9 - 3
## `𝔽⟜𝔾 𝕩`: After
Apply `𝔾` to `𝕩`, and supply it as a right argument to `𝔽` (`𝕩 𝔽 (𝔾 𝕩)`).
## `𝔽` must be dyadic, `𝔾` must be monadic.
×⟜- 9
× - 9
9 × (- 9)
## `𝕨 𝔽⟜𝔾 𝕩`: Dyadic After
Apply `𝔾` to `𝕩`, and supply it as a right argument to `𝔽` (`𝕨 𝔽 (𝔾 𝕩)`).
## `𝔽` must be dyadic, `𝔾` must be monadic.
2 ×⟜- 1
2 × (- 1)
|
