lumiera_/src/lib/meta
Ichthyostega b5453cc429 TreeExplorer: reimplementation with simpler design
- always layer the TreeExplorer (builder) on top of the stack
- always intersperse an IterableDecorator in between adjacent layers
- consequently...
  * each layer implementation is now a "state core"
  * and the source is now always a Lumiera Iterator

This greatly simplifies all the type rebindings and avoids the
ambiguities in argument converison. Basically now we can always convert
down, and we just need to pick the result type of the bound functor.

Downside is we have now always an adaptation wrapper in between,
but we can assume the compiler is able to optimise such inline
accessors away without overhead.
2017-12-04 04:34:26 +01:00
..
configflags.hpp maximum munch 2016-12-23 04:23:03 +01:00
duck-detector.hpp Investigation: resolve the mystery and fix the problem 2017-12-02 02:51:51 +01:00
function-closure.hpp Doxygen Fixes (#1062) 2017-04-02 04:22:51 +02:00
function-erasure.hpp decommission the safe-bool-idiom (closes #477) 2017-04-02 06:42:23 +02:00
function.hpp Library: improve the function-signature detector to work as guard with enable_if 2017-11-24 23:48:56 +01:00
generator-combinations.hpp clean up lib/meta namespaces 2011-12-03 03:15:59 +01:00
generator.hpp clean up lib/meta namespaces 2011-12-03 03:15:59 +01:00
maybe-compare.hpp MERGE Doxygen clean-up done during the last months 2017-04-01 23:59:00 +02:00
no-instance.hpp Doxygen: fill in missing file level headlines for the Library (metaprogramming) 2016-11-07 15:39:13 +01:00
size-trait.hpp Doxygen: fill in missing file level headlines for the Library (metaprogramming) 2016-11-07 15:39:13 +01:00
trait-special.hpp MERGE Doxygen clean-up done during the last months 2017-04-01 23:59:00 +02:00
trait.hpp TreeExplorer: reimplementation with simpler design 2017-12-04 04:34:26 +01:00
tuple-helper.hpp Investigation: augment index iterator to deal with insufficient arguments 2017-09-28 01:40:23 +02:00
tuple-record-init.hpp Analysis regarding the next step, integration of InstanceManagement into SessionCommand facade 2017-04-09 01:34:18 +02:00
typelist-manip.hpp maximum munch 2016-12-23 04:23:03 +01:00
typelist-util.hpp maximum munch 2016-12-23 04:23:03 +01:00
typelist.hpp Metaprogramming(#987): mark planned transition to variadic arguments 2017-09-28 00:10:45 +02:00
typeseq-util.hpp Metaprogramming(#987): mark planned transition to variadic arguments 2017-09-28 00:10:45 +02:00
util.hpp Library: improve the function-signature detector to work as guard with enable_if 2017-11-24 23:48:56 +01:00
value-type-binding.hpp Library: put the new type rebinding trait into general use 2017-12-02 02:51:51 +01:00
variadic-helper.hpp Metaprogramming: extend testcase and remould pickInit to support arbitrary arguments 2017-09-29 02:35:15 +02:00
virtual-copy-support.hpp compiler evolution: get rid of a gcc-4.7 workaround 2016-01-05 23:16:18 +01:00