package note

  1. Overview
  2. Docs

Module Note.ESource

Events.

An event is a value with discrete occurrences over time. Consult the semantics and notations of events.

Events

Sourcetype 'a t = 'a event

The type for events with occurrences of type 'a.

Sourcetype 'a send = ?step:Step.t -> 'a -> unit

The type for functions sending event occurrences of type 'a. See create.

Sourceval obs : 'a t -> 'a option Logr.obs

obs e is an observation for e's occurrences.

Sourceval log : ?now:bool -> 'a event -> ('a -> unit) -> Logr.t option

log ?now e f is Some (Logr.(create ?now (const f $ obs e))) if e is not never and None otherwise.

Sourceval create : unit -> 'a event * 'a send

create () is a primitive event e and a send function. The function send is such that:

  • send v generates an occurrence v of e at the time it is called .
  • send ~step v generates an occurrence v of e at the time step. The function should not be called again before step is executed.

Warning. send must not be used in the definition of signals or events.

Sourceval value : 'a event -> 'a option

value e is the value of event e at call time. If this is None the event has no occurrence, if this is Some v, the event occurs with v.

Sourceval never : 'a event

never is a never occuring event, [never]t = None.

Sourceval bind : 'a event -> ('a -> 'b event) -> 'b event

bind e f is the event that results from applying f to the last event of e:

  • [bind e f]t = [f v]t if [e]≤t = Some v.
  • [bind e f]t = nevert if [e]≤t = None.
Sourceval join : 'a event event -> 'a event

join ee is bind ee (fun e -> e).

Sourceval swap : 'a event signal -> 'a event

swap es is the current event of es, [swap es]t = [[es]t]t.

Sourceval map : ('a -> 'b) -> 'a event -> 'b event

map f e applies f to e's occurrences.

  • [map f e]t = Some (f v) if [e]t = Some v.
  • [map f e]t = None otherwise.
Sourceval stamp : 'b event -> 'a -> 'a event

stamp e v is map e (fun _ -> v)

Sourceval filter : ('a -> bool) -> 'a event -> 'a event

filter p e are the occurrences of e that satisfy p.

  • [filter p e]t = Some v if [e]t = Some v and p v = true
  • [filter p e]t = None otherwise.
Sourceval filter_map : ('a -> 'b option) -> 'a event -> 'b event

filter_map fm e are e's occurrences filtered and mapped by fm.

  • [filter_map fm e]t = Some v if fm [e]t = Some v
  • [filter_map fm e]t = None otherwise.
Sourceval select : 'a event list -> 'a event

select el is the occurrences of every event in el. If more than one event occurs simlutanously, the leftmost is taken and the other are lost:

  • [select el]t = [List.find (fun e -> [e]t <> None) el]t.
  • [select el]t = None otherwise.
Sourceval accum : 'a -> ('a -> 'a) event -> 'a event

accum i e accumulates a value, starting with i, using e's functional occurrences.

  • [accum i e]t = Some (f i) if [e]t = Some f and [e]<t = None.
  • [accum i e]t = Some (f acc) if [e]t = Some f and [accum i e]<t = Some acc.
  • [accum i e] = None otherwise.
Sourceval until : ?limit:bool -> next:'a event -> 'b event -> 'b event

until ~limit ~next e is e's occurrences until next occurs. At that point if e occurs simultaneously the occurrence is discarded (limit is false, default) or kept (limit is true) and after this the event never occurs again.

  • [until ~limit ~next e]t = [e]t if [next]≤t = None
  • [until ~limit:false ~next e]t = None if [next]t = Some _ and [next]<t = None.
  • [until ~limit:true ~next e]t = [e]t if [next]t = Some _ and [next]<t = None.
  • [until ~limit ~next e]t = None otherwise.
Sourceval follow : 'a event -> on:bool signal -> 'a event

follow e ~on is e's occurrences whenever on is true.

  • [follow e ~on]t = [e]t if [on]t = true
  • [follow e ~on]t = None if [on]t = false
Sourceval defer : 'a event -> 'a event

defer s is s delayed by an infinitesimal amount of time. At creation time init is used (defaults to S.value s).

  • [defer e]t = None for t = 0.
  • [defer e]t = [e]t-dt otherwise.
Sourceval fix : ('a event -> 'a event * 'b) -> 'b

fix ef allows to refer to the value an event had an infinitesimal amount of time before.

In fix ef, ef is called with an event e that represents the event returned by ef delayed by an infinitesimal amount of time. If e', r = ef e then r is returned by fix and e is such that :

  • [e]t = None if t = 0
  • [e]t = [e']t-dt otherwise

Raises. Invalid_argument if e' is directly a delayed event (i.e. an event given to a fixing function).

Stdlib types support

Sourcemodule Option : sig ... end

Option events

Sourcemodule Pair : sig ... end

Pair events.