diff options
author | Adrian Kummerlaender | 2015-02-08 20:38:00 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-02-08 20:38:00 +0100 |
commit | beb46377c075ccc07a22b45771f8ad993a4e088e (patch) | |
tree | feffecf2f07b8f672cd1fcee80a63291824b7b04 /src/list/list.h | |
parent | dd504e4fcbf73750097024dce397754dc5883386 (diff) | |
download | TypeAsValue-beb46377c075ccc07a22b45771f8ad993a4e088e.tar TypeAsValue-beb46377c075ccc07a22b45771f8ad993a4e088e.tar.gz TypeAsValue-beb46377c075ccc07a22b45771f8ad993a4e088e.tar.bz2 TypeAsValue-beb46377c075ccc07a22b45771f8ad993a4e088e.tar.lz TypeAsValue-beb46377c075ccc07a22b45771f8ad993a4e088e.tar.xz TypeAsValue-beb46377c075ccc07a22b45771f8ad993a4e088e.tar.zst TypeAsValue-beb46377c075ccc07a22b45771f8ad993a4e088e.zip |
Implemented higher order `Sort` list operation
* _Quicksort_ is the algorithm of choice
** it lends itself quite well to the _TypeAsValue_ approach because of its recursive nature
** this required implementation of a `Drop` counterpart to `Take`
* the middle item of a given list is selected as the _pivot_ element
* the `List` list contructor had to be expanded to allow `void` arguments inside its variadic parameter pack
* added appropriate test cases
Diffstat (limited to 'src/list/list.h')
-rw-r--r-- | src/list/list.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/list/list.h b/src/list/list.h index 2e335e2..d2a5cb0 100644 --- a/src/list/list.h +++ b/src/list/list.h @@ -21,6 +21,16 @@ struct List<Head> { typedef typename Cons<Head, void>::type type; }; +template <typename Head> +struct List<Head, void> { + typedef typename List<Head>::type type; +}; + +template <typename... Tail> +struct List<void, Tail...> { + typedef typename List<Tail...>::type type; +}; + template < typename Type, Type... Values @@ -40,6 +50,7 @@ using Tail = typename Cdr<Cons>::type; #include "operation/basic.h" #include "operation/nth.h" #include "operation/take.h" +#include "operation/drop.h" #include "operation/append.h" #include "operation/concatenate.h" |