aboutsummaryrefslogtreecommitdiff
path: root/src/type.h
AgeCommit message (Collapse)Author
2015-02-22Improved `simulate` function of the Turing machine exampleAdrian Kummerlaender
* introduced `state::state_accessor` helper function and moved position logic into `updatePosition` * added `IsEqual` comparator and expressed other basic comparators in terms of itself
2015-02-18Changed `ListIndex` to return false if no index is foundAdrian Kummerlaender
* analogously to `list-index` and `find` in SRFI-1
2015-02-14Introduced `Eval` function evaluation helperAdrian Kummerlaender
* replaces `typename *::type` constructs with `Eval` applications * aims to further unify function evaluation
2015-02-12Implemented `Cond` conditionalAdrian Kummerlaender
* returns the `CDR` of the first true `CAR` in a given list of pairs * reimplemented `Apply` base class selection in terms of `Cond`
2015-02-12Added `Is` prefix to `EqualValue` and `EqualType`Adrian Kummerlaender
* analogously to `IsPair`
2015-01-29Added `ListOfType` list constructor aliasAdrian Kummerlaender
* enables construction of `Cons` structures using the same value type across all their elements
2015-01-24Added `Modulo` math operatorAdrian Kummerlaender
* redefined `Even` in terms of `Modulo` and removed unnecessary dependent name declarators * added appropriate test case, also for `Square`
2015-01-19Added type and value equality test caseAdrian Kummerlaender
2015-01-17Implemented `Length` functionAdrian Kummerlaender
* 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
2015-01-15Completed basic math operators and fixed their result typeAdrian Kummerlaender
* the result type now depends on the `decltype` of the performed operation
2015-01-15Added basic value type alias and math operationsAdrian Kummerlaender