townforge/hana
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • b69029e9bf Map: document issue with mixed Type/Integral keys Louis Dionne 2014-07-22 17:19:42 -0400
  • aacfbfebde Tutorial: write the preface, introduction and quick start Louis Dionne 2014-07-22 13:49:15 -0400
  • 12db7e8620 README: remove broken link to Pull Requests Louis Dionne 2014-07-21 22:31:30 -0400
  • c816fbe112 Remove almost all dependencies on the standard library. Louis Dionne 2014-07-21 20:41:07 -0400
  • aeab3781bf Write a sweet README Louis Dionne 2014-07-21 19:19:20 -0400
  • cc6ee9370b Remove empty laws; I'll add them if I actually have laws to check Louis Dionne 2014-07-21 15:47:20 -0400
  • aba2bae382 Record: Fix ordering issues by using a list of pairs instead of a map Louis Dionne 2014-07-21 15:28:04 -0400
  • 689b6c7118 List: add error message to static_assert in concat Louis Dionne 2014-07-21 15:09:15 -0400
  • d0a83b8d30 Functional: Allow 2 arguments or more in compose Louis Dionne 2014-07-21 14:56:10 -0400
  • 3ead270cc0 Add the Record type class to adapt user defined types. Louis Dionne 2014-07-21 13:53:27 -0400
  • 63904e198e Sandbox: Add AssociativeUDT -> Map conversions Louis Dionne 2014-07-21 12:15:44 -0400
  • 6c9823e176 Add the Constant data type. Louis Dionne 2014-07-21 11:58:23 -0400
  • d24b8e21ae List: add todo Louis Dionne 2014-07-21 11:15:04 -0400
  • 653504ebe5 Remove more dependencies on <cstddef> Louis Dionne 2014-07-21 11:06:30 -0400
  • 22a26fb9b7 Integral: remove dependency on <cstddef> and move integral struct out of operators namespace Louis Dionne 2014-07-21 11:04:57 -0400
  • 15af56943a Core: Workaround Clang bug in is_a and is_an Louis Dionne 2014-07-21 10:24:16 -0400
  • 1452a253ee Sandbox: Experiment with user-defined types Louis Dionne 2014-07-21 09:45:02 -0400
  • 77152ad1f7 Benchmark: remove debug statements. oops! Louis Dionne 2014-07-21 01:07:09 -0400
  • 6d150cf5ee List: add scanr, scanl, scanr1 and scanl1 Louis Dionne 2014-07-20 13:58:37 -0400
  • 7354c6258f Benchmarks: fix off by one error. Louis Dionne 2014-07-20 13:04:59 -0400
  • 9949ef2260 Benchmark: fix list.drop_while Louis Dionne 2014-07-19 22:33:04 -0400
  • ddeaf6a2bc Remove incorrect TODO item Louis Dionne 2014-07-19 19:01:56 -0400
  • 3ccf6f4d62 Searchable: rename find_key to lookup Louis Dionne 2014-07-19 18:37:44 -0400
  • 364b1a386e Use finer grained increments in benchmarks for 0..50 elements. Louis Dionne 2014-07-19 18:34:51 -0400
  • 5a00d66ad6 Add the Set data type. Louis Dionne 2014-07-19 18:24:39 -0400
  • d1cc466342 Map: add missing include Louis Dionne 2014-07-19 17:55:34 -0400
  • 97386dfb59 Add the Map data type. Louis Dionne 2014-07-19 17:16:27 -0400
  • 61576fc1ae Functor: improve laws and check them widely Louis Dionne 2014-07-19 14:48:54 -0400
  • 120410868e Searchable: add the find_key method Louis Dionne 2014-07-19 13:42:46 -0400
  • 888e84f4e5 Foldable: Remove lazy_foldr and lazy_foldl Louis Dionne 2014-07-19 13:29:41 -0400
  • e051255009 List: instantiate Searchable Louis Dionne 2014-07-19 11:20:54 -0400
  • aaea302ea9 Maybe: instantiate Searchable Louis Dionne 2014-07-19 10:45:39 -0400
  • 74092b4bc9 Add the Searchable type class. Louis Dionne 2014-07-19 10:01:54 -0400
  • b0ba6ebb9e Add local todos. Louis Dionne 2014-07-18 15:27:26 -0400
  • 0010b72a2e Sandbox: add SearchableSet Louis Dionne 2014-07-18 14:50:55 -0400
  • 1d2bda9ef1 Fix ambiguities when defining stuff in the operators namespace Louis Dionne 2014-07-17 18:25:28 -0400
  • e95882b790 Start moving the sandbox out of detail/ Louis Dionne 2014-07-17 16:19:38 -0400
  • 3a7944a6de Check laws for Orderable Louis Dionne 2014-07-17 11:55:09 -0400
  • 114d8d9ed0 test/list/datatype -> test/list/instance for consistency with test/pair/instance Louis Dionne 2014-07-16 17:14:29 -0400
  • 2eb9867ec5 Comparable: Check laws widely Louis Dionne 2014-07-16 17:12:19 -0400
  • 71f92fbd66 Modularize the type classes Louis Dionne 2014-07-16 16:27:11 -0400
  • b6e46748df Add missing foldable_instance includes. Louis Dionne 2014-07-16 15:57:36 -0400
  • 7e8f109d7f Modularize List and add a minimal instance Louis Dionne 2014-07-16 13:47:04 -0400
  • 408a5c7db5 Modularize Pair Louis Dionne 2014-07-16 11:13:06 -0400
  • b3f9a3d09a Modularize Logical and remove nullary and_/or_ Louis Dionne 2014-07-15 19:42:23 -0400
  • b0b7b09736 Modularize Iterable Louis Dionne 2014-07-15 19:01:10 -0400
  • 674a889347 Modularize Foldable Louis Dionne 2014-07-15 17:53:56 -0400
  • 8492b8eea4 Modularize Orderable Louis Dionne 2014-07-15 16:54:42 -0400
  • 3c5aa0aceb Modularize Traversable Louis Dionne 2014-07-15 16:25:48 -0400
  • 20814674c0 Modularize Monad Louis Dionne 2014-07-15 13:21:20 -0400
  • 489353c0cc Modularize Applicative Louis Dionne 2014-07-15 13:00:28 -0400
  • 83bd276b3e Modularize Functor Louis Dionne 2014-07-15 12:43:07 -0400
  • c8e8d88753 Modularize Comparable Louis Dionne 2014-07-15 11:58:45 -0400
  • 3da2af3ba2 Core: Add test with parametric data type + predicated instance Louis Dionne 2014-07-16 16:24:21 -0400
  • 7e9ce05d5b Add the detail::dependent_on utility. Louis Dionne 2014-07-15 11:34:23 -0400
  • a316800bea convert.cpp example: Add missing Comparable mcd Louis Dionne 2014-07-15 11:30:21 -0400
  • 9e8928e299 Remove internal documentation from Doxygen output. Louis Dionne 2014-07-15 10:49:20 -0400
  • 8b1a689a5c Core: use variadic templates instead of an unspecified type in instance Louis Dionne 2014-07-15 10:45:54 -0400
  • 5d68bcdf45 Iterable: Remove the provided Comparable instance Louis Dionne 2014-07-15 10:30:50 -0400
  • c5e3352180 Core: workaround an assertion in Clang with to being a lambda Louis Dionne 2014-07-15 10:28:44 -0400
  • 86c0d427a0 StdIntegerSequence: improve the Comparable instance. Louis Dionne 2014-07-15 10:05:30 -0400
  • 13b50b5a72 Remove empty instances. Louis Dionne 2014-07-14 20:42:23 -0400
  • 8a3efe60fe StdTuple: Add note about redundant Applicative instance. Louis Dionne 2014-07-14 19:37:30 -0400
  • b19c801958 Lazy: refactor and make lazy more intuitive. Louis Dionne 2014-07-14 16:54:15 -0400
  • bfc71e548c Functional: make sure curry<N> is idempotent. Louis Dionne 2014-07-14 16:14:37 -0400
  • 41c80e1d44 Applicative: make ap variadic. Louis Dionne 2014-07-14 16:09:41 -0400
  • de2959db74 Monad: add >> operator as an equivalent to bind. Louis Dionne 2014-07-14 14:49:17 -0400
  • 40a3ef71c0 Add the Traversable type class. Louis Dionne 2014-07-14 10:40:45 -0400
  • af8b95e41f Add a default mcd to minimal data types. Louis Dionne 2014-07-14 10:09:17 -0400
  • e1c3564c08 Remove todos in minimal::Monad. Louis Dionne 2014-07-13 22:48:03 -0400
  • a5cab82de8 Core: make default_instance dependent on the type class arguments Louis Dionne 2014-07-13 22:38:52 -0400
  • 49d9b40fc1 Core: Allow parametric data types and predicated instances to cohabit. Louis Dionne 2014-07-13 20:05:03 -0400
  • d65d47ba28 Core: use BOOST_HANA_TYPECLASS macro to create type classes. Louis Dionne 2014-07-13 18:31:53 -0400
  • 87224fba92 Reorganize Monad unit tests. Louis Dionne 2014-07-13 17:35:47 -0400
  • f998098500 Reorganize Iterable unit tests. Louis Dionne 2014-07-13 16:19:34 -0400
  • c8530698c8 Core: Do not always force including core.hpp to get operators::enable Louis Dionne 2014-07-13 16:18:20 -0400
  • e0a981d58a Reorganize Functor unit tests. Louis Dionne 2014-07-13 14:58:32 -0400
  • a0945bc6de Reorganize Foldable unit tests. Louis Dionne 2014-07-13 14:58:18 -0400
  • cb69c60031 Reorganize Comparable unit tests. Louis Dionne 2014-07-13 14:57:31 -0400
  • cf531e560e List: use a more efficient right fold. Louis Dionne 2014-07-13 11:42:03 -0400
  • 3248004409 Move the Lazy data type from the sandbox to the library. Louis Dionne 2014-07-12 18:11:27 -0400
  • ee90a1c898 Sandbox: sketch Traversable; the current data type system is not powerful enough to express this type class. ouch Louis Dionne 2014-07-12 17:05:04 -0400
  • aa6aed5e3b Benchmarks: add implicit dependencies to datasets. Louis Dionne 2014-07-12 15:30:19 -0400
  • 3889cbe0b8 ext/boost/fusion: use Boost.Fusion algorithms whenever possible. Louis Dionne 2014-07-12 15:15:49 -0400
  • 76bd4fb2fa sandbox: add Any to strong datatypes. Louis Dionne 2014-07-12 11:59:58 -0400
  • 99c7e35cbb include(xs) -> include(n) in benchmark/list Louis Dionne 2014-07-12 10:43:11 -0400
  • 0d277e968b Benchmark: fix benchmark.techniques.foldl.* Louis Dionne 2014-07-09 18:08:38 -0400
  • 2fe7cc0b92 Add more benchmarks. Louis Dionne 2014-07-09 17:12:47 -0400
  • 39bfaca8ff Benchmarks: Create Fusion stuff efficiently. Louis Dionne 2014-07-09 16:56:45 -0400
  • c4ff6e0842 Refactor benchmarks. Louis Dionne 2014-07-09 12:22:32 -0400
  • 9169b3f188 Type: add rationale for trait_ and trait not being metafunction classes. Louis Dionne 2014-07-08 11:18:52 -0400
  • 53a4d872db Adapt boost::tuple. Louis Dionne 2014-07-08 11:03:16 -0400
  • 6aa9c3e3c8 Add tests for Fusion tuple. Louis Dionne 2014-07-08 10:17:33 -0400
  • 13b330fa41 Move mpl and fusion from ext/ to ext/boost/ Louis Dionne 2014-07-08 10:13:02 -0400
  • 41eefb2d29 Remove meaningless or redundant (implied) todos. Louis Dionne 2014-07-07 21:12:29 -0400
  • 48bb45394f Type: add a not-too-dirty way to optimize metafunction classes. Louis Dionne 2014-07-07 21:12:10 -0400
  • 573c863c49 Type: make metafunction, metafunction_class and template_ valid metafunction classes. Louis Dionne 2014-07-07 20:05:11 -0400
  • eb558b3ba1 Add foldl benchmarks for more sequences. Louis Dionne 2014-07-07 18:51:26 -0400
  • eecdf93453 Adapt non-associative ForwardSequences from Boost.Fusion. Louis Dionne 2014-07-07 18:15:12 -0400
  • 63e392bde2 Sandbox: prototype for better law checking. Louis Dionne 2014-07-07 15:48:30 -0400