blob: b1fa1aa56c05d47e8592881abe3c95d20218669d (
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
|
Left Multimap (`⟜`)
`𝔽⟜𝕘 𝕩`: Bind
Supply `𝕘` as a right argument to `𝔽` (`𝕩 𝔽 𝕘`).
`𝕘` must be a value, `F` must be dyadic.
```
-⟜3 9
6
- 3 9
Error
9 - 3
6
```
`𝔽⟜𝔾 𝕩`: After
Apply `𝔾` to `𝕩`, and supply it as a right argument to `𝔽` (`𝕩 𝔽 (𝔾 𝕩)`).
`𝔽` must be dyadic, `𝔾` must be monadic.
```
×⟜- 9
¯81
× - 9
¯1
9 × (- 9)
¯81
```
`𝕨 𝔽⟜𝔾 𝕩`: Dyadic After
Apply `𝔾` to `𝕩`, and supply it as a right argument to `𝔽` (`𝕨 𝔽 (𝔾 𝕩)`).
`𝔽` must be dyadic, `𝔾` must be monadic.
```
2 ×⟜- 1
¯2
2 × (- 1)
¯2
```
|
