list

File list.str
Author unknown
Since unknown

This module defines a collection of generic one-pass traversals overlists.

The primitive term traversal operators of Strateg -- all, some, one --can be combined with the other control operators in a wide varietyof ways to define full term traversals.




Statistics


General
Lines of code 86
Stratego
Module number 1 (100% documented)
Constructor number 0
Overlay number 0
Strategy number 14 (0% documented)
Rule number 0
DynamicRule number 0



Strategy summary


all-l(Strategy s) n/a list.str
alldownup2-l(Strategy s1, Strategy s2) n/a list.str
alltd-fold-l(Strategy s1, Strategy s2) n/a list.str
alltd-l(Strategy s) n/a list.str
bottomup-l(Strategy s) n/a list.str
bottomup-para-l(Strategy s) n/a list.str
bottomupS-l(Strategy s, Strategy stop) n/a list.str
downup-l(Strategy s) n/a list.str
downup-l(Strategy s1, Strategy s2) n/a list.str
downup2-l(Strategy s1, Strategy s2) n/a list.str
downupS-l(Strategy s, Strategy stop) n/a list.str
downupS-l(Strategy s1, Strategy s2, Strategy stop) n/a list.str
topdown-l(Strategy s) n/a list.str
topdownS-l(Strategy s, Strategy stop) n/a list.str