ForSyDe.Shallow.SynchronousLib
Combinational process constructors
mapSY
zipWithSY
zipWith3SY
zipWith4SY
zipWithxSY
Sequential process constructors
delaySY
delaynSY
scanlSY
scanl2SY
scanl3SY
scanldSY
scanld2SY
scanld3SY
mooreSY
moore2SY
moore3SY
mealySY
mealy2SY
mealy3SY
sourceSY
filterSY
fillSY
holdSY
Synchronous Processes
whenSY
zipSY
zip3SY
zip4SY
zip5SY
zip6SY
unzipSY
unzip3SY
unzip4SY
unzip5SY
unzip6SY
zipxSY
unzipxSY
mapxSY
fstSY
sndSY