diff options
author | Adrian Kummerlaender | 2015-02-17 18:55:08 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-02-17 18:55:08 +0100 |
commit | 8e4e3466694e5bef43f1308296a76086a7db453d (patch) | |
tree | 84049e2604341a0326e99d31cbed898fe5448d2d /src/list/list.h | |
parent | f81cd736e00c28cf24412a4099bae08ff2e6c493 (diff) | |
download | TypeAsValue-8e4e3466694e5bef43f1308296a76086a7db453d.tar TypeAsValue-8e4e3466694e5bef43f1308296a76086a7db453d.tar.gz TypeAsValue-8e4e3466694e5bef43f1308296a76086a7db453d.tar.bz2 TypeAsValue-8e4e3466694e5bef43f1308296a76086a7db453d.tar.lz TypeAsValue-8e4e3466694e5bef43f1308296a76086a7db453d.tar.xz TypeAsValue-8e4e3466694e5bef43f1308296a76086a7db453d.tar.zst TypeAsValue-8e4e3466694e5bef43f1308296a76086a7db453d.zip |
Expressed `Take` and `Drop` in terms of new `Section` operation
* unifies the common functionality between `Take` and `Drop`
* renamed `basic.h` to `length.h` as it only contains the `Length` implementation
Diffstat (limited to 'src/list/list.h')
-rw-r--r-- | src/list/list.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/list/list.h b/src/list/list.h index edb52ec..cf4f415 100644 --- a/src/list/list.h +++ b/src/list/list.h @@ -26,7 +26,7 @@ using Tail = Cdr<Cons>; } -#include "operation/basic.h" +#include "operation/length.h" #include "operation/nth.h" #include "operation/take.h" #include "operation/drop.h" |