Control.Wire.Session

Wire sessions, i.e. running and/or testing wires.

Running wires

stepWire

Arguments

:: WireToGen >~

=> Wire e >~ a b

Wire to step.

-> a >~ (Either e b, Wire e >~ a b)

Performs an instant of the given wire.

stepWireM

Arguments

:: Monad m

=> Wire e (Kleisli m) a b

Wire to step.

-> a

Input signal.

-> m (Either e b, Wire e (Kleisli m) a b)

Performs an instant of the given monad-based wire.

Testing wires

testWire

Arguments

:: forall a e m (>~) . (ArrowApply >~, ArrowKleisli m >~, MonadIO m, Show e, WireToGen >~)

=> Int

Frames per output. Speed/accuracy tradeoff.

-> (() >~ a)

Input generator.

-> Wire e >~ a String >~ ()

Test a wire. This function runs the given wire continuously printing its output on a single line.

The first argument specifies how often the wire's result is printed. If you specify 100 here, then the output is printed at every 100th frame.

testWireM

Arguments

:: forall a e m . (Show e, MonadIO m)

=> Int

Frames per output. FPS/accuracy tradeoff.

-> m a

Input generator.

-> Wire e (Kleisli m) a String

-> m ()

Test a monad-based wire. This function runs the given wire continuously printing its output on a single line.

The first argument specifies how often the wire's result is printed. If you specify 100 here, then the output is printed at every 100th frame.

Utility functions

printInt :: (Num a, Ord a) => a -> a -> String -> IO a

Print a wire result on one line at regular intervals (first argument). The second argument is the interval counter.

printRes :: String -> IO ()

Print a wire result on one line.

showRes :: Show e => Either e String -> String

Turn a wire result into a string for printing.

succMod :: (Num a, Ord a) => a -> a -> a

Increments. Results in 0, if the result is greater than or equal to the first argument.