diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/list/operation/basic.h | 5 | ||||
| -rw-r--r-- | src/list/operation/higher/misc.h | 29 |
2 files changed, 32 insertions, 2 deletions
diff --git a/src/list/operation/basic.h b/src/list/operation/basic.h index ff0a4d7..364a542 100644 --- a/src/list/operation/basic.h +++ b/src/list/operation/basic.h @@ -11,14 +11,15 @@ class Length { private: template < typename, - typename Current + typename Previous > struct Count { - typedef Add<Size<1>, Current> type; + typedef Add<Size<1>, Previous> type; }; public: typedef typename Fold<Count, Size<0>, Cons>::type type; + }; template < diff --git a/src/list/operation/higher/misc.h b/src/list/operation/higher/misc.h new file mode 100644 index 0000000..708265a --- /dev/null +++ b/src/list/operation/higher/misc.h @@ -0,0 +1,29 @@ +#ifndef TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_MISC_H_ +#define TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_MISC_H_ + +#include "fold.h" + +namespace tav { + +template < + template<typename> class Function, + typename List +> +class Map { + private: + template < + typename Current, + typename Previous + > + struct FunctionWrapper { + typedef Cons<Function<Current>, Previous> type; + }; + + public: + typedef typename Fold<FunctionWrapper, void, List>::type type; + +}; + +} + +#endif // TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_MISC_H_ |