copilot-core-0.2.1: An intermediate representation for Copilot.

Copilot.Core.Spec

Synopsis

Documentation

data Stream Source

A stream.

Constructors

forall a . Stream 

data Observer Source

An observer.

Constructors

forall a . Observer 

data Trigger Source

A trigger.

Constructors

Trigger 

data Spec Source

A Copilot specification consists of a list of variables bound to anonymous streams, a lost of anomymous streams, a list of observers, and a list of triggers.

Constructors

Spec