Header menu logo Nu

Event<'a, 's> Type

An event used by the event system.

Record fields

Record Field Description

Address

Full Usage: Address

Field type: 'a Address
Field type: 'a Address

Data

Full Usage: Data

Field type: 'a
Field type: 'a

Publisher

Full Usage: Publisher

Field type: Simulant
Field type: Simulant

Subscriber

Full Usage: Subscriber

Field type: 's
Field type: 's

Trace

Full Usage: Trace

Field type: EventTrace
Field type: EventTrace

Static members

Static member Description

Event.generalize evt

Full Usage: Event.generalize evt

Parameters:
Returns: Event

Generalize an event.

evt : Event<'t, 'x>
Returns: Event

Event.make data subscriber publisher address trace

Full Usage: Event.make data subscriber publisher address trace

Parameters:
Returns: Event<'t, 'x>

Make an event value.

data : 't
subscriber : 'x
publisher : Simulant
address : 't Address
trace : EventTrace
Returns: Event<'t, 'x>

Event.specialize evt

Full Usage: Event.specialize evt

Parameters:
Returns: Event<'t, 'x>

Specialize an event.

evt : Event
Returns: Event<'t, 'x>

Type something to start searching.