combinator 0.1.2

Combinator inspired by APL/J
Documentation 
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90

## Duo-Combinators

### Atop

```
      /x:A
M1-D2<
      \y:B 

M1.AT(D2) (x,y)
M1: Fn(C)->D
D2: Fn(A,B)->C
```

### Appose

```
   /M2-x:A
D1<
   \M2-y:A

D1.AP(M2) (x,y)
D1: Fn(B,B)->C
M2: Fn(A)->B
```

### Compose

```
M1-M2-y:B

M1.CP(M2) (y)
M1: Fn(D)->E
M2: Fn(B)->C
```

### Hook

```
   /x:A
D1<
   \M2-y:B

D1.HK(M2)(x,y)
D1: Fn(A,C)->D
M2: Fn(B)->C
```

### MonoHook

```
   (y)
   / \
D1<   \
   \M2-y:B

D1.MH(M2)(y)
D1: Fn(B,C)->D
M2: Fn(B)->C
```
### RevHook

```
    (y)
   /   \ /M-x:A
D1<     X
   \   / \-y:B
 (M2(x))

D1.RH(M2)(x,y)
D1: Fn(B,C)->D
M2: Fn(A)->C
```
## Mono-Combinator

### Relflex

```
   (y)
   / \
D1<   >y:B
   \ /
   (y)

D1.RF()(y)
D1 : (B,B)->C
```

### Flip

```
   (y)
   / \ /x:A
D1<   X
   \ / \y:B
   (x)

D1.FL()(x,y)
D1 : Fn(B,A)->C
```