Simulation.Aivika.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 a b

It allows representing a signal transformation.

Constructors

Channel

Fields

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

  Run the channel transform.

Instances

Category Channel

Defined in Simulation.Aivika.Channel

Methods

id :: forall (a :: k). Channel a a

(.) :: forall (b :: k) (c :: k) (a :: k). Channel b c -> Channel a b -> Channel a c

Delay Channel

delayChannel

Arguments

:: Double

the delay

-> Channel a a

the delay channel

Return a delayed signal.

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

delayChannelM

Arguments

:: Event Double

the delay

-> Channel 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 :: Signal a -> Composite ()

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 :: String -> Channel a b -> Channel a b

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