Age | Commit message (Collapse) | Author |
|
* replaces `typename *::type` constructs with `Eval` applications
* aims to further unify function evaluation
|
|
* returns the `CDR` of the first true `CAR` in a given list of pairs
* reimplemented `Apply` base class selection in terms of `Cond`
|
|
* analogously to `IsPair`
|
|
* enables construction of `Cons` structures using the same value type across all their elements
|
|
* redefined `Even` in terms of `Modulo` and removed unnecessary dependent name declarators
* added appropriate test case, also for `Square`
|
|
|
|
* as its name implies this function returns the length of a given _Cons_ structure
* result type is `Size<Length>` which wraps `std::size_t` to match the `sizeof` operator
|
|
* the result type now depends on the `decltype` of the performed operation
|
|
|