index
:
TypeAsValue
master
C++ compile time computation library using types as values and templates as functions
Gitolite user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2015-03-15
Updated _Turing machine_ comments to reflect tape logging
HEAD
master
Adrian Kummerlaender
2015-03-14
Implemented basic tape log printout in _Turing_ example
Adrian Kummerlaender
2015-03-07
Changed `tav::Apply` implementation selection to template alias
Adrian Kummerlaender
2015-02-27
Updated `README.md` to mention the examples and added build instructions
Adrian Kummerlaender
2015-02-27
Renamed `Any` list query to `Every`
Adrian Kummerlaender
2015-02-26
Enabled `Concatenate` to concatenate a variadic pack of lists
Adrian Kummerlaender
2015-02-25
Added `Cond` branch condition assertion
Adrian Kummerlaender
2015-02-24
Replaced `utility::defer_eval` with placeholder-less `Apply`
Adrian Kummerlaender
2015-02-23
Added binary incrementer state table to Turing machine example
Adrian Kummerlaender
2015-02-22
Improved `simulate` function of the Turing machine example
Adrian Kummerlaender
2015-02-21
Added `README.md` to the Turing machine example
Adrian Kummerlaender
2015-02-21
Moved Turing machine printing into separate function
Adrian Kummerlaender
2015-02-21
Separated Turing machine implementation into components
Adrian Kummerlaender
2015-02-21
Implemented basic Turing machine as an example
Adrian Kummerlaender
2015-02-20
Added `ReplaceNth` list operation
Adrian Kummerlaender
2015-02-19
Moved `Apply`'s placeholder into separate detail header
Adrian Kummerlaender
2015-02-19
Introduced `Branch` and `Else` pair aliases for usage in `Cond`
Adrian Kummerlaender
2015-02-19
Added missing `Cond` dependency headers
Adrian Kummerlaender
2015-02-19
Reimplemented `Find` in terms of `ListIndex`
Adrian Kummerlaender
2015-02-18
Changed `ListIndex` to return false if no index is found
Adrian Kummerlaender
2015-02-18
Reimplemented `Append` in terms of `Fold`
Adrian Kummerlaender
2015-02-17
Reimplemented `TakeWhile` and `DropWhile` in terms of `ListIndex`
Adrian Kummerlaender
2015-02-17
Added `Section` test case
Adrian Kummerlaender
2015-02-17
Expressed `Take` and `Drop` in terms of new `Section` operation
Adrian Kummerlaender
2015-02-16
Unified `Iota` and `MakeList` using nested structure generator
Adrian Kummerlaender
2015-02-16
Renamed `detail::Sort` to `detail::quick_sort`
Adrian Kummerlaender
2015-02-16
Reimplemented `Nth` in terms of `Drop`
Adrian Kummerlaender
2015-02-16
Simplified `List`, `Length` and `Reverse` implementations
Adrian Kummerlaender
2015-02-15
Simplified `Cond`, `Cons` and `Map` implementations
Adrian Kummerlaender
2015-02-15
Reduced `Filter` and `Remove` implementations to direct aliases
Adrian Kummerlaender
2015-02-15
Moved class-based implementations into `detail` namespace
Adrian Kummerlaender
2015-02-14
Introduced `Eval` function evaluation helper
Adrian Kummerlaender
2015-02-13
Renamed `Apply`'s template alias to `function`
Adrian Kummerlaender
2015-02-12
Added previously missing `Drop` implementation
Adrian Kummerlaender
2015-02-12
Implemented `Cond` conditional
Adrian Kummerlaender
2015-02-12
Added `Is` prefix to `EqualValue` and `EqualType`
Adrian Kummerlaender
2015-02-12
Revamped partial function application
Adrian Kummerlaender
2015-02-10
Moved `Sort` list index deletion into `DeleteNth` function
Adrian Kummerlaender
2015-02-09
Updated `README.md` to mention recent features and direction
Adrian Kummerlaender
2015-02-09
Updated `Sort` to make use of `Partition` for splitting at pivot
Adrian Kummerlaender
2015-02-09
Added `First`, `Second` and `Third` aliae for `Nth`
Adrian Kummerlaender
2015-02-09
Added `void` concatenation `List` template specialization
Adrian Kummerlaender
2015-02-08
Implemented higher order `Sort` list operation
Adrian Kummerlaender
2015-02-08
Added `GreaterThan` and `LowerThan` comparators
Adrian Kummerlaender
2015-02-08
Added _Scheme_ variant of prime example as documentation
Adrian Kummerlaender
2015-02-06
Moved _SFINAE_ helper into separate header
Adrian Kummerlaender
2015-02-06
Revamped to use `Cons` as a function and `Pair` as its result
Adrian Kummerlaender
2015-02-05
Defer `If` template resolution analogously to other functions
Adrian Kummerlaender
2015-02-05
Reimplemented `Contains` and `Delete` in terms of `Apply`
Adrian Kummerlaender
2015-02-05
Reimplemented `removeMultiplesOf` in terms of a partial function application
Adrian Kummerlaender
[next]