common

File common.str
Author unknown
Since unknown
No information available.




Statistics


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)
File common.str
Author unknown
Since unknown
 
Parameters
Strategy s1 s1 Nil -> b
Strategy s2 s2 Tuple(a, b) -> b

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.


type Tuple(a) -> b
see tcata

 
ATerm tuple-unzip(Strategy s)
File common.str
Author unknown
Since unknown
 

No information available.



 
ATerm tuple-zip(Strategy s)
File common.str
Author unknown
Since unknown
 

No information available.