blob: b18cc72954d4b8b1ea797bce7fd29b5cf8a66cc6 (
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
|
*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/after_bind.html).*
# Left Multimap (`⟜`)
## `𝔽⟜𝕘 𝕩`: Bind
Supply `𝕘` as a right argument to `𝔽` (`𝕩 𝔽 𝕘`).
`𝕘` is a constant, `𝔽` 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)
|
