help/before_bindleft.md


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/before_bindleft.html).*

# Multimap (`⊸`)
    
## `𝕗⊸𝔾 𝕩`: Bind Left
    
Supply `𝕗` as a left argument to `𝔾` (`𝕗 𝔾 𝕩`).
    
## `𝕗` must be a value, `𝔾` must be dyadic.
    
           3⊸- 9

           3 - 9

    
    
## `𝔽⊸𝔾 𝕩`: Before
    
Apply `𝔽` to `𝕩`, and supply it as a left argument to `𝔾` (`(𝔽 𝕩) 𝔾 𝕩`). 
    
## `𝔽` must be monadic, `𝔾` must be dyadic.
    
           -⊸+ 9

           - + 9

           (- 9) + 9

    
    
## `𝕨 𝔽⊸𝔾 𝕩`: Dyadic Before
    
Apply `𝔽` to `𝕨`, and supply it as a left argument to `𝔾` (`(𝔽 𝕨) 𝔾 𝕩`).
    
## `𝔽` must be monadic, `𝔾` must be dyadic.
    
           2 -⊸+ 1

           2 - + 1

           (- 2) + 1