copilot-core-3.2: An intermediate representation for Copilot.
Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.Spec

Synopsis

Documentation

data Stream Source #

A stream.

Constructors

forall a.(Typeable a, Typed a) => Stream 

Fields

data Observer Source #

An observer.

Constructors

forall a.Typeable 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 list of anomymous streams, a list of observers, a list of triggers, and a list of structs.

data Property Source #

A property.

Constructors

Property