Joshua Potter
|
c0076218b0
|
Add Ordering data type.
|
2017-12-04 09:04:22 -08:00 |
Joshua Potter
|
b43349f110
|
Add error into postlude.
|
2017-11-30 21:10:24 -08:00 |
Joshua Potter
|
6a79c120e9
|
Add length function to Data.List.
|
2017-11-30 12:36:23 -08:00 |
Joshua Potter
|
97a8af7cfe
|
Add some GHC base classes.
|
2017-11-30 00:24:37 -08:00 |
Joshua Potter
|
f94e2a735f
|
Setup Functor imports from Data.Functor instead.
|
2017-11-29 20:24:50 -08:00 |
Joshua Potter
|
387a0eecc7
|
Add remaining Arrow properties.
|
2017-11-29 20:22:31 -08:00 |
Joshua Potter
|
d8ea9d8145
|
Add ArrowChoice into postlude.
We intentionally avoid adding ArrowApply.
|
2017-11-29 18:33:49 -08:00 |
Joshua Potter
|
32f1663309
|
Add additional arrow notation functionality.
|
2017-11-29 18:29:29 -08:00 |
Joshua Potter
|
46244942d2
|
Add Data.Function functions into postlude.
|
2017-11-28 09:31:24 -08:00 |
Joshua Potter
|
416cff8a9c
|
Remove and export from Postlude.
The last push was made too hastily. And is not a function that exists in
the Data.Bool module.
|
2017-11-28 00:24:58 -08:00 |
Joshua Potter
|
8163444217
|
Expand Bool default imports.
|
2017-11-28 00:22:52 -08:00 |
Joshua Potter
|
773413b837
|
Add more defaults such as Num and Eq.
Also normalize the imports across modules.
|
2017-11-27 09:55:05 -08:00 |
Joshua Potter
|
913c4f4379
|
Have latest transformers library installed.
This is important since some instances are included in this package. For
instance, MaybeT is not an instance of MonadTrans in the previous
package.
|
2017-11-27 06:46:28 -08:00 |
Joshua Potter
|
bff2a04359
|
Add Reader functionality into postlude.
|
2017-11-27 06:43:01 -08:00 |
Joshua Potter
|
5675f8b10d
|
Add additional Monad/MonadPlus operators.
|
2017-11-25 20:14:13 -08:00 |
Joshua Potter
|
20347482ab
|
Add Data.List defaults.
|
2017-11-25 19:31:45 -08:00 |
Joshua Potter
|
76d0610a1c
|
Add String type into custom prelude.
|
2017-11-25 19:26:53 -08:00 |
Joshua Potter
|
ebb1806c4a
|
Setup default Prelude and basic documentation.
|
2017-11-25 18:49:55 -08:00 |
Joshua Potter
|
86570d48a5
|
Initial commit.
|
2017-11-25 17:58:39 -08:00 |