| Safe Haskell | Safe |
|---|
Copilot.Core.Spec
- data Stream = forall a . Typed a => Stream {
- streamId :: Id
- streamBuffer :: [a]
- streamExpr :: Expr a
- streamExprType :: Type a
- data Observer = forall a . Observer {
- observerName :: Name
- observerExpr :: Expr a
- observerExprType :: Type a
- data Trigger = Trigger {
- triggerName :: Name
- triggerGuard :: Expr Bool
- triggerArgs :: [UExpr]
- data Spec = Spec {
- specStreams :: [Stream]
- specObservers :: [Observer]
- specTriggers :: [Trigger]
Documentation
A stream.
Constructors
| forall a . Typed a => Stream | |
Fields
| |
An observer.
Constructors
| forall a . Observer | |
Fields
| |
A trigger.
Constructors
| Trigger | |
Fields
| |
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 | |
Fields
| |