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

Commit Graph

  • 874c28eade Functional: refactor to reduce coupling Louis Dionne 2014-06-16 18:44:33 -0400
  • fd17244c4c Core: document bug with data type retrieval Louis Dionne 2014-06-16 08:48:33 -0400
  • d41e17b12b Type: make type<> more compiler-friendly Louis Dionne 2014-06-16 08:38:40 -0400
  • ee9681f7aa Minor ungrouped improvements and bug fixes. Louis Dionne 2014-06-16 08:07:52 -0400
  • 199248bda1 sandbox: add a naive Matrix Louis Dionne 2014-06-15 18:03:51 -0400
  • a75d73cd90 sandbox: add is_valid Louis Dionne 2014-06-15 15:48:49 -0400
  • 8124e7e097 Iterable: use eval_if in some places Louis Dionne 2014-06-15 15:32:30 -0400
  • 10a050c854 Logical: add conservative eval_if Louis Dionne 2014-06-15 15:13:57 -0400
  • 90c9e64755 List: allow 0 arguments in zip_with and sort methods in (mostly) alphabetical order Louis Dionne 2014-06-15 10:24:18 -0400
  • 56baf71826 sandbox: remove TODOs in array Louis Dionne 2014-06-15 10:18:14 -0400
  • 2496259cb6 sandbox: ongoing attempt to improve if_ Louis Dionne 2014-06-14 17:21:10 -0400
  • 8e1d12171a Make Logical a type class Louis Dionne 2014-06-14 12:49:06 -0400
  • 92342e0402 Integral: harmonize with std::integral_constant Louis Dionne 2014-06-13 23:30:04 -0400
  • 77c925d239 Add examples in Foldable and add the sizeof_ method Louis Dionne 2014-06-13 22:16:12 -0400
  • 5019effa3f List: "partial ordering" -> "strict weak ordering" in sort Louis Dionne 2014-06-13 20:26:09 -0400
  • 28e54f6ee9 List: reimplement partition, document sort_by and add permutations Louis Dionne 2014-06-13 17:34:22 -0400
  • 2d0d4f42df Use internal enable_if to avoid including type_traits Louis Dionne 2014-06-13 14:20:19 -0400
  • 4b60dfa6d0 Iterable: document provided instances Louis Dionne 2014-06-13 14:07:56 -0400
  • 6c2534216c functional: add an example for a use case of always Louis Dionne 2014-06-13 13:20:03 -0400
  • 2d0f6014e6 sandbox: add old constexpr rational code Louis Dionne 2014-06-12 22:32:25 -0400
  • 3fffc0365d Remove now useless Doxygen aliases. Louis Dionne 2014-06-12 20:41:51 -0400
  • c1d9ff5529 doc: document instances Louis Dionne 2014-06-12 20:34:14 -0400
  • 488ebc24f8 Iterable: test comparison with heterogeneous data types Louis Dionne 2014-06-12 16:51:45 -0400
  • 5a74795687 sandbox: add experiment with sfinae -> Maybe Louis Dionne 2014-06-12 14:37:11 -0400
  • d951c3b594 core: document and test the type class instantiation system Louis Dionne 2014-06-12 13:32:29 -0400
  • e93f1eb4e0 Range: make the implementation less naive Louis Dionne 2014-06-12 10:06:24 -0400
  • 48ec7b231e Foldable: add examples for some methods Louis Dionne 2014-06-12 10:06:03 -0400
  • e943411fd6 Remove Doxygen warnings. Louis Dionne 2014-06-12 09:38:59 -0400
  • ed9d70d8bf Remove redundant _template_ keyword. Louis Dionne 2014-06-12 09:02:02 -0400
  • beca8ade95 Iterable: use the new dispatching system Louis Dionne 2014-06-12 09:00:11 -0400
  • 60a1741016 Use the new dispatching system with Monad. Louis Dionne 2014-06-12 07:06:18 -0400
  • ec10170b57 Use the new dispatching system with Foldable and Functor. Louis Dionne 2014-06-12 07:01:04 -0400
  • 9b1cdd81b9 Comparable: update the dispatching system Louis Dionne 2014-06-11 16:43:10 -0400
  • 1d81e02944 Fix a bug with c-style variadics in at_index and improve arg<> Louis Dionne 2014-06-10 14:28:12 -0400
  • 809101956b Type: add construction capabilities Louis Dionne 2014-06-09 18:20:30 -0400
  • d572e3b094 functional: consider making compose variadic Louis Dionne 2014-06-09 15:33:34 -0400
  • e9267aecc8 Type: documentation and example for untype Louis Dionne 2014-06-09 14:30:02 -0400
  • 293b066ea4 TypeList: fix the ADL-related bug Louis Dionne 2014-06-09 12:46:46 -0400
  • ee6c805ca8 Type: decouple library from its internal representation Louis Dionne 2014-06-09 10:39:05 -0400
  • 2567066828 Type: documentation and decoupling Louis Dionne 2014-06-08 16:41:52 -0400
  • 4a013fa8cf sandbox: Another attempt to dispatching for Comparable Louis Dionne 2014-06-08 13:52:50 -0400
  • e376b606e1 Monad: documentation Louis Dionne 2014-06-08 09:05:17 -0400
  • 2f88b2d40b range: documentation and type decoupling Louis Dionne 2014-06-07 20:08:48 -0400
  • c531903254 Add link to reference documentation in readme. Louis Dionne 2014-06-07 17:39:05 -0400
  • 71a70764e8 maybe: documentation and API improvements Louis Dionne 2014-06-07 17:32:34 -0400
  • d5368c05b4 sandbox: prototype a more flexible dispatching system Louis Dionne 2014-06-07 16:36:46 -0400
  • 73ce69c313 Build system: add Sublime project file to version control Louis Dionne 2014-06-06 11:38:36 -0400
  • 8984517166 Sandbox: add a (maybe) more clever assert Louis Dionne 2014-06-06 11:32:45 -0400
  • d3883f98f6 List: remove done "todo" item Louis Dionne 2014-06-05 23:38:34 -0400
  • 415b5c6906 List: fix a bug in head; don't use c-style variadics Louis Dionne 2014-06-05 22:55:19 -0400
  • d4d82639f5 List: documentation and examples Louis Dionne 2014-06-05 22:14:05 -0400
  • aea42f9d18 Integral: Fix a bug with negative literals. Louis Dionne 2014-06-05 22:13:21 -0400
  • b694f5e465 Integral: Strip cv-qualifiers of the integral type. Louis Dionne 2014-06-05 21:17:06 -0400
  • 80d115e017 Sandbox: add a linked list, std::array and std::string Louis Dionne 2014-06-05 16:24:14 -0400
  • b35531430b Sandbox: add operator_ Louis Dionne 2014-06-05 03:30:37 -0400
  • e86b9d3f4a Sandbox: add a possible infix operator implementation Louis Dionne 2014-06-05 03:12:16 -0400
  • b1f9527f83 Add a sandbox directory to test stuff. Louis Dionne 2014-06-05 00:05:45 -0400
  • 8cd1863896 Move length from Iterable to Foldable. Louis Dionne 2014-06-04 22:19:42 -0400
  • 12058791c7 Documentation: improvements in Integral Louis Dionne 2014-06-04 21:30:53 -0400
  • a902435c76 CMake: put enable_testing() in the top level CMakeLists Louis Dionne 2014-06-04 21:23:39 -0400
  • 8fcf0c21dd Examples: use sstream instead of lexical_cast in folds (reduce compile-time) Louis Dionne 2014-06-04 21:16:18 -0400
  • 61f0770b44 Integral: refactoring, documentation and decoupling Louis Dionne 2014-06-04 19:55:52 -0400
  • 5b4d569962 Type: Add decltype_ and remove coupling. Louis Dionne 2014-06-04 16:11:57 -0400
  • ac30caf7dc Comparable: improve documentation Louis Dionne 2014-06-04 15:35:46 -0400
  • 50ebbfffc3 Documentation: move a couple of todos to the Doxygen doc Louis Dionne 2014-06-04 14:15:57 -0400
  • 99a6e58487 Functional: Add note about infix operators. Louis Dionne 2014-06-04 12:26:41 -0400
  • a1ab4fab6b Functional: add fbind Louis Dionne 2014-06-04 11:54:09 -0400
  • 178b25476d Functional: add arg<n> Louis Dionne 2014-06-04 11:27:59 -0400
  • 806981bbcf Functional: remove argwise, add on and lockstep Louis Dionne 2014-06-04 10:51:58 -0400
  • c0b7a91e31 Move any, all and none to Foldable. Louis Dionne 2014-06-03 12:28:05 -0400
  • 91689fe4f0 Make the header comment and license uniform. Louis Dionne 2014-06-03 11:46:24 -0400
  • 4b61774472 Add lazy_foldr to Foldable. Louis Dionne 2014-06-03 11:38:54 -0400
  • b090b57ee4 Use CTest for examples as well as unit tests. Louis Dionne 2014-06-02 21:33:05 -0400
  • f5da7770f3 Test a workaround for ADL problems in type. Louis Dionne 2014-06-02 21:07:53 -0400
  • ce602dd4b4 Document a couple more components. Louis Dionne 2014-06-02 21:48:35 -0400
  • 6215e82a01 Improve type traits and partially document Integral. Louis Dionne 2014-06-02 21:48:01 -0400
  • 49cbdbdd6e Document the Core module. Louis Dionne 2014-06-02 16:42:21 -0400
  • 1cebe9821d Document the Functional module. Louis Dionne 2014-06-02 15:48:13 -0400
  • 236b0691fe Add gh-pages branch as a submodule. Louis Dionne 2014-06-01 12:31:25 -0400
  • b0ebffce2f Check Monad laws. Louis Dionne 2014-06-01 10:49:00 -0400
  • 49c4417626 Add a genuine minimal Iterable. Louis Dionne 2014-06-01 10:35:19 -0400
  • e77dab7c55 Generalize curry. Louis Dionne 2014-06-01 10:03:07 -0400
  • 7b70a24d2b Add user-defined literal for integral constants. Louis Dionne 2014-05-31 15:33:30 -0400
  • cec5d4edf8 Add unpack and remove Functor from Range. Louis Dionne 2014-05-31 13:36:23 -0400
  • 7562f8cecf Add argwise to functional. Louis Dionne 2014-05-31 13:36:40 -0400
  • 418b8941ad Test Functor laws and modify Type's fmap. Louis Dionne 2014-05-29 17:50:07 -0400
  • decb1a4d8c Add curry<n> to functional. Louis Dionne 2014-05-27 15:40:10 -0400
  • 3d9480855e Make Typelist a transparent optimization. Louis Dionne 2014-05-27 15:07:01 -0400
  • 3bb00967ef Make Maybe a Monad. Louis Dionne 2014-05-27 14:12:11 -0400
  • 9e74d48e3c Define operator== and operator!= for Comparables. Louis Dionne 2014-05-27 12:27:13 -0400
  • 09274a9ea3 Make List a Monad. Louis Dionne 2014-05-27 11:12:05 -0400
  • 5f616bb4f5 Add the Monad typeclass and make Type a Monad. Louis Dionne 2014-05-27 09:57:31 -0400
  • 49672fd986 Introduce datatypes for dispatching. Louis Dionne 2014-05-27 10:52:53 -0400
  • eda7ea303a Add a more efficient at_index algorithm. Louis Dionne 2014-05-26 14:21:29 -0400
  • d85eb7ccb2 Add init to List and implement length better. Louis Dionne 2014-05-26 12:32:38 -0400
  • 6086633003 Add sort and partition. Louis Dionne 2014-05-26 10:43:04 -0400
  • 205f0ffb51 Use placeholders where it makes sense in the examples. Louis Dionne 2014-05-26 10:13:29 -0400
  • 12273221e1 Add placeholders in functional/. Louis Dionne 2014-05-26 10:07:27 -0400
  • ec7831184f Add more MPL examples. Louis Dionne 2014-05-25 23:42:00 -0400
  • 51848b0b71 Add more Fusion examples. Louis Dionne 2014-05-25 21:02:02 -0400