Simulation.Aivika.Trans.Channel

Tested with: GHC 8.0.1

The module defines a channel that transforms one Signal to another within the Composite computation.

Channel Computation

newtype Channel m a b

It allows representing a signal transformation.

Constructors

Channel

Fields

• runChannel :: Signal m a -> Composite m (Signal m b)

  Run the channel transform.

Instances

MonadDES m => Category (Channel m :: Type -> Type -> Type)

Defined in Simulation.Aivika.Trans.Channel

Methods

id :: Channel m a a

(.) :: Channel m b c -> Channel m a b -> Channel m a c

Delay Channel

delayChannel

Arguments

:: MonadDES m

=> Double

the delay

-> Channel m a a

the delay channel

Return a delayed signal.

This is actually the delaySignal function wrapped in the Channel type.

delayChannelM

Arguments

:: MonadDES m

=> Event m Double

the delay

-> Channel m a a

the delay channel

Like delayChannel, but it re-computes the delay each time.

This is actually the delaySignalM function wrapped in the Channel type.

Sinking Signal

sinkSignal :: MonadDES m => Signal m a -> Composite m ()

Sink the signal. It returns a computation that subscribes to the signal and then ignores the received data. The resulting computation can be a moving force to simulate the whole system of the interconnected signals and channels.

Debugging

traceChannel :: MonadDES m => String -> Channel m a b -> Channel m a b

Show the debug message with the current simulation time, when emitting the output signal.