Control.Wire.Trans.Exhibit

Wire transformers for handling inhibited signals.

Exhibition

class Arrow >~ => WExhibit (>~) where

Wire transformers for handling inhibited signals.

Methods

event :: Wire e >~ a b -> Wire e >~ a (Maybe b)

Produces Just, whenever the argument wire produces, otherwise Nothing.

• Depends: like argument wire.

exhibit :: Wire e >~ a b -> Wire e >~ a (Either e b)

Produces Right, whenever the argument wire produces, otherwise Left with the inhibition value.

• Depends: like argument wire.

gotEvent :: Wire e >~ a b -> Wire e >~ a Bool

Produces True, whenever the argument wire produces, otherwise False.

Instances

Monad m => WExhibit (Kleisli m)