Portability | portable |
---|---|

Stability | experimental |

Maintainer | forsyde-dev@ict.kth.se |

This module defines domain interface constructors for the multi-rate computational model.

- downDI :: Num a => a -> Signal b -> Signal b
- upDI :: Num 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 => a -> Signal b -> Signal bSource

The domain interface constructor `downDI`

takes a parameter `k`

and downsamples an input signal.

upDI :: Num 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 aSource

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 aSource

The domain interface constructor `par2ser2DI`

converts two parallel signals into one signal.

par2ser3DI :: Signal a -> Signal a -> Signal a -> Signal aSource

The domain interface constructor `par2ser3DI`

converts three parallel signals into one signal

par2ser4DI :: Signal a -> Signal a -> Signal a -> Signal a -> Signal aSource

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.

ser2par3DI :: Signal a -> (Signal (AbstExt a), Signal (AbstExt a), Signal (AbstExt a))Source

The domain interface constructor `ser2par3DI`

converts one signal into three parallel signals.