Control.Wire.Prefab.Simple

Basic wires.

Simple predefined wires.

constant :: b -> Wire e >~ a b

The constant wire. Outputs the given value all the time.

identity :: Wire e >~ a a

The identity wire. Outputs its input signal unchanged.

• Depends: Current instant.

Forced reduction

force :: Wire e >~ b b

Force the input signal to weak head normal form, before outputting it. Applies seq to the input signal.

• Depends: Current instant.

forceNF :: NFData b => Wire e >~ b b

Force the input signal to normal form, before outputting it. Applies deepseq to the input signal.

• Depends: Current instant.

Inject signals

inject :: Wire e >~ (Either e b) b

Inject the given Either value as a signal. Left means inhibition.

• Depends: Current instant.
• Inhibits: When input is Left.

injectEvent :: Monoid e => Wire e >~ (Maybe b) b

Inject the given Maybe value as a signal. Nothing means inhibition.

• Depends: Current instant.
• Inhibits: When input is Nothing.