aboutsummaryrefslogtreecommitdiff
path: root/example
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-01-16 22:08:09 +0100
committerAdrian Kummerlaender2015-01-16 22:08:09 +0100
commit01029e59e8eda0a160291c3c92f9db5b1cac54d3 (patch)
tree68aa6f35c44b7aa6b3e69e4c72047515826a02e2 /example
parent5ead1bfab50ef7b3f746f298c53788c833f03ce4 (diff)
downloadTypeAsValue-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