aboutsummaryrefslogtreecommitdiff
path: root/functorproof.txt
blob: 735cbd92e8fbaf5d5d354a621984a911b182af4c (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
action v rew fmap
action v rew id
action v rew runParser
action v rew fmapEither
action v rew fmap1st
action v repeat beta
action v case
action v rew .
action v repeat beta
action v repeat etacase
action v eta
action x rew fmap
action x rew .
action x rew runParser
action x repeat beta
action x case
action x rew fmapEither
action x repeat beta
action x rew fmap1st
action x repeat beta
action y rew fmap
action y rew .
action y rew runParser
action y rew fmapEither
action y rew fmap1st
action y repeat beta
action y repeat case
action y repeat beta
action y casecase
action y case
action y casecase
action y case