Networks

A network consists of cells and connections which propagate data between them.

Represents an empty network.

Represents possible errors that may occur when modifying or using a network.

Network modifications and data propagations are captured by the Propagator monad.

Applies modifications captured by the propagator monad to a network, thus producing a new network if no error occurred.

Represents a unique identification of a network cell.

Represents a potential change of a cell value.

Constructs a new cell with a given initial value and a function which defines how to react if a new value is about to be written to the cell.

Reads the value of a specific cell.

Writes a new value to a specific cell and starts to propagate potential changes through the network of connected cells.

Removes a cell from the network. This also removes all connections related to the cell.

If the content of a cell is an accumulation of multiple values [b], and every value b itself can be used as content a for the cell, then we can write every value b one after another to the cell and check if the network converges to a successful state.

As a result, we can enumerate all possible combinations of valid values for a given set of cells. This is often used in constraint solving algorithms.

This function does not perform any permanent network modifications.

Represents a unique identification of a network connection.

When connecting cells, the ConnectState defines the initial behaviour of the connection.

Connects a source cell to a target cell in order to propagate changes from the source to the target. The returned ConnectKey can be used to remove the connection via disconnect.

Same as connect, but discards the returned ConnectKey.

Connects and synchronizes two cells, i.e. new values are propagated from the source to the target cell, and vice versa. Short form of syncWith Just Just.

Same as sync, but discards the returned ConnectKeys.

Connects and synchronizes two cells using two translation functions f and g, i.e. new values are propagated from the source to the target cell using f, and vice versa using g.

Same as syncWith, but discards the returned ConnectKeys.

Connects two source cells to a target cell in order to propagate changes from the sources to the target. The returned ConnectKey can be used to remove the connection via disconnect.

Same as combine, but discards the returned ConnectKey.

Connects several source cells to a target cell in order to propagate changes from the sources to the target. The returned ConnectKey can be used to remove the connection via disconnect.

Same as combineMany, but discards the returned ConnectKey.

Connects a source cells to several target cells in order to propagate changes from the source to the targets. The returned ConnectKey can be used to remove the connection via disconnect.

Same as distribute, but discards the returned ConnectKey.

Connects several source cells to several target cells in order to propagate changes from the sources to the targets. The returned ConnectKey can be used to remove the connection via disconnect.

Same as manyToMany, but discards the returned ConnectKey.

Removes a connection from the network.

plus s a b c connects three cells using the following propagation schema:

• a + b is propagated to c if a or b changes.
• c - b is propagated to a if b or c changes.
• c - a is propagated to b if a or c changes.

minus s a b c connects three cells using the following propagation schema:

• a - b is propagated to c if a or b changes.
• b + c is propagated to a if b or c changes.
• a - c is propagated to b if a or c changes.

times s a b c connects three cells using the following propagation schema:

• a * b is propagated to c if a or b changes.

timesWith divOp s a b c connects three cells using the following propagation schema:

• a * b is propagated to c if a or b changes.
• divOp c b is propagated to a if b or c changes.
• divOp c a is propagated to b if a or c changes.

abs s a b connects two cells using the following propagation schema:

• |a| is propagated to b if a changes.

absWith inv s a b connects two cells using the following propagation schema:

• |a| is propagated to b if a changes.
• inv b is propagated to a if b changes.

negate s a b connects two cells using the following propagation schema:

• -a is propagated to b if a changes.
• -b is propagated to a if b changes.

signum s a b connects two cells using the following propagation schema:

• Prelude.signum a is propagated to b if a changes.

signumWith inv s a b connects two cells using the following propagation schema:

• Prelude.signum a is propagated to b if a changes.
• inv b is propagated to a if b changes.