| 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. |
|||||||||