Commit Graph

1973 Commits

Author SHA1 Message Date
Louis Dionne
b69029e9bf Map: document issue with mixed Type/Integral keys 2014-07-22 17:19:42 -04:00
Louis Dionne
aacfbfebde Tutorial: write the preface, introduction and quick start 2014-07-22 13:49:15 -04:00
Louis Dionne
12db7e8620 README: remove broken link to Pull Requests 2014-07-21 22:31:30 -04:00
Louis Dionne
c816fbe112 Remove almost all dependencies on the standard library. 2014-07-21 21:07:14 -04:00
Louis Dionne
aeab3781bf Write a sweet README 2014-07-21 19:19:20 -04:00
Louis Dionne
cc6ee9370b Remove empty laws; I'll add them if I actually have laws to check 2014-07-21 15:47:20 -04:00
Louis Dionne
aba2bae382 Record: Fix ordering issues by using a list of pairs instead of a map 2014-07-21 15:47:12 -04:00
Louis Dionne
689b6c7118 List: add error message to static_assert in concat 2014-07-21 15:09:15 -04:00
Louis Dionne
d0a83b8d30 Functional: Allow 2 arguments or more in compose 2014-07-21 14:57:19 -04:00
Louis Dionne
3ead270cc0 Add the Record type class to adapt user defined types. 2014-07-21 13:53:27 -04:00
Louis Dionne
63904e198e Sandbox: Add AssociativeUDT -> Map conversions 2014-07-21 12:15:44 -04:00
Louis Dionne
6c9823e176 Add the Constant data type. 2014-07-21 11:58:23 -04:00
Louis Dionne
d24b8e21ae List: add todo 2014-07-21 11:15:04 -04:00
Louis Dionne
653504ebe5 Remove more dependencies on <cstddef> 2014-07-21 11:08:26 -04:00
Louis Dionne
22a26fb9b7 Integral: remove dependency on <cstddef> and move integral struct out of operators namespace 2014-07-21 11:04:57 -04:00
Louis Dionne
15af56943a Core: Workaround Clang bug in is_a and is_an 2014-07-21 10:45:21 -04:00
Louis Dionne
1452a253ee Sandbox: Experiment with user-defined types 2014-07-21 09:45:02 -04:00
Louis Dionne
77152ad1f7 Benchmark: remove debug statements. oops! 2014-07-21 01:07:10 -04:00
Louis Dionne
6d150cf5ee List: add scanr, scanl, scanr1 and scanl1 2014-07-20 14:25:10 -04:00
Louis Dionne
7354c6258f Benchmarks: fix off by one error. 2014-07-20 13:04:59 -04:00
Louis Dionne
9949ef2260 Benchmark: fix list.drop_while 2014-07-19 22:33:04 -04:00
Louis Dionne
ddeaf6a2bc Remove incorrect TODO item 2014-07-19 19:01:56 -04:00
Louis Dionne
3ccf6f4d62 Searchable: rename find_key to lookup 2014-07-19 18:58:14 -04:00
Louis Dionne
364b1a386e Use finer grained increments in benchmarks for 0..50 elements. 2014-07-19 18:34:51 -04:00
Louis Dionne
5a00d66ad6 Add the Set data type. 2014-07-19 18:24:39 -04:00
Louis Dionne
d1cc466342 Map: add missing include 2014-07-19 17:55:34 -04:00
Louis Dionne
97386dfb59 Add the Map data type. 2014-07-19 17:17:14 -04:00
Louis Dionne
61576fc1ae Functor: improve laws and check them widely 2014-07-19 15:08:58 -04:00
Louis Dionne
120410868e Searchable: add the find_key method 2014-07-19 13:42:46 -04:00
Louis Dionne
888e84f4e5 Foldable: Remove lazy_foldr and lazy_foldl 2014-07-19 13:29:41 -04:00
Louis Dionne
e051255009 List: instantiate Searchable 2014-07-19 11:44:34 -04:00
Louis Dionne
aaea302ea9 Maybe: instantiate Searchable 2014-07-19 11:44:34 -04:00
Louis Dionne
74092b4bc9 Add the Searchable type class.
Remove any, all, none, find, elem and the *_of variants from Foldable
and move them into Searchable.
2014-07-19 11:44:34 -04:00
Louis Dionne
b0ba6ebb9e Add local todos. 2014-07-18 15:29:39 -04:00
Louis Dionne
0010b72a2e Sandbox: add SearchableSet 2014-07-18 14:50:55 -04:00
Louis Dionne
1d2bda9ef1 Fix ambiguities when defining stuff in the operators namespace 2014-07-17 18:30:40 -04:00
Louis Dionne
e95882b790 Start moving the sandbox out of detail/ 2014-07-17 16:19:38 -04:00
Louis Dionne
3a7944a6de Check laws for Orderable 2014-07-17 12:00:30 -04:00
Louis Dionne
114d8d9ed0 test/list/datatype -> test/list/instance for consistency with test/pair/instance 2014-07-16 17:14:29 -04:00
Louis Dionne
2eb9867ec5 Comparable: Check laws widely 2014-07-16 17:12:19 -04:00
Louis Dionne
71f92fbd66 Modularize the type classes 2014-07-16 16:27:11 -04:00
Louis Dionne
b6e46748df Add missing foldable_instance includes. 2014-07-16 16:26:23 -04:00
Louis Dionne
7e8f109d7f Modularize List and add a minimal instance 2014-07-16 16:26:23 -04:00
Louis Dionne
408a5c7db5 Modularize Pair 2014-07-16 16:26:23 -04:00
Louis Dionne
b3f9a3d09a Modularize Logical and remove nullary and_/or_ 2014-07-16 16:26:23 -04:00
Louis Dionne
b0b7b09736 Modularize Iterable 2014-07-16 16:26:23 -04:00
Louis Dionne
674a889347 Modularize Foldable 2014-07-16 16:26:23 -04:00
Louis Dionne
8492b8eea4 Modularize Orderable 2014-07-16 16:26:22 -04:00
Louis Dionne
3c5aa0aceb Modularize Traversable 2014-07-16 16:26:22 -04:00
Louis Dionne
20814674c0 Modularize Monad 2014-07-16 16:26:22 -04:00