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/list.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/list.h')
-rw-r--r-- | src/list/list.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/list/list.h b/src/list/list.h index 5c67872..c03a0ef 100644 --- a/src/list/list.h +++ b/src/list/list.h @@ -30,6 +30,8 @@ using Tail = Cdr<Cons>; } #include "operation/basic.h" +#include "operation/nth.h" +#include "operation/take.h" #include "operation/append.h" #include "operation/concatenate.h" |