Control.Arrow.Machine.Event

Documentation

class Occasional a where

Methods

noEvent :: a

end :: a

isNoEvent :: a -> Bool

isEnd :: a -> Bool

isOccasion :: a -> Bool

Instances

Occasional (Event a)

(Occasional a, Occasional b) => Occasional (a, b)

data Event a

Constructors

Event a

NoEvent

End

Instances

Monad Event

Functor Event

MonadPlus Event

Applicative Event

Foldable Event

Traversable Event

Alternative Event

Eq a => Eq (Event a)

Show a => Show (Event a)

Occasional (Event a)

hEv :: ArrowApply a => a (e, b) c -> a e c -> a (e, Event b) c

hEv' :: ArrowApply a => a (e, b) c -> a e c -> a e c -> a (e, Event b) c

evMaybe :: Arrow a => c -> (b -> c) -> a (Event b) c

fromEvent :: Arrow a => b -> a (Event b) b

evMap :: Arrow a => (b -> c) -> a (Event b) (Event c)

split :: (Arrow a, Occasional b) => a (Event b) b

join :: (Arrow a, Occasional b) => a b (Event b)

split2 :: Event (Event a, Event b) -> (Event a, Event b)

join2 :: (Event a, Event b) -> Event (Event a, Event b)