Events.GuardedEvents

In GuardedEvents we extend the notion of PrimEvents to allow Guarded Events, which can be guarded with the new (|>) operator. GuardedChannels will implement guarded events on channels, which will hopefully be the only guarded event we will ever need.

Documentation

data Guard guard => GuardedEvent guard a

A GuardedEvent guard a represents a source of values of type a, which may be selected from according to guards of type guard.

Constructors

GuardedEvent !(guard -> Event a) !guard

Instances

Guard guard => HasEvent (GuardedEvent guard)

Guard guard => HasGuard (GuardedEvent guard) guard

class Guard guard => HasGuard eventType guard where

Methods

(|>) :: eventType a -> guard -> eventType a infixr 2

Instances

Guard guard => HasGuard (GuardedEvent guard) guard

class Guard guard where

A Guard represents some condition on a value which we impose on a channel, selecting those values we are interested in.

Methods

nullGuard :: guard

this should be the guard that always matches

andGuard :: guard -> guard -> guard

this should be the guard that corresponds to the conjunction of the two given guards.

Instances

Guard ()

Ord key => Guard (EqMatch key)

class HasListen chan where

Class of those channels which have guarded events.

Methods

listen :: Guard guard => chan guard a -> GuardedEvent guard a

Instances

HasListen GuardedChannel