diff options
| author | Adrian Kummerlaender | 2015-01-16 22:08:09 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2015-01-16 22:08:09 +0100 |
| commit | 01029e59e8eda0a160291c3c92f9db5b1cac54d3 (patch) | |
| tree | 68aa6f35c44b7aa6b3e69e4c72047515826a02e2 /example | |
| parent | 5ead1bfab50ef7b3f746f298c53788c833f03ce4 (diff) | |
| download | TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.tar TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.tar.gz TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.tar.bz2 TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.tar.lz TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.tar.xz TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.tar.zst TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.zip | |
Implemented basic `Cons` value type and `List` constructor
* `Cons` is a straigth forward type _pair_ containing `car` and `cdr` typedefs
** they may be accessed using `Car` and `Cdr` helper template aliases
** there is no enforcement of _Cons_ structure and type equality whatsoever
*** i.e. similar to Scheme and different from how it is implemented in _ConstList_
* `List` is a recursive variadic helper template for constructing `Cons` value types
** simplifies _Cons_ construction and may be expanded to offer type deduction and built upon to enforce type equality
* added appropriate test cases
Diffstat (limited to 'example')
0 files changed, 0 insertions, 0 deletions