switch package:netwire

switch :: (Monad m, Monoid s) => Wire s e m a (b, Event (Wire s e m a b)) -> Wire s e m a b
netwire Control.Wire.Switch
Intrinsic switch: Start with the given wire. As soon as its event occurs, switch to the wire in the event's value.
  • Inhibits: like argument wire until switch, then like the new wire.
  • Switch: once, now, restart state.
module Control.Wire.Switch
netwire
dSwitch :: (Monad m) => Wire s e m a (b, Event (Wire s e m a b)) -> Wire s e m a b
netwire Control.Wire.Switch
Intrinsic switch: Delayed version of switch.
  • Inhibits: like argument wire until switch, then like the new wire.
  • Switch: once, after now, restart state.
dkSwitch :: (Monad m) => Wire s e m a b -> Wire s e m (a, b) (Event (Wire s e m a b -> Wire s e m a b)) -> Wire s e m a b
netwire Control.Wire.Switch
Intrinsic continuable switch: Delayed version of kSwitch.
  • Inhibits: like the first argument wire, like the new wire after switch. Inhibition of the second argument wire is ignored.
  • Switch: once, after now, restart state.
dkrSwitch :: (Monad m) => Wire s e m a b -> Wire s e m (a, Event (Wire s e m a b -> Wire s e m a b)) b
netwire Control.Wire.Switch
Extrinsic continuable switch. Delayed version of krSwitch.
  • Inhibits: like the current wire.
  • Switch: recurrent, after now, restart state.
drSwitch :: (Monad m) => Wire s e m a b -> Wire s e m (a, Event (Wire s e m a b)) b
netwire Control.Wire.Switch
Extrinsic switch: Delayed version of rSwitch.
  • Inhibits: like the current wire.
  • Switch: recurrent, after now, restart state.
kSwitch :: (Monad m, Monoid s) => Wire s e m a b -> Wire s e m (a, b) (Event (Wire s e m a b -> Wire s e m a b)) -> Wire s e m a b
netwire Control.Wire.Switch
Intrinsic continuable switch: kSwitch w1 w2 starts with w1. Its signal is received by w2, which may choose to switch to a new wire. Passes the wire we are switching away from to the new wire, such that it may be reused in it.
  • Inhibits: like the first argument wire, like the new wire after switch. Inhibition of the second argument wire is ignored.
  • Switch: once, now, restart state.
krSwitch :: (Monad m) => Wire s e m a b -> Wire s e m (a, Event (Wire s e m a b -> Wire s e m a b)) b
netwire Control.Wire.Switch
Extrinsic continuable switch. This switch works like rSwitch, except that it passes the wire we are switching away from to the new wire.
  • Inhibits: like the current wire.
  • Switch: recurrent, now, restart state.
rSwitch :: (Monad m) => Wire s e m a b -> Wire s e m (a, Event (Wire s e m a b)) b
netwire Control.Wire.Switch
Extrinsic switch: Start with the given wire. Each time the input event occurs, switch to the wire it carries.
  • Inhibits: like the current wire.
  • Switch: recurrent, now, restart state.