| Copyright | (c) ForSyDe Group KTH 2007-2008 |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | forsyde-dev@ict.kth.se |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell98 |
ForSyDe.Shallow.MoC.DomainInterface
Description
This module defines domain interface constructors for the multi-rate computational model.
Synopsis
- downDI :: (Num a, Eq a) => a -> Signal b -> Signal b
- upDI :: (Num a, Eq a) => a -> Signal b -> Signal (AbstExt b)
- par2serxDI :: Vector (Signal a) -> Signal a
- ser2parxDI :: (Num a, Ord a) => a -> Signal (AbstExt b) -> Vector (Signal (AbstExt b))
- par2ser2DI :: Signal a -> Signal a -> Signal a
- par2ser3DI :: Signal a -> Signal a -> Signal a -> Signal a
- par2ser4DI :: Signal a -> Signal a -> Signal a -> Signal a -> Signal a
- ser2par2DI :: Signal a -> (Signal (AbstExt a), Signal (AbstExt a))
- ser2par3DI :: Signal a -> (Signal (AbstExt a), Signal (AbstExt a), Signal (AbstExt a))
- ser2par4DI :: Signal a -> (Signal (AbstExt a), Signal (AbstExt a), Signal (AbstExt a), Signal (AbstExt a))
Documentation
downDI :: (Num a, Eq a) => a -> Signal b -> Signal b Source #
The domain interface constructor downDI takes a parameter k and downsamples an input signal.
upDI :: (Num a, Eq a) => a -> Signal b -> Signal (AbstExt b) Source #
The domain interface constructors upDI takes a parameter k and upsamples an input signal.
par2serxDI :: Vector (Signal a) -> Signal a Source #
The domain interface constructor par2serxDI converts n parallel signals into one signal.
ser2parxDI :: (Num a, Ord a) => a -> Signal (AbstExt b) -> Vector (Signal (AbstExt b)) Source #
The domain interface constructors ser2parxDI converts one signal into n parallel signals.
par2ser2DI :: Signal a -> Signal a -> Signal a Source #
The domain interface constructor par2ser2DI converts two parallel signals into one signal.
par2ser3DI :: Signal a -> Signal a -> Signal a -> Signal a Source #
The domain interface constructor par2ser3DI converts three parallel signals into one signal
par2ser4DI :: Signal a -> Signal a -> Signal a -> Signal a -> Signal a Source #
The domain interface constructor par2ser4DI converts four parallel signals into one signal
ser2par2DI :: Signal a -> (Signal (AbstExt a), Signal (AbstExt a)) Source #
The domain interface constructor ser2par2DI converts one signal into two parallel signals.