File | common.str |
Author | unknown |
Since | unknown |
General | |
Lines of code | 89 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 8 (100% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Strategy summary |
||
flip(Strategy s) | n/a | common.str |
is-tuple | n/a | common.str |
split(Strategy f, Strategy g) | n/a | common.str |
split3(Strategy f, Strategy g, Strategy h) | n/a | common.str |
tcata(Strategy s1, Strategy s2) | n/a | common.str |
tconcat(Strategy s) | n/a | common.str |
tconcat'(Strategy s1, Strategy s2) | n/a | common.str |
tfoldr(Strategy s1, Strategy s2) | Fold a tuple from right to left using s2 as the folding strategy | common.str |
Thd | n/a | common.str |
tindex | n/a | common.str |
tmap(Strategy s) | n/a | common.str |
tuple-unzip(Strategy s) | n/a | common.str |
tuple-zip(Strategy s) | n/a | common.str |
tzip(Strategy s) | n/a | common.str |
Rule summary |
||
Dupl | n/a | common.str |
Fst | n/a | common.str |
ListToTuple | n/a | common.str |
Snd | n/a | common.str |
Swap | n/a | common.str |
Third | n/a | common.str |
Ttl | n/a | common.str |
TupleToList | n/a | common.str |
Strategy details |
|||||||||||||||||||
ATerm | tfoldr(Strategy s1, Strategy s2) | ||||||||||||||||||
Fold a tuple from right to left using s2 as the folding strategy. s1 is used to obtain the right-element (of type b) for s2.
|
|||||||||||||||||||
ATerm | tuple-unzip(Strategy s) | ||||||||||||||||||
No information available. |
|||||||||||||||||||
ATerm | tuple-zip(Strategy s) | ||||||||||||||||||
No information available. |
|||||||||||||||||||