File | list.str |
Author | unknown |
Since | unknown |
General | |
Lines of code | 71 |
Stratego | |
Module number | 1 (0% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 6 (33% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Strategy summary |
||
all-consnil(Strategy s) | Force Cons/Nil behaviour for list traversals | list.str |
filter-zip(Strategy s, ATerm ys) | n/a | list.str |
foldl(Strategy s, ATerm as) | n/a | list.str |
one-consnil(Strategy s) | One that traverses lists as cons/nil | list.str |
topdown-consnil(Strategy s) | n/a | list.str |
xtc-new-ffd | n/a | list.str |
Strategy details |
|||||||||
ATerm | all-consnil(Strategy s) | ||||||||
Force Cons/Nil behaviour for list traversals. |
|||||||||
ATerm | one-consnil(Strategy s) | ||||||||
One that traverses lists as cons/nil. |
|||||||||