-
Notifications
You must be signed in to change notification settings - Fork 0
/
TAGS
99 lines (88 loc) · 2.31 KB
/
TAGS
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
91
92
93
94
95
96
97
98
99
./BadMonoid.hs,140
data Bull Bull5,6
data Bull = Fools Fools5,6
data Bull = Fools | TwooTwoo5,6
instance instance8,9
main main18,19
main main19,20
./constant.hs,199
newtype Constant Constant8,9
newtype Constant a b = Constant Constant8,9
newtype Constant a b = Constant { getConstant getConstant8,9
instance instance11,12
main main31,32
main main32,33
./functor.hs,214
data Two Two0,1
data Two a b = Two Two0,1
instance instance2,3
data Or Or5,6
data Or a b = First First5,6
data Or a b = First a | Second Second5,6
data Pair Pair11,12
data Pair a b = Pair Pair11,12
./identity.hs,98
newtype Identity Identity0,1
newtype Identity a = Identity Identity0,1
instance instance2,3
./lookups.hs,235
added added3,4
added added4,5
y y6,7
y y7,8
z z9,10
z z10,11
tupled tupled12,13
tupled tupled13,14
x x15,16
x x16,17
y' y'18,19
y' y'19,20
max' max'21,22
max' max'22,23
maxed maxed24,25
maxed maxed25,26
./monad_vLambda.hs,30
bind bind2,3
bind bind3,4
./monadT_eitherT.hs,158
newtype EitherT EitherT1,2
newtype EitherT e m a = EitherT EitherT1,2
newtype EitherT e m a = EitherT { runEitherT runEitherT1,2
instance instance3,4
./monadT_readerT.hs,158
newtype ReaderT ReaderT1,2
newtype ReaderT r m a = ReaderT ReaderT1,2
newtype ReaderT r m a = ReaderT { runReaderT runReaderT1,2
instance instance3,4
./nope_monad.hs,165
data PhhhbbtttEither PhhhbbtttEither2,3
data PhhhbbtttEither b a = PLeft PLeft2,3
data PhhhbbtttEither b a = PLeft a | PRight PRight2,3
instance instance4,5
./quickcheck.hs,568
module QC QC0,1
genTuple genTuple4,5
genTuple genTuple5,6
genTuple' genTuple'11,12
genTuple' genTuple'12,13
data Trivial Trivial17,18
Trivial Trivial18,19
trivialGen trivialGen20,21
trivialGen trivialGen21,22
prop_additionGreater prop_additionGreater23,24
prop_additionGreater prop_additionGreater24,25
half half26,27
half half27,28
halfIdentity halfIdentity29,30
halfIdentity halfIdentity30,31
prop_halfIdentity prop_halfIdentity32,33
prop_halfIdentity prop_halfIdentity33,34
runQC runQC35,36
runQC runQC36,37
main main38,39
./twinplicative.hs,158
newtype Compose Compose2,3
newtype Compose f g a = Compose Compose2,3
newtype Compose f g a = Compose { getCompose getCompose2,3
instance instance4,5