ForSyDe-3.0: ForSyDe's Haskell-embedded Domain Specific Language.Source codeContentsIndex
ForSyDe.Shallow.SynchronousProcessLib
Portabilityportable
Stabilityexperimental
Maintainerforsyde-dev@ict.kth.se
Description
The synchronous process library defines processes for the synchronous computational model. It is based on the synchronous library ForSyDe.Shallow.SynchronousLib.
Synopsis
fifoDelaySY :: Signal [a] -> Signal (AbstExt a)
finiteFifoDelaySY :: Int -> Signal [a] -> Signal (AbstExt a)
memorySY :: Int -> Signal (Access a) -> Signal (AbstExt a)
mergeSY :: Signal (AbstExt a) -> Signal (AbstExt a) -> Signal (AbstExt a)
groupSY :: Int -> Signal a -> Signal (AbstExt (Vector a))
counterSY :: (Enum a, Ord a) => a -> a -> Signal a
Documentation
fifoDelaySY :: Signal [a] -> Signal (AbstExt a)Source
The process fifoDelaySY implements a synchronous model of a FIFO with infinite size. The FIFOs take a list of values at each event cycle and output one value. There is a delay of one cycle.
finiteFifoDelaySY :: Int -> Signal [a] -> Signal (AbstExt a)Source
The process finiteFifoDelaySY implements a FIFO with finite size. The FIFOs take a list of values at each event cycle and output one value. There is a delay of one cycle.
memorySY :: Int -> Signal (Access a) -> Signal (AbstExt a)Source
The process memorySY implements a synchronous memory. It uses access functions of the type 'Read adr' and 'Write adr value'.
mergeSY :: Signal (AbstExt a) -> Signal (AbstExt a) -> Signal (AbstExt a)Source
The process mergeSY merges two input signals into a single signal. The process has an internal buffer in order to prevent loss of data. The process is deterministic and outputs events according to their time tag. If there are two valid values at on both signals. The value of the first signal is output first.
groupSY :: Int -> Signal a -> Signal (AbstExt (Vector a))Source
The function groupSY groups values into a vector of size n, which takes n cycles. While the grouping takes place the output from this process consists of absent values.
counterSY :: (Enum a, Ord a) => a -> a -> Signal aSource
The process counterSY implements a counter, that counts from min to max. The process counterSY has no input and its output is an infinite signal.
Produced by Haddock version 2.1.0