diff options
author | Adrian Kummerlaender | 2015-01-26 19:19:45 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-01-26 19:19:45 +0100 |
commit | 27b991ea23f71093b274b3ff1692c47274eb4d1d (patch) | |
tree | 10c4d4243087441484d57dddd3cefcd3888152f9 /src/list/operation/take.h | |
parent | 7ce93ff513a993b8b46fbb401b232d6f557b948b (diff) | |
download | TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.tar TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.tar.gz TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.tar.bz2 TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.tar.lz TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.tar.xz TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.tar.zst TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.zip |
Redefined `Length` in terms of `Apply` and `Fold`
* this function illustrates the use case `Apply` is currently intended for
* moved `Take` and `Nth` into separate files to resolve header resolution conflicts
Diffstat (limited to 'src/list/operation/take.h')
-rw-r--r-- | src/list/operation/take.h | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/src/list/operation/take.h b/src/list/operation/take.h new file mode 100644 index 0000000..db25640 --- /dev/null +++ b/src/list/operation/take.h @@ -0,0 +1,40 @@ +#ifndef TYPEASVALUE_SRC_LIST_OPERATION_TAKE_H_ +#define TYPEASVALUE_SRC_LIST_OPERATION_TAKE_H_ + +#include "operation/math.h" + +namespace tav { + +template < + typename Count, + typename Current +> +struct Take { + typedef Cons< + Head<Current>, + typename Take< + Substract<Count, Size<1>>, + Tail<Current> + >::type + > type; +}; + +template <typename Current> +struct Take<Size<0>, Current> { + typedef void type; +}; + +template <typename Count> +struct Take<Count, void> { + typedef void type; +}; + +template <> +struct Take<Size<0>, void> { + typedef void type; +}; + + +} + +#endif // TYPEASVALUE_SRC_LIST_OPERATION_TAKE_H_ |