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)

Defined in Events.GuardedEvents

Methods

toEvent :: GuardedEvent guard a -> Event a

Guard guard => HasGuard (GuardedEvent guard) guard

Defined in Events.GuardedEvents

Methods

(|>) :: GuardedEvent guard a -> guard -> GuardedEvent guard a

class Guard guard => HasGuard eventType guard where

Methods

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

Instances

Guard guard => HasGuard (GuardedEvent guard) guard

Defined in Events.GuardedEvents

Methods

(|>) :: GuardedEvent guard a -> guard -> GuardedEvent guard a

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 ()

Defined in Events.NullGuard

Methods

nullGuard :: ()

andGuard :: () -> () -> ()

Ord key => Guard (EqMatch key)

Defined in Events.EqGuard

Methods

nullGuard :: EqMatch key

andGuard :: EqMatch key -> EqMatch key -> 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

Defined in Events.GuardedChannels

Methods

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