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